Using CLP Simplifications to Improve Java Bytecode Termination Analysis.

Fausto Spoto Lunjin Lu Fred Mesnard

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

termination analysis
active databases
active rules
databases
general purpose
database
relational databases
management system
business processes
business process
data quality
intermediate representation