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

Forfattere

  • Kurt Jensen
  • Erik Meineche Schmidt

DOI:

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

Resumé

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.

Forfatterbiografier

Kurt Jensen

Erik Meineche Schmidt

Downloads

Publiceret

1985-01-01

Citation/Eksport

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

Nummer

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

Sektion

Articles

Licens

Creative Commons License

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