Static Analysis of Logical Languages with Deferred Update Semantics.

Barbara Catania Elisa Bertino

Published in: IEEE Trans. Knowl. Data Eng. (2003)

Keyphrases

static analysis
update semantics
dynamic analysis
source code
truth values
deontic logic
regular expressions
answer set programming
knowledge representation and reasoning
databases
data model
test suite
reverse engineering