Login / Signup

Pascal semantics by a combination of denotational semantics and high-level Petri nets.

Kurt JensenErik Meineche Schmidt
Published in: Applications and Theory in Petri Nets (1985)
Keyphrases
  • denotational semantics
  • programming language
  • operational semantics
  • query language
  • abstract data types
  • management system
  • general purpose
  • incomplete information
  • formal semantics