Natural semantics as a static program analysis framework.

Sabine Glesner Wolf Zimmermann

Published in: ACM Trans. Program. Lang. Syst. (2004)

Keyphrases

main contribution
information retrieval
probabilistic model
lightweight
logical framework
database
database systems
software engineering
logic programming
conceptual model