Pages that link to "Item:Q1131189"
From MaRDI portal
The following pages link to Revised report on the algorithmic language ALGOL 60 (Q1131189):
Displaying 23 items.
- ALGOL 60 (Q33608) (← links)
- Radial transport in a porous medium with Dirichlet, Neumann and Robin-type inhomogeneous boundary values and general initial data: analytical solution and evaluation (Q695548) (← links)
- Proof obligations for blocks and procedures (Q919838) (← links)
- Two iteration theorems for the LL(k) languages (Q1148695) (← links)
- On termination problems for finitely interpreted ALGOL-like programs (Q1161274) (← links)
- An abstract data type for name analysis (Q1175709) (← links)
- More comments on the programming language Pascal (Q1214259) (← links)
- Ambiguity and precedence in syntax description (Q1216941) (← links)
- Sequence-to-sequence recursiveness (Q1219273) (← links)
- Resolution of ambiguity in parsing (Q1230647) (← links)
- Formula manipulations solving linear ordinary differential equations. II (Q1231388) (← links)
- A method for proving programming languages non context-free (Q1249046) (← links)
- All structured programs have small tree width and good register allocation (Q1271620) (← links)
- Modularity and reusability in attribute grammars (Q1338904) (← links)
- A unified language processing methodology (Q1603702) (← links)
- An evolutionary system for neural logic networks using genetic programming and indirect encoding (Q1884277) (← links)
- Critical comments on the programming language Pascal (Q2264544) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Definition von Schrankenzahlen in Triplex-ALGOL (Q2527403) (← links)
- Computer algorithms for Dirac algebra (Q2539350) (← links)
- Pair grammars, graph languages and string-to-graph translations (Q2550295) (← links)
- The conjugate gradient method (Q2626955) (← links)
- Programs=data=first-class citizens in a computational world (Q2941589) (← links)
