Automata-Theoretic Semantics of Idealized Algol with Passive Expressions.

Published in: MFPS (2013)

Keyphrases

automata theoretic
temporal logic
formal semantics
regular path queries
query containment
programming language
logic programming
database
databases
np complete
semantic information
modal logic