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