Automatic Detection of Infinite Recursion in AspectJ Programs.

Meisam Fathi Salmi Saeed Parsa

Published in: FGIT (2009)

Keyphrases

automatic detection
automatically detecting
deductive databases
fixpoint
automatic classification
small bowel
aspect oriented
web services
recursive programs