Login / Signup
An introduction to metric semantics: operational and denotational models for programming and specification languages.
Franck van Breugel
Published in:
Theor. Comput. Sci. (2001)
Keyphrases
</>
specification languages
formal specification
probabilistic model
complex systems
statistical models
evaluation metrics
reactive systems
object oriented programs
high level
prior knowledge
programming language
building blocks
programming environment
operational semantics