Mechanizing the Denotational Semantics of the Clock Constraint Specification Language.

Mathieu Montin Marc Pantel

Published in: MEDI (2018)

Keyphrases

specification language
denotational semantics
programming language
object oriented
software engineering
general purpose
high level
formal specification
description language
abstract data types
software environment
operational semantics
databases
query language
distributed databases