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 can be used as part of the written material for an introductory course in computer science.
Preview
Unable to display preview. Download preview PDF.
References
H.J. Genrich and K. Lautenbach: System modelling with high-level Petri nets, Theoretical Computer Science 13 (1981), 109–136.
U. Goltz and W. Reisig: CSP-programs as nets with individual tokens. G. Rozenberg (ed.): Advances in Petri Nets 1984, Lecture Notes in Computer Science 188, Springer-Verlag 1985, 169–196.
Ka. Jensen and N. Wirth: Pascal user manual and report. Springer-Verlag 1975.
K. Jensen: Coloured Petri nets and the invariant-method. Theoretical Computer Science 14 (1981) 317–336.
K. Jensen: High-level Petri nets. A. Pagnoni and G. Rozenberg (eds.): Applications and Theory of Petri Nets, Informatik-Fachberichte 66, Springer-Verlag 1983, 166–180.
K. Jensen: An introduction to high-level Petri nets. Proceedings of the ISCAS 85 Conference, Kyoto, Japan 1985, IEEE, 723–726.
K. Jensen, M. Kyng: Epsilon. A system description language. Computer Science Department, Aarhus University, DAIMI PB-150, 1982.
N.D. Hansen and K.H. Madsen: Formal semantics by a combination of denotational semantics and high-level Petri nets. A. Pagnoni and G. Rozenberg (eds.): Applications and Theory of Petri Nets, Informatik-Fachberichte 66, Springer-Verlag 1983, 132–148.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jensen, K., Schmidt, E.M. (1986). Pascal semantics by a combination of denotational semantics and high-level petri nets. In: Rozenberg, G. (eds) Advances in Petri Nets 1985. APN 1985. Lecture Notes in Computer Science, vol 222. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0016218
Download citation
DOI: https://doi.org/10.1007/BFb0016218
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16480-7
Online ISBN: 978-3-540-39822-6
eBook Packages: Springer Book Archive