Semantics for Locking Specifications.

Michael D. Ernst Damiano Macedonio Massimo Merro Fausto Spoto

Published in: NFM (2016)

Keyphrases

specification language
operational semantics
formal semantics
formal language
control flow
attribute grammars
logic programming
high level
delay insensitive
semantic representation
formal specification
data structure
concurrency control
model theoretic
data objects
garbage collection
description logics