Login / Signup

Class analyses as abstract interpretations of trace semantics.

Fausto SpotoThomas P. Jensen
Published in: ACM Trans. Program. Lang. Syst. (2003)
Keyphrases
  • semantic information
  • databases
  • artificial intelligence
  • logic programming
  • deductive databases
  • multi class classification
  • intra class
  • formal semantics