Login / Signup

Denotational Semantics in the CPO and Metric Approach.

Christel BaierMila E. Majster-Cederbaum
Published in: Theor. Comput. Sci. (1994)
Keyphrases
  • denotational semantics
  • programming language
  • query language
  • operational semantics
  • distance measure
  • distance function
  • metric space
  • object oriented
  • abstract data types