Login / Signup
An Operational Semantics for Declarative Multi-Paradigm Languages.
Elvira Albert
Michael Hanus
Frank Huch
Javier Oliver
Germán Vidal
Published in:
Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
</>
operational semantics
declarative semantics
formal semantics
model theoretic
databases
mental states
cooperative
data model
declarative language
database
denotational semantics
database systems
relational databases
mobile robot
content analysis
activity diagrams