CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1981 -
An operator-priority grammar for Algol 68+ Tech Report
January 1981 -
Pep: an interactive programming system with an Algol-like programming language : (preprint) Tech Report
January 1981 -
An underlying context-free grammar of Algol 68+ Tech Report
January 1981 -
Correctness of programs with function procedures : (preprint) Tech Report
J.W. de Bakker (Jaco), J.W. Klop (Jan Willem) and J.-J.C. Meyer (John-Jules)
January 1981 -
An operational semantics for bounded nondeterminism equivalent to a denotational one : (preprint) Tech Report
January 1981 -
January 1981 -
January 1981