The following pages link to ALGOL 60 (Q33608):
Displaying 50 items.
- Continuation-passing C, compiling threads to events through continuations (Q1929338) (← links)
- John McCarthy (1927--2011) (Q1941856) (← links)
- An efficient implementation of the generalized minimum residual algorithm with a new preconditioner for the boundary element method (Q1944594) (← links)
- The inclusion problem for some subclasses of context-free languages (Q1978515) (← links)
- Language equations (Q2074222) (← links)
- Computational complexity of synchronization under sparse regular constraints (Q2140506) (← links)
- Computational completeness of equations over sets of natural numbers (Q2252522) (← links)
- An extension of context-free grammars with one-sided context specifications (Q2252533) (← links)
- A principled approach to grammars for controlled natural languages and predictive editors (Q2255208) (← links)
- Critical comments on the programming language Pascal (Q2264544) (← links)
- Optimale Lösung von Intervallgleichungssystemen (Q2265787) (← links)
- Conjunctive grammars over a unary alphabet: Undecidability and unbounded growth (Q2268341) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- BNF-style notation as it is actually used (Q2287909) (← links)
- Periodic properties of pushdown automata (Q2288436) (← links)
- Two-sided context specifications in formal grammars (Q2354409) (← links)
- An empirical study of on-line models for relational data streams (Q2361576) (← links)
- Generating all permutations by context-free grammars in Chomsky normal form (Q2368945) (← links)
- Generating all permutations by context-free grammars in Greibach normal form (Q2378538) (← links)
- A functional correspondence between call-by-need evaluators and lazy abstract machines (Q2390256) (← links)
- Report on subset ALGOL 60 (IFIP) (Q2394472) (← links)
- Report on input-output procedures for ALGOL 60 (Q2395146) (← links)
- Recognition of poly-slender context-free languages by trellis automata (Q2401759) (← links)
- Improving the lazy Krivine machine (Q2464718) (← links)
- On the correctness of the Krivine machine (Q2464724) (← links)
- Sparse and slender subsets of monoids. (Q2480765) (← links)
- Rounding error analysis of the classical Gram-Schmidt orthogonalization process (Q2486676) (← links)
- Weakly complete axiomatization of exogenous quantum propositional logic (Q2495653) (← links)
- The algorithmic language Triplex-ALGOL 60 (Q2526853) (← links)
- Reduktionssätze über eine Klasse formaler Sprachen mit endlich vielen Zuständen (Q2527229) (← links)
- Definition von Schrankenzahlen in Triplex-ALGOL (Q2527403) (← links)
- Properties of syntax directed translations (Q2532395) (← links)
- Quadraturverfahren mit Fehlerschranken (Q2533489) (← links)
- Fehlerabschätzung reeller Eigenwerte und Eigenvektoren von Matrizen (Q2534801) (← links)
- Syntax directed translations and the pushdown assembler (Q2535241) (← links)
- Generating test programs from syntax (Q2535484) (← links)
- Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken (Q2536416) (← links)
- Symbolic analysis of feynman diagrams by computer (Q2537898) (← links)
- Computer algorithms for Dirac algebra (Q2539350) (← links)
- Generalized sequential machine maps (Q2540272) (← links)
- Über zwei Algorithmen zur Interpolation mit rationalen Funktionen (Q2541101) (← links)
- Generalization learning techniques for automating the learning of heuristics (Q2541846) (← links)
- The lambda-gamma calculus: A language adequate for defining recursive functions (Q2542069) (← links)
- Rational sets in commutative monoids (Q2542523) (← links)
- Intervallmäßige Auswertung von Standardfunktionen in ALGOL-60 (Q2542902) (← links)
- Einschließung von Nullstellen mit Hilfe einer Intervallarithmetik (Q2542909) (← links)
- A graph theory oriented extension to ALGOL (Q2543109) (← links)
- A run-time mechanism for referencing variables (Q2543558) (← links)
- Eigenvectors of real and complex matrices by LR and QR triangularizations (Q2543632) (← links)
- Tree acceptors and some of their applications (Q2544414) (← links)
