Paola Giannini
ABSTRACT
In this extended abstract we propose to enhance declaration of local variables with a catching mechanism. This provides a more powerful and methodologically more appropriate mechanism of catching exceptions than the usual try/catch construct. The advantages are highlighted by presenting some paradigmatic examples. The proposal is formalized as an extension of Featherweight Java (FJ) with a type system which can be proved to be sound.
- The Python Tutorial. https://docs.python.org/3/tutorial, 2015.Google Scholar
- D. Ancona, G. Lagorio, and E. Zucca. A core calculus for Java exceptions. In OOPSLA 2001, SIGPLAN Notices. ACM Press, October 2001. Google ScholarDigital Library
- S. Drossopoulou and S. Eisenbach. Describing the semantics of Java and proving type soundness. In Formal Syntax and Semantics of Java, number 1523 in LNCS, pages 41--82. Springer, 1999. Google ScholarDigital Library
- S. Drossopoulou and T. Valkevych. Java exceptions throw no surprises. Tech. Rep., Dept. of Computing - Imperial College of Science, March 2000.Google Scholar
- J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java™ Language Specification, Second Edition. Addison-Wesley, 2000. Google ScholarDigital Library
- A. Igarashi, B. C. Pierce, and P. Wadler. Featherweight Java: a minimal core calculus for Java and GJ. ACM TOPLAS, 23(3):396--450, 2001. Google ScholarDigital Library
- J. Kiniry. Program safety via programmer safety. In ISoLA 2006, page 8. IEEE, 2006. Google ScholarDigital Library
- G. Lagorio and M. Servetto. Strong exception-safety for checked and unchecked exceptions. JOT, 10:1: 1--20, 2011.Google ScholarCross Ref
- B. Meyer. Disciplined exceptions. Tech. Rep. TR-EI-13/DE, Interactive Software Engineering Inc., 1988.Google Scholar
Index Terms
- Initialize-and-catch
Comments