Random-Access Stored-Program Machines, an Approach to Programming Languages
Journal of the ACM (JACM)
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
An axiomatic basis for computer programming
Communications of the ACM
Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
Semiotics and programming languages
Communications of the ACM
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
On the Formalization of Programming Languages: Early History and Main Approaches
The Vienna Development Method: The Meta-Language
Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations
The Vienna Development Method: The Meta-Language
A New Approach to Program Testing
Programming Methodology, 4th Informatik Symposium
Formalization - History, Present and Future
Programming Methodology, 4th Informatik Symposium
Definitional interpreters for higher-order programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
Fixpoint approach to the theory of computation.
Fixpoint approach to the theory of computation.
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
Mathematical concepts in programming language semantics
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
CTP-based programming languages?: considerations about an experimental design
ACM Communications in Computer Algebra
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Hi-index | 0.00 |
The history of ideas that led to the first formalization of the syntax and semantics of PL/I is sketched. The definition method and notation are known as the Vienna Definition Language (VDL). The paper examines the relationship between VDL and both denotational semantics and the axiomatic approach to programming language definition.