Login / Signup

A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract).

Christian SkalkaScott F. SmithDavid Van Horn
Published in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
  • extended abstract
  • abstract interpretation
  • termination analysis
  • programming language
  • static analysis
  • open source
  • source code
  • information systems
  • object oriented
  • distributed databases
  • active rules