Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets

Authors

  • Kurt Jensen
  • Erik Meineche Schmidt

DOI:

https://doi.org/10.7146/dpb.v14i198.7470

Abstract

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.

Author Biographies

Kurt Jensen

Erik Meineche Schmidt

Downloads

Published

1985-01-01

How to Cite

Jensen, K., & Schmidt, E. M. (1985). Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets. DAIMI Report Series, 14(198). https://doi.org/10.7146/dpb.v14i198.7470

Issue

No. 198 (1985): PB-198 Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.