Automatic documentation inference for exceptions

This publication has 29 references indexed in Scilit:

• Applications of Craig Interpolants in Model Checking
  2005
• Static analysis to support the evolution of exception structure in object-oriented systems
  ACM Transactions on Software Engineering and Methodology, 2003
• Scaling Java Points-to Analysis Using Spark
  2003
• The relevance of software documentation, tools and technologies
  2002
• ESP
  ACM SIGPLAN Notices, 2002
• Complexity of points-to analysis of Java in the presence of exceptions
  IEEE Transactions on Software Engineering, 2001
• Enhancing the fault tolerance of workflow management systems
  IEEE Concurrency, 2000
• Dealing with disaster
  1996
• A modular verifiable exception handling mechanism
  ACM Transactions on Programming Languages and Systems, 1985
• Exception handling
  Communications of the ACM, 1975