Login / Signup
Implementation of EasyTime Formal Semantics using a LISA Compiler Generator
Iztok Fister Jr.
Marjan Mernik
Iztok Fister
Dejan Hrncic
Published in:
CoRR (2012)
Keyphrases
</>
formal semantics
logical language
operational semantics
er model
formal language
modelling language
highly optimized
programming language
code generation
logical reasoning
modeling language
owl dl ontology
database
machine learning
speech acts