On the essence of Oberon
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 313-327
- https://doi.org/10.1007/3-540-57840-4_39
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Normal form approach to compiler designActa Informatica, 1993
- Calculating with procedure callsInformation Processing Letters, 1993
- Relational parametricity and local variablesPublished by Association for Computing Machinery (ACM) ,1993
- On the orthogonality of assignments and procedures in AlgolPublished by Association for Computing Machinery (ACM) ,1993
- Data refinement of predicate transformersTheoretical Computer Science, 1991
- Semantical analysis of specification logicInformation and Computation, 1990
- Procedures, parameters, and abstraction: Separate concernsScience of Computer Programming, 1988
- The programming language oberonSoftware: Practice and Experience, 1988
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981