Pages that link to "Item:Q1222015"
From MaRDI portal
The following pages link to Revised report on the algorithmic language ALGOL 68 (Q1222015):
Displayed 15 items.
- ALGOL 68 (Q13966) (← links)
- Towards a programming language based on the notion of two-level grammar (Q795514) (← links)
- A foundation for conceptual data structures by cylindric and partial algebras (Q1094154) (← links)
- Polymorphic syntax definition (Q1129122) (← links)
- The formal termination problem for programs with finite ALGOL 68-modes (Q1133312) (← links)
- Programming language ALGOL 68 (Q1140980) (← links)
- Methods and means of parallel processing of information (Q1155954) (← links)
- On termination problems for finitely interpreted ALGOL-like programs (Q1161274) (← links)
- Universal grammars (Q1170039) (← links)
- A space-saving technique for assigning ALGOL 68 multiple values (Q1229745) (← links)
- The report on the standard hardware representation for ALGOL 68 (Q1244993) (← links)
- A theory of type polymorphism in programming (Q1250704) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Algebraic specification of data types: A synthetic approach (Q3907066) (← links)
- A set constructor for inductive sets in Martin-Löf's type theory (Q5096257) (← links)