Executable component-based semantics.

L. Thomas van Binsbergen Peter D. Mosses Neil Sculthorpe

Published in: J. Log. Algebraic Methods Program. (2019)

Keyphrases

formal semantics
attribute grammars
semantic information
process algebra
relational databases
logic programming
real time
machine learning
expert systems
query processing
formal specification
semantic relationships
default reasoning
logical framework