Login / Signup

Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations.

Patrick Cousot
Published in: ICLP (2001)
Keyphrases
  • natural language
  • case study
  • abstract interpretation
  • static analysis
  • open source
  • logic programming
  • syntactic semantic