A specification logic for exceptions and beyond

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6252 LNCS, Issue , 2010, Pages 173-187

  Gherghina, Cristian ^a   David, Cristina ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL FLOWS; DYNAMIC CONTROLS; EXCEPTION HANDLING; EXCEPTION SAFETY; LANGUAGE FEATURES; PROGRAM ERRORS; RECOVERY ACTIONS; ROBUST SOFTWARE; SPECIFICATION LOGIC; STATIC CONTROL; USER PROGRAMS; VERIFICATION TECHNIQUES;

ERRORS; SPECIFICATIONS;

SPECIFICATIONS; COMPUTER CIRCUITS;

EID: 78049352389     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15643-4_14     Document Type: Conference Paper

References (15)

1. Beckert, B., Hähnle, R., Schmitt, P. H. (eds.): Verification of Object-Oriented Software. LNCS, vol. 4334. Springer, Heidelberg (2007)
2. Blume, M., Acar, U. A., Chae, W.: Exception handlers as extensible cases. In: Ramalingam, G. (ed.) APLAS 2008. LNCS, vol. 5356, pp. 273-289. Springer, Heidelberg (2008)
3. David, C., Gherghina, C., Chin, W. N.: Translation and optimization for a core calculus with exceptions. In: ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation. ACM Press, New York (2009)
4. Fähndrich, M., Aiken, A.: Program analysis using mixed term and set constraints. In: Van Hentenryck, P. (ed.) SAS 1997. LNCS, vol. 1302, pp. 114-126. Springer, Heidelberg (1997)
5. Goodenough, J. B.: Structured exception handling. In: POPL 1975: Proceedings of the 2nd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 204-224. ACM, New York (1975)
6. Jo, J.-W., Chang, B.-M., Yi, K., Choe, K.-M.: An uncaught exception analysis for Java. Journal of Systems and Software 72(1), 59-69 (2004)
7. Rustan, K., Leino, M., Schulte, W.: Exception Safety for C#. In: SEFM 2004: Proceedings of the Software Engineering and Formal Methods, Second International Conference, Washington, DC, USA, pp. 218-227. IEEE Computer Society, Los Alamitos (2004)
8. Leino, R.: Personal Communication (January 2009)
9. Li, X., Hoover, H. J., Rudnicki, P.: Towards automatic exception safety verification. In: FM, pp. 396-411 (2006)
10. Maxion, R. A., Olszewski, R. T.: Improving software robustness with dependability cases. In: 28th International Symposium on Fault Tolerant Computing, pp. 346-355 (1998)
11. Nguyen, H. H., David, C., Qin, S. C., Chin, W. N.: Automated Verification of Shape And Size Properties via Separation Logic. In: Cook, B., Podelski, A. (eds.) VMCAI 2007. LNCS, vol. 4349, pp. 251-266. Springer, Heidelberg (2007)
12. Pugh, W.: The Omega Test: A fast practical integer programming algorithm for dependence analysis. Communications of the ACM 8, 102-114 (1992)
13. Reynolds, J.: Separation Logic: A Logic for Shared Mutable Data Structures. In: IEEE LICS, Copenhagen, Denmark, pp. 55-74 (July 2002)
14. Shivers, O., Fisher, D.: Multi-return function call. In: ICFP 2004: Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, pp. 79-89. ACM, New York (2004)
15. Stroustrup, B.: Exception safety: Concepts and techniques. In: Advances in Exception Handling Techniques, pp. 60-76 (2000)