Formal Semantics of Programming Languages: VDL

DOI10.1147/RD.255.0549MaRDI QIDQ3916034zbMATH OpenOpenAlexFDO

Authors

Publication date 1981

Published in IBM Journal of Research and Development (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/04d69f4e8a9466033cacb35f8cf95771f422b941

zbMATH Keywords

denotational semanticsPL/IVienna definition language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited in

(3)

• Operational semantics: concepts and their expression
• 'Software devices' for processing graphs using PL/I compile time facilities
• The origins of structural operational semantics

Describes a project that uses

Uses Software

• PL/I

This page was built for publication: Formal Semantics of Programming Languages: VDL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3916034)