swMATH21807WikidataQ1209759 ScholiaQ1209759MaRDI QIDQ33608FDOQ33608
Author name not available (Why is that?)
Official website: https://en.wikipedia.org/wiki/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
