ALGOL 60

swMATH21807WikidataQ1209759 ScholiaQ1209759MaRDI QIDQ33608FDOQ33608

Author name not available (Why is that?)

Official website: https://en.wikipedia.org/wiki/ALGOL_60

Described by source

• Revised report on the algorithmic language ALGOL 60
• A syntax directed compiler for ALGOL 60

Cited In (only showing first 100 items - show all)

• Efficient LR(1) parsers
• Observations about bounded languages and developmental systems
• The remaining trouble spots in ALGOL 60
• Computable error bounds for nonlinear programming
• The design of the GIER ALGOL compiler Part I
• Some decision problems concerning sequential transducers and checking automata
• Title not available (Why is that?)
• Title not available (Why is that?)
• Separability of rational relations in \(A^* \times \mathbb N^m\) by recognizable relations is decidable
• Generalization learning techniques for automating the learning of heuristics
• A theorem on generalizations of proofs
• A guided tour of the mathematics of MetaSoft '88
• Datalogy - the Copenhagen tradition of computer science
• A constraint-based region inference algorithm
• Limited automata and unary languages
• Annotated bibliography on partial evaluation and mixed computation
• A functional computation model for the duality of two-variable lambda-Boolean functions
• Substitution and bounded languages
• Static procedure identification in compilers for Algol-type languages
• Bounded AFLs
• Interpolazione e smoothing mono e bidimensionali relativi ad operatori differenziali lineari
• Automatic optimization of Symbolic Algol programs. I: Gneral principles
• Recursive data structures
• Ein ALGOL-Programm für die Behandlung der Neutronenstreuung eines Flüssigkeitsszintillators nach der Monte-Carlo-Methode
• Langages algébriques, paires iterantes et transductions rationnelles
• Formal description of context conditions of ALGOL 60
• Introduction of FORMULA type into ALGOL 60
• Programming language ALGOL 68
• Title not available (Why is that?)
• Title not available (Why is that?)
• A CUCH-machine: The automatic treatment of bound variables
• Full abstraction for the second order subset of an Algol-like language
• Hardware/software co-design then and now
• Proving language inclusion and equivalence by coinduction
• Consistency of inheritance in object-oriented languages and of static, ALGOL-like binding
• Title not available (Why is that?)
• On global optimization using interval arithmetic
• The translation power of top-down tree-to-graph transducers
• An Introduction to Statistical Programming
• ALGOL 60 confidential
• Elementary data structures in ALGOL-like languages
• New techniques for proving the decidability of equivalence problem
• Language equations
• A universal compiler system based on production rules
• A method for transforming grammars into LL(k) form
• Ackermann's function: A study in the efficiency of calling procedures
• Bounds for the norm of certain spline projections
• An introduction to ALGOL
• Extended regular expressions of arbitrary star degrees
• Finite automata with multiplication
• Correctness of parallel programs: The Church-Rosser approach
• Single-tape reset machines
• An algorithm for the computation of zeros of a special class of entire functions
• A note on Parikh maps, abstract languages, and decision problems
• Fehlerabschätzung reeller Eigenwerte und Eigenvektoren von Matrizen
• Intervallmäßige Auswertung von Standardfunktionen in ALGOL-60
• Title not available (Why is that?)
• A pumping lemma for output languages of macro tree transducers
• Two iteration theorems for the LL(k) languages
• Two iteration theorems for some families of languages
• Applications of graph theory in computer systems
• Critical comments on the programming language Pascal
• Some restrictions onW-grammars
• Modified Report on the Algorithmic Language ALGOL 60
• Letters to the editor
• Title not available (Why is that?)
• A run-time mechanism for referencing variables
• Title not available (Why is that?)
• Das <scp>Kahan‐Babuškasche</scp> Summierungsverfahren in Triplex‐ ALGOL 60
• Formula manipulations solving linear ordinary differential equations. I
• Title not available (Why is that?)
• On some transformations in context-free grammars and languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• Coroutine sequencing in a block structured environment
• The design of a pascal compiler
• Storage administration in a virtual memory Simula system
• Compilation of an extension of ALGOL
• Interdependent translation schemes
• Einschließung von Nullstellen mit Hilfe einer Intervallarithmetik
• Die Berechnung von Schranken für den Wertebereich eines Polynoms in einem Intervall
• ALGOL-Prozeduren für zwei Verfahren zur Suche negativer Zyklen in bewerteten Digraphen
• Programme zum Zeichnen von allgemeinen Flächenstücken
• ALGOL-60 Algorithmen zur Auflösung linearer Gleichungssysteme mit Fehlererfassung
• SR(s,k) parsers: A class of shift-reduce bounded-context parsers
• Generalization of the Ginsburg-Rice Schuetzenberger fixed-point theorem for context-sensitive and recursive-enumerable languages
• Hierarchical development of programming languages
• Strict estimation of the maximum of a function of one variable
• An efficient matrix algorithm for the calculation of the gradient of the conformational energy of polymer chains
• Access mechanisms in block structured environments
• Stability and convergence of monotonic algorithms
• An abstract data type for name analysis
• Static semantics, types, and binding time analysis
• Algorithms over partially ordered sets
• Title not available (Why is that?)
• The algorithmic language Triplex-ALGOL 60
• Informatik 1. Ein einführende Übersicht. (Computer science 1. An introductory survey.)
• A contribution to the development of ALGOL
• An Algorithmic Semantics for ALGOL 60 Identifier Denotation
• Eigenvectors of real and complex matrices by LR and QR triangularizations

This page was built for software: ALGOL 60