research-article

Strong exception-safety for Java-like languages

Authors:

Giovanni Lagorio,

Marco ServettoAuthors Info & Claims

FTFJP '10: Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs

Article No.: 3, Pages 1 - 7

https://doi.org/10.1145/1924520.1924523

Published: 22 June 2010 Publication History

Get Access

Abstract

"Exception-safety strong guarantee: The operation has either completed successfully or thrown an exception, leaving the program state exactly as it was before the operation started." David Abrahams [1] The above definition of strong exception-safety comes from the world of C++, but it can be applied to any language.

Because the exception-safety strong guarantee plays a central role in easing the development of robust software, we have designed a type-system able to capture its essence.

We present a lightweight type system for Java-like languages that, by introducing a simple modifier to types, enforces programs to satisfy the strong guarantee.

References

[1]

D. Abrahams. Exception-safety in generic components. In M. Jazayeri, R. Loos, and D. R. Musser, editors, International Seminar on Generic Programming, Selected Papers, volume 1766 of Lecture Notes in Computer Science, pages 69--79. Springer, 2000.

Digital Library

Google Scholar

[2]

D. Ancona, G. Lagorio, and E. Zucca. A core calculus for Java exceptions. In ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2001), SIGPLAN Notices. ACM Press, October 2001.

Digital Library

Google Scholar

[3]

J. Boyland. Why we should not add readonly to java (yet). Journal of Object Technology, 5(5):5--29, 2006.

Crossref

Google Scholar

[4]

C. Haack and E. Poll. Type--based Object Immutability with Flexible Initialization. In ECOOP 2009 - Object-Oriented Programming, Lecture Notes in Computer Science. Springer, 2009.

Digital Library

Google Scholar

[5]

A. Igarashi, B. C. Pierce, and P. Wadler. Featherweight Java: a minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems, 23(3):396--450, 2001.

Digital Library

Google Scholar

[6]

B. Jacobs and F. Piessens. Failboxes: Provably safe exception handling. In S. Drossopoulou, editor, ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6--10, 2009. Proceedings, volume 5653 of Lecture Notes in Computer Science, pages 470--494. Springer, 2009.

Digital Library

Google Scholar

[7]

K. R. M. Leino and W. Schulte. Exception safety for C#. In 2nd International Conference on Software Engineering and Formal Methods, pages 218--227. IEEE Computer Society, 2004.

Digital Library

Google Scholar

[8]

X. Li, H. J. Hoover, and P. Rudnicki. Towards automatic exception safety verification. In J. Misra, T. Nipkow, and E. Sekerinski, editors, FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21--27, 2006, Proceedings, volume 4085 of Lecture Notes in Computer Science, pages 396--411. Springer, 2006.

Digital Library

Google Scholar

[9]

B. Stroustrup. The C++ Programming Language: Third Edition. Addison-Wesley Publishing Co., Reading, Mass., 1997.

Digital Library

Google Scholar

[10]

B. Stroustrup. Exception safety: Concepts and techniques. In Advances in Exception Handling Techniques, Lecture Notes in Computer Science, pages 60--76. Springer, 2001.

Digital Library

Google Scholar

[11]

M. S. Tschantz and M. D. Ernst. Javari: adding reference immutability to Java. ACM SIGPLAN Notices, 40(10):211--230, Oct. 2005.

Digital Library

Google Scholar

Cited By

View all

Ciraci SSozer HAksit MHavinga W(2011)Execution Constraint Verification of Exception Handling on UML Sequence DiagramsProceedings of the 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement10.1109/SSIRI.2011.13(31-40)Online publication date: 27-Jun-2011
https://dl.acm.org/doi/10.1109/SSIRI.2011.13

Index Terms

Strong exception-safety for Java-like languages
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features

Recommendations

Efficient Java exception handling in just-in-time compilation
Research Articles

Java uses exceptions to provide elegant error handling capabilities during program execution. However, the presence of exception handlers complicates the job of the just-in-time (JIT) compiler, while exceptions are rarely used in most programs. This ...
Supporting exception handling for futures in Java
PPPJ '07: Proceedings of the 5th international symposium on Principles and practice of programming in Java

A future is a simple and elegant construct that programmers can use to identify potentially asynchronous computation and to introduce parallelism into serial programs. In its recent 5.0 release, Java provides an interface-based implementation of futures ...
As-if-serial exception handling semantics for Java futures

Exception handling enables programmers to specify the behavior of a program when an exceptional event occurs at runtime. Exception handling, thus, facilitates software fault tolerance and the production of reliable and robust software systems. With the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

FTFJP '10: Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs

June 2010

66 pages

ISBN:9781450305402

DOI:10.1145/1924520

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 June 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ECOOP '10

Sponsor:

AITO

ECOOP '10: European Conference on Object-Oriented Programming

June 22, 2010

Maribor, Slovenia

Acceptance Rates

Overall Acceptance Rate 51 of 75 submissions, 68%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
166
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 19 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ciraci SSozer HAksit MHavinga W(2011)Execution Constraint Verification of Exception Handling on UML Sequence DiagramsProceedings of the 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement10.1109/SSIRI.2011.13(31-40)Online publication date: 27-Jun-2011
https://dl.acm.org/doi/10.1109/SSIRI.2011.13

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Efficient Java exception handling in just-in-time compilation

Supporting exception handling for futures in Java

As-if-serial exception handling semantics for Java futures