Open AccessPascal Semantics by a Combination of Denotational Semantics and High-level Petri nets
Author(s) -
Kurt Villads Jensen,
Evanthia Kalpazidou Schmidt
Publication year - 1985
Publication title -
daimi pb
Language(s) - English
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v14i198.7470
Subject(s) - denotational semantics , pascal (unit) , petri net , programming language , computer science , denotational semantics of the actor model , semantics (computer science) , action semantics , operational semantics , normalisation by evaluation , theoretical computer science
This paper describes the formal semantics of a subset of PASCAL by means of a semantic model based on a combination of denotational semantics and high-level Petri nets. It is our intention that the paper be used as part of the written material for an introductory course in Computer Science.