A Formal Semantics for P-Code.

Nico Naus Freek Verbeek Dale Walker Binoy Ravindran

Published in: VSTTE (2022)

Keyphrases

formal semantics
logical language
source code
modeling language
first order logic
operational semantics
formal language
modelling language
logical reasoning
er model
database
theorem prover
data model
ontology languages
owl dl ontology