IBM Journal of Research and Development
IBM Skip to main content
  Home     Products & services     Support & downloads     My account  

  Select a country  
Journals Home  
  Systems Journal  
Journal of Research
and Development
    Current Issue  
    Recent Issues  
    Papers in Progress  
    Recent publications  
    Author's Guide  
  Contact Us  
  Related links:  
     IBM Research  

IBM Journal of Research and Development  
Volume 25, Number 5, Page 549 (1981)
25th Anniversary Issue
  Full article: arrowPDF   arrowCopyright info


Formal Semantics of Programming Languages: VDL

by P. Lucas
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.
Related Subjects: Compilers and interpreters; Programming, programs, and programming languages; Semantics