Formal Semantics of Programming Languages: VDL

@article{Lucas1981FormalSO,
  title={Formal Semantics of Programming Languages: VDL},
  author={Peter Lucas},
  journal={IBM Journal of Research and Development},
  year={1981},
  volume={25},
  pages={549-561}
}
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. 

Citations

Publications citing this paper.
SHOWING 1-10 OF 31 CITATIONS

A framework for comparing models of computation

  • IEEE Trans. on CAD of Integrated Circuits and Systems
  • 1998
VIEW 6 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Comparing models of computation

  • Proceedings of International Conference on Computer Aided Design
  • 1996
VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Interpreter prototypes from formal language definitions

VIEW 11 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

A Formal Semantics of Clock Refinement in Imperative Synchronous Languages

  • 2010 10th International Conference on Application of Concurrency to System Design
  • 2010
VIEW 5 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Interactive verification of synchronous systems

Manuel Gesell, Klaus Schneider
  • Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012)
  • 2012

References

Publications referenced by this paper.
SHOWING 1-10 OF 30 REFERENCES