Login / Signup

Program Termination Analysis by Size-Change Graphs (Abstract).

Neil D. Jones
Published in: IJCAR (2001)
Keyphrases
  • termination analysis
  • abstract interpretation
  • static analysis
  • active rules
  • active databases
  • information systems
  • high level
  • distributed systems
  • logic programs
  • test cases
  • object oriented databases