Login / Signup
Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL.
Tomohiro Oda
Gaël Dur
Stéphane Ducasse
Hugo Daniel Macedo
Published in:
CoRR (2023)
Keyphrases
</>
formal semantics
logical language
formal language
operational semantics
modelling language
modeling language
speech acts
er model
logical reasoning
programming language
first order logic
natural language
situation calculus
ontology languages
model theoretic
database management systems
databases