Paper Info
Title
Strong exception-safety for Java-like languages
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.
Year
DOI
Venue
2009
10.1145/1924520.1924523
FTfJP@ECOOP
Keywords
Field
DocType
exception-safety strong guarantee,david abrahams,robust software,central role,java-like language,lightweight type system,simple modifier,strong guarantee,strong exception-safety,program state,exception handling,type system,java,satisfiability
Programming language,Computer science,Exception handling,Software,Exception safety,Java
Conference
Citations 
PageRank 
References 
2
0.43
9
Authors
2
Name
Order
Citations
PageRank
Giovanni Lagorio121217.98
Marco Servetto26111.51