29,926 Hits in 5.1 sec

Exception Handlers as Extensible Cases [chapter]

Matthias Blume, Umut A. Acar, Wonseok Chae
2008 Lecture Notes in Computer Science  
In this paper, we propose a technique for type-safe exception handling. Our approach relies on representing exceptions as sums and assigning exception handlers polymorphic, extensible row types.  ...  The translation performs a CPS transformation to represent exception handlers as continuations. It also relies on duality to transform sums into records.  ...  The elaboration performs CPS transformation as well as dual translation, eliminating exceptions, handlers, sums, as well as first-class cases.  ... 
doi:10.1007/978-3-540-89330-1_20 fatcat:eiscvne2ibdxjootlyi7gdmefy

Exceptional Use Cases [chapter]

Aaron Shui, Sadaf Mustafiz, Jörg Kienzle, Christophe Dony
2005 Lecture Notes in Computer Science  
handler use cases.  ...  To conclude the requirements phase, an extended UML use case diagram summarizes the standard use cases, exceptions, handlers and their relationships.  ...  Linking Exception, Handlers and Use Cases Just like in standard exception handling, where exception handlers are associated to exception handling contexts, handler use cases apply to a base use case, in  ... 
doi:10.1007/11557432_43 fatcat:rc4bdaeq25c6bmbctyjhu5zy5m

Design and implementation of a hierarchical exception handling extension to systemC

Prashant Arora, Rajesh K. Gupta
2000 Proceedings of the international conference on Compilers, architectures, and synthesis for embedded systems - CASES '00  
A hierarchy o f exception handlers is proposed shadowing the design hierarchy. To study the e ectiveness of these extensions, support for exceptions is added to an existing model of the DLX pipeline.  ...  This paper describes the design and implementation of exception handling constructs as an extension to existing C++ libraries for modeling hardware, in particular SystemC.  ...  CONCLUSIONS We have described the implementation of a hierarchical exception handling mechanism as an extension to SystemC.  ... 
doi:10.1145/354880.354892 dblp:conf/cases/AroraG00 fatcat:rle5rpts35fwdjsh4l776dcmpa

Stayin' alert:

Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg
2006 Proceedings of the 5th international conference on Generative programming and component engineering - GPCE '06  
For instance, we may easily declare the error codes of the POSIX C library for file handling, and then use the library functions as if C had been extended with an exception mechanism for these functions  ...  Traditionally, it has been up to the designer of a library to decide whether to use a language's exception mechanism, return values, or other ways to indicate exceptional circumstances.  ...  Algorithms should be formulated so as to remove the exceptional corner cases, as this improves both the readability and maintainability of the code.  ... 
doi:10.1145/1173706.1173747 dblp:conf/gpce/BaggeDHK06 fatcat:bno2ni7swreo3nz2drypqp6nti

An axiomatic treatment of exception handling

Shaula Yemini
1982 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82  
The extension to this case is straightforward (see [16]). 3.L Specifying Handler Effects Since resumption is obtained by the same mechanism as procedure calls, and termination of  ...  as a result of the original exception.  ... 
doi:10.1145/582153.582183 dblp:conf/popl/Yemeni82 fatcat:zfpekoszlffexjudbzedare2ua

An extensible dynamically-typed hierarchy of exceptions

Simon Marlow
2006 Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06  
In this paper we address the lack of extensibility of the exception type in Haskell.  ...  We also show how to combine the existing object-oriented framework OOHaskell with our design, such that OOHaskell objects can be thrown and caught as exceptions, with full support for implicit OOHaskell  ...  3 : catch io handler = io 'primCatch' \e@(SomeException e') -> case cast e of Just e'' -> handler e'' Nothing -> case cast e' of Just e'' -> handler e'' Nothing -> throw e' The following  ... 
doi:10.1145/1159842.1159854 dblp:conf/haskell/Marlow06 fatcat:bkuh6tnwvngjnjeavhtlwxfg2e

DREP: A Requirements Engineering Process for Dependable Reactive Systems [chapter]

Sadaf Mustafiz, Jörg Kienzle
2009 Lecture Notes in Computer Science  
To conclude the requirements phase, an extended use case diagram summarizes the normal interactions, exceptions, handlers and their relationships.  ...  After the discovery of normal system behavior by means of use cases, the developer is lead to explore exceptional situations arising in the environment that change the context in which the system operates  ...  The use case has to be updated by adding the discovered exception to the extension section of the template as an alternative to the essential input step.  ... 
doi:10.1007/978-3-642-00867-2_11 fatcat:ut3kwge44zhn7pqjthidksyvg4

Exceptional C or C with exceptions

N. H. Gehani
1992 Software, Practice & Experience  
Exceptional C, a superset of C, provides exception handling facilities.  ...  C does not have exception handling facilities.  ...  Cmelik for the initial implementation of Exceptional C.  ... 
doi:10.1002/spe.4380221003 fatcat:x7jg6hhsrnb2jhuxkxxdag7nym

A semantics for execution levels with exceptions

Ismael Figueroa, Éric Tanter
2011 Proceedings of the 10th international workshop on Foundations of aspect-oriented languages - FOAL '11  
Aspect-oriented languages are usually formulated as an extension to existing languages, without paying any special attention to the underlying exception handling mechanisms.  ...  We distill the essence of the problem and designate it as the exception conflation problem.  ...  Finally, Listing 5 shows the same situation as in Listing 2, but with a different handler. In this case we use the up level-shifting operator to bind the handler function at level 1.  ... 
doi:10.1145/1960510.1960513 dblp:conf/foal/FigueroaT11 fatcat:6cb4lm3p2bckpdmrdizfpb6vsm

Exception Handling in an Event-Driven System

Jan Ploski, Wilhelm Hasselbring
2007 The Second International Conference on Availability, Reliability and Security (ARES'07)  
We provide results from an empirical case study performed on the source code of the Eclipse IDE that support our analysis.  ...  We contribute an analysis of the factors which influence exception handling in event-driven systems. The main focus of our discussion lies on the challenge of appropriate exception propagation.  ...  The origins of exception handling Exception handling was first proposed as a syntactic extension to languages which supported structured programming.  ... 
doi:10.1109/ares.2007.85 dblp:conf/IEEEares/PloskiH07 fatcat:dhfky65adjawhp7jkak7g4uzqe

An axiomatic treatment of exception handling in an expression-oriented language

Shaula Yemini, Daniel M. Berry
1987 ACM Transactions on Programming Languages and Systems  
An axiomatic semantic definition is given of the replacement model of exception handling in an expressionoriented language. These semantics require only two new proof rules for the most general case.  ...  An example is given of a program fragment using this model of exception handling, and these rules are used to verify the consistency of the fragment and its specification.  ...  In any case, signalling is effected by calling the handler as a procedure.  ... 
doi:10.1145/24039.24052 fatcat:ajjvaalxhvar7e5xg5d2u6omsq

Advanced exception handling mechanisms

P.A. Buhr, W.Y.R. Mok
2000 IEEE Transactions on Software Engineering  
A framework for a comprehensive, easy to use, and extensible exception handling mechanism is presented for a concurrent, object-oriented environment.  ...  Integration is crucial as there are both obvious and subtle interactions between exception handling and other language features.  ...  certain cases.  ... 
doi:10.1109/32.877844 fatcat:buaf3hw2tbbenpod3hjkd24754

A modular verifiable exception handling mechanism

Shaula Yemini, Daniel M. Berry
1985 ACM Transactions on Programming Languages and Systems  
The replacement model, in contrast to other exception-handling proposals, supports all the handler responses of resumption, termination, retry, and exception propagation, within both statements and expressions  ...  This paper presents a new model for exception handling, called the replacement model.  ...  Note that the handler in this case has the same parameter type and the same return value types as in all previous cases. (A goto's type is determined in the same way as a skip's.)  ... 
doi:10.1145/3318.3320 fatcat:qd6ypj7n6jfolfnse45wdwiog4


Nelio Cacho, Fernando Castor Filho, Alessandro Garcia, Eduardo Figueiredo
2008 Proceedings of the 7th international conference on Aspect-oriented software development - AOSD '08  
As a consequence, exceptions easily get "out of control" and, as system development progresses, exceptional control flows become less well-understood, with potentially negative consequences for the program  ...  We evaluate qualitatively and quantitatively the proposed exception handling model through a case study targeting a real mobile application.  ...  In this case, they work as after throwing advice, with the difference that, like around advice, they can stop the propagation of an exception.  ... 
doi:10.1145/1353482.1353492 dblp:conf/aosd/CachoFGF08 fatcat:nas6bz2fbzdipbglg3flcqyh5e

Synchronous and asynchronous handling of abnormal events in the μsystem

Peter A. Buhr, Hamish I. Macdonald, C. Robert Zarnke
1992 Software, Practice & Experience  
Exception handlers and intervention routines for dealing with abnormal events can be defined/installed at any point in a program.  ...  Users can define named exceptions and interventions in conjunction with ones defined by the µSystem.  ...  In some cases the exception can only be raised in a task blocked doing communication with the task raising the exception, as in Ada.  ... 
doi:10.1002/spe.4380220904 fatcat:vmycrdkgdzab7mapsxawtvhgyq
« Previous Showing results 1 — 15 out of 29,926 results