The following pages link to ALGOL 60 (Q33608):
Displaying 50 items.
- An algorithm for the computation of the exponential spline (Q1152678) (← links)
- Fundamentals of SIGLA, an interval computing system over the completed set of intervals (Q1155335) (← links)
- SR(s,k) parsers: A class of shift-reduce bounded-context parsers (Q1157922) (← links)
- Generalization of the Ginsburg-Rice Schuetzenberger fixed-point theorem for context-sensitive and recursive-enumerable languages (Q1160495) (← links)
- Hierarchical development of programming languages (Q1161053) (← links)
- The IO- and OI-hierarchies (Q1161273) (← links)
- On termination problems for finitely interpreted ALGOL-like programs (Q1161274) (← links)
- 2DST mappings of languages and related problems (Q1164438) (← links)
- An efficient matrix algorithm for the calculation of the gradient of the conformational energy of polymer chains (Q1166914) (← links)
- Access mechanisms in block structured environments (Q1169282) (← links)
- Formalization in program development (Q1169283) (← links)
- A method for the computation of bounds with convergence of arbitrary order for ordinary linear boundary value problems (Q1169796) (← links)
- A comparative performance evaluation of 27 nonlinear programming codes (Q1171003) (← links)
- An abstract data type for name analysis (Q1175709) (← links)
- Static semantics, types, and binding time analysis (Q1179698) (← links)
- Informatik 1. Ein einführende Übersicht. (Computer science 1. An introductory survey.) (Q1188803) (← links)
- Extended regular expressions of arbitrary star degrees (Q1193870) (← links)
- The ring of \(k\)-regular sequences (Q1193879) (← links)
- On global optimization using interval arithmetic (Q1195964) (← links)
- A theory for program and data type specification (Q1199933) (← links)
- Learning semilinear sets from examples and via queries (Q1200804) (← links)
- More comments on the programming language Pascal (Q1214259) (← links)
- Two iteration theorems for some families of languages (Q1214758) (← links)
- The decidability of a mapping problem for generalized sequential machines with final states (Q1216390) (← links)
- Ambiguity and precedence in syntax description (Q1216941) (← links)
- On procedures as open subroutines. II (Q1216944) (← links)
- Are two context-free languages translatable in a syntax-directed translation scheme? (Q1217456) (← links)
- Attributed translations (Q1218732) (← links)
- SEMANOL (73), a metalanguage for programming the semantics of programming languages (Q1219158) (← links)
- Sequence-to-sequence recursiveness (Q1219273) (← links)
- Transductions des langages de Chomsky (Q1220392) (← links)
- Random matroids (Q1220516) (← links)
- An algorithm for the interpolation of functions using quintic splines (Q1221469) (← links)
- Call-by-name, call-by-value and the \(\lambda\)-calculus (Q1225449) (← links)
- Language design methods based on semantic principles (Q1225927) (← links)
- Bounded AFLs (Q1227455) (← links)
- Resolution of ambiguity in parsing (Q1230647) (← links)
- A useful device for showing the solvability of some decision problems (Q1230657) (← links)
- Proving containment of bounded AFL (Q1230665) (← links)
- Formula manipulations solving linear ordinary differential equations. II (Q1231388) (← links)
- Finite automata with multiplication (Q1233317) (← links)
- Stability and convergence of monotonic algorithms (Q1236421) (← links)
- Output driven interpretation of recursive programs, or writing creates and destroys data structures (Q1238624) (← links)
- Correctness of parallel programs: The Church-Rosser approach (Q1241051) (← links)
- IO and OI. I (Q1241985) (← links)
- PASCAL in LCF: Semantics and examples of proof (Q1242670) (← links)
- IO and OI. II (Q1243578) (← links)
- Programme zum Zeichnen von allgemeinen Flächenstücken (Q1244516) (← links)
- Langages algébriques, paires iterantes et transductions rationnelles (Q1247022) (← links)
- A method for proving programming languages non context-free (Q1249046) (← links)
