The Vienna Definition Language

Publisher Website

1 March 1972

journal article
Published by Association for Computing Machinery (ACM) in ACM Computing Surveys

Vol. 4 (1) , 5-63
https://doi.org/10.1145/356596.356598

Abstract

No abstract available

Keywords

This publication has 15 references indexed in Scilit:

Proof of a program
Communications of the ACM, 1971
Proving programs correct: Some techniques and examples
BIT Numerical Mathematics, 1970
A Structural View of PL/I
ACM Computing Surveys, 1970
On the formal description of PL/I
Annual Review in Automatic Programming, 1969
Syntax-Directed Transduction
Journal of the ACM, 1968
Semantics of context-free languages
Theory of Computing Systems, 1968
A formal semantics for computer languages and its application in a compiler-compiler
Communications of the ACM, 1966
The Mechanical Evaluation of Expressions
The Computer Journal, 1964
A General Translation Program for Phrase Structure Languages
Journal of the ACM, 1962
A syntax directed compiler for ALGOL 60
Communications of the ACM, 1961