An approach to analyzing recursive programs with exception handling constructs.

Shujuan Jiang Baowen Xu Liang Shi

Published in: ACM SIGPLAN Notices (2006)

Keyphrases

exception handling
recursive programs
program synthesis
logic programs
domain independent
object oriented
object oriented programming
conflict resolution
agent systems
workflow management systems
cooperative
workflow management
programming language
data warehouse