Login / Signup
Abstract machine construction through operational semantics refinements.
Frédéric Cabestre
Christian Percebois
Jean-Paul Bodeveix
Published in:
Future Gener. Comput. Syst. (2000)
Keyphrases
</>
operational semantics
abstract machine
data model
formal semantics
mental states
model theoretic
denotational semantics
activity diagrams
database
databases
database systems
query language
xml documents
intelligent systems