Login / Signup

Compositional Termination Analysis of Symbolic Forward Analysis.

Witold CharatonikSupratik MukhopadhyayAndreas Podelski
Published in: VMCAI (2002)
Keyphrases
  • data mining
  • information systems
  • data analysis
  • software development
  • fine grained
  • distributed database systems