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