Login / Signup

Denotational semantics for a program logic of objects.

Bernhard ReusJan Schwinghammer
Published in: Math. Struct. Comput. Sci. (2006)
Keyphrases
  • denotational semantics
  • programming language
  • abstract data types
  • operational semantics
  • database
  • spatio temporal
  • d objects
  • logic programming
  • spatial objects
  • general purpose
  • multi dimensional
  • modal logic