Sign in

Program Development Using Abstract Interpretation (And The Ciao System Preprocessor).

Manuel V. HermenegildoGermán PueblaFrancisco BuenoPedro López-García
Published in: SAS (2003)
Keyphrases
  • abstract interpretation
  • static analysis
  • case study
  • knowledge based systems
  • software engineering
  • development process
  • knowledge base
  • multi agent systems
  • open source
  • dynamic analysis
  • termination analysis