Christophe Dony. Exception handling and object-oriented programming : towards a synthesis. ACM SIGPLAN Notices, 25(10):322330, October 1990. OOPSLA ECOOP '90 Proceedings, N. Meyrowitz (editor).  Home/Search   Document Details and Download   Summary   Related Articles   Check

....showing that it is possible to meet al..l except one of its guidelines by implementing it using the error value model in the spreadsheet paradigm. 2. 3 Exception Handling in Other Applicative Languages Most research on exception handling has been in imperative [11, 17, 31, 68] object oriented [14, 34, 48, 66], and functional languages [2, 19, 43, 60] The approaches to exception handling in the imperative and object oriented paradigms usually accomplish their purposes in part by allowing Yemeni and Berry named it the replacement model. We use the phrase replacement value model in this paper ....

C. Dony, "Exception Handling and Object-Oriented Programming: Towards a Synthesis," ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 322-330, October 1990.

....alexander.romanovsky ncl.ac.uk http: www.cs.ncl.ac.uk research dependability reflection 1 Introduction This paper describes the design and usage of a metaobject protocol that explicitly includes support for handling exceptions. We do not propose implementing exception mechanisms anew [3, 5] or proposing a unified meta level software architecture for exception handling [4] To make our discussion concrete we describe an extension of the Kava [9] metaobject protocol that includes exceptions as first class values, provide examples of Kava s use, and compare Kava with related Java ....

Christophe Dony. Exception Handling and Object Oriented Programming : Towards a Synthesis. In Proceedings of ECOOP/OOPSLA'90, pages 322--330, Ottawa, Canada, 1990.

....goals or commitments go awry. IV. 1 Implementation Issues The implementation uses the Actalk actor platform built on top of ST 80 [Briot 94] It takes profit of the Smalltalk exception handling system in which an exception is defined as a situation when computation could not be completed [Dony 90] When such a situation can be clearly described, it could also be foreseen and prevented by having a signal watch for its occurrence. Again, as was stated before, proper signals to raise for the triggering of emotions have to do with significant variations in the stock of resources, more ....

Christophe Dony. Exception Handling and Object-Oriented Programming: Towards a Synthesis. In Norman Meyrowitz, editor, OOPSLA ECOOP'90 Proceedings, Ottawa, October 21-25 1990, Sigplan Notices, 25 (10), 322-330, 1990.

....occurs. That represents, at the conceptual level, what we do in practice when we catch an instance of memory overflow and treat it by throwing an instance of impossible push . To put to a single hierarchy all the exceptions associated with a given type helps to factorize their features [Don90] The previous remarks leads us to the following principle: if X is a type, X s own exceptions are all rooted under a general exception class ExcTypeX. 3 Exceptions and Features According to UML formalism, features of a class can be split up into primitive attributes (this means that the ....

C. Dony. Exception Handling and Object Oriented Programming: Towards a Synthesis. ACM SIGPLAN Notices, 25(10):322--330, october 1990. Proceedings of ECOOPOOPSLA '90.

....model in Ada 95 could be solved by a better integration of exceptions into the general type system of the programming language. In Java (and C ) exceptions are classes and thus fit much better into the object oriented paradigm than they do in Ada 95. Even these implementations are not original: [Dony90] presented exactly such a model in the context of Smalltalk. CORBA IDL also has exceptions that can carry arbitrary application defined attributes, although there are no exception hierarchies in IDL. There are 5 just two broad classes of exceptions in IDL: checked and unchecked exceptions, ....

Dony, Christophe: "Exception Handling and Object--Oriented Programming: Towards a Synthesis"; in Proceedings of ECOOP--OOPSLA '90; SIGPLAN Notices 25(10), pp. 322 -- 330; October 1990.

....caller and callee tasks only if it is raised during the Ada rendezvous. Such exception mechanism is not directly applicable for systems that contain complex cooperative concurrency. 4.2 Exception Handling in Lore An object oriented exception mechanism has been designed by Ch. Dony [Dony, 1988][Dony, 1990]; it has been implemented in Lore, an object oriented language dedicated to knowledge representation. An important characteristic of this mechanism is the object oriented representation of exceptions: exceptions are full objects. External exceptions may be defined in the method signature using the ....

....Smalltalk [Goldberg and Robson, 1983] attracted much attention in 1980s. An exception in Smalltalk 80 is a selector but not a first class object. Each selector specifies the operation name. Thus a exception selector cannot own any characteristics, cannot be inspected, modified or upgraded [Dony, 1990]. In order to signal run time exceptions, the Smalltalk evaluator sends a message corresponding to the current exception to the current object. Therefore handlers are methods referenced by exception selectors, and they only can be attached to classes. Thus, exceptions raised by methods defined on ....

Dony, C., Exception Handling and Object-Oriented Programming: Towards a Synthesys, Sigplan Notices 25, 322-330 (1990).

....by sending exception messages to an exception object with the statement signal. This mechanism supports automatic propagation and provides a primitive when exit to cleanup resources when the signaler terminates (its stack is unwound) Dony s mechanism supports termination, resumption, and retry [Dony 1988; 1990]. In C##, there is no specific declaration for an exception. Users can raise an ordinary object as an exception by using the statement throw.A try . catch . structure attaches handlers led by catch to a guarded block of code led by try. If the handler for a raised exception cannot be found ....

DONY, C. 1990. Exception handling and object-oriented programming: Towards a synthesis. ACM SIGPLAN Not. 25, 10, 322--330.

....languages which allow handlers to be attached only to blocks of statements (Java, C , Arche) in many of them (e.g. Ada, Eiffel) handlers can be attached to the method bodies. We have chosen a more general OO model which allows associating handlers with an object as a whole as well (the Lore [15] and extended Ada [16] languages follow this model) Paper [15] argues the importance of this feature and discusses the flexibility the designers gain by using it, 16] discusses practical evidence which backs this approach. Note that our model can be easily simulated in all of the above mentioned ....

....of statements (Java, C , Arche) in many of them (e.g. Ada, Eiffel) handlers can be attached to the method bodies. We have chosen a more general OO model which allows associating handlers with an object as a whole as well (the Lore [15] and extended Ada [16] languages follow this model) Paper [15] argues the importance of this feature and discusses the flexibility the designers gain by using it, 16] discusses practical evidence which backs this approach. Note that our model can be easily simulated in all of the above mentioned OO languages. In our model, internal exceptions and their ....

Dony, C. (1990) Exception Handling and Object-oriented Programming: Towards a Synthesis. In Proc. of the ECOOP/OOPSLA'90. 322-330.

....in a variety of ways in the various object oriented programming languages. At one end, Beta [15] does not provide any special constructs or primitives to represent and handle exceptions. Instead, Beta uses its basic language constructs (such as virtual patterns) At the other end, some systems [7] use a special class of objects to represent exceptions that have certain predefined operations, such as signal or raise. In between are languages such as Guide [13] that represent exceptions as symbols, which can be organized according to some inheritance hierarchy. Such an organization permits ....

C. Dony, "Exception Handling and Object-Oriented Programming: Towards a Synthesis", in Proceedings OOPSLA 90, pp. 322-330, Oct. 1990.

....the CA action scheme because they are directed into some particular schemes, with no support for forward error recovery, and not intended for concurrent OO systems. 2. 3: Exception Mechanisms in OO Languages Exceptions in actual OO languages can be declared as classes, objects or strings [9][22] while handlers can be declared and attached to the level of statements, methods, classes or objects. Some languages like C , Modula 3 and Arche [11] only allow exception handlers to be attached to statements, and the others such as Lore [9] Eiffel [18] Guide [3] extended C [20] ....

....can be declared as classes, objects or strings [9] 22] while handlers can be declared and attached to the level of statements, methods, classes or objects. Some languages like C , Modula 3 and Arche [11] only allow exception handlers to be attached to statements, and the others such as Lore [9], Eiffel [18] Guide [3] extended C [20] extended Ada [8] permit handlers to be attached to methods, objects and or classes. Such flexible attachment has numerous advantages: 1) a clear separation of an object s abnormal behaviour from its normal one, in accordance with the concept of an ....

C. Dony, "Exception Handling and Object-Oriented Programming: Towards a Synthesis," In Proc. ECOOP/OOPSLA '90, pp.322-330, 1990.

....be used directly for CA actions because the handler for an exception which was not raised may be still called once exception resolution is required. 2. 3 Exception Mechanisms in Realistic OO Languages In reality, exceptions in OO languages can be declared either as classes, objects or strings [10][22] while exception handlers can be declared and attached to the level of statements, 7 methods, classes or objects. Some languages such as C , Modula 3 and Arche [12] only allow exception handlers to be attached to statements, and the others such as Lore [10] Eiffel [19] Guide [4] ....

....as classes, objects or strings [10] 22] while exception handlers can be declared and attached to the level of statements, 7 methods, classes or objects. Some languages such as C , Modula 3 and Arche [12] only allow exception handlers to be attached to statements, and the others such as Lore [10], Eiffel [19] Guide [4] extended C [21] and extended Ada [9] permit exception handlers to be attached to methods, objects and or classes. Such flexible attachment has numerous advantages: 1) a clear separation of an object s abnormal behaviour from its normal one, in accordance with the ....

C. Dony, "Exception Handling and Object-Oriented Programming: Towards a Synthesis," In Proc. ECOOP/OOPSLA '90, pp.322-330, 1990.

.... which uses the new value S given to d(R i ) x) Notice that this is just a convenient notation (there is no differentiation with abstract interpretation since we must have S = d # (T) x ) because the new value S is not a positive update) We use an exception handling mechanism described in [Don90], which catches contradictions raised either by the detection of an empty set of possible values or the violation of an integrity constraint. We may now describe the algorithm (the database instance d, the constraints, rules, and production rules are global resources) which solves a list of given ....

C. Dony. Exception Handling and Object-Oriented Programming: Towards a Synthesis. Proc of OOPSLA'90, Ottawa, 1990.

No context found.

Christophe Dony. Exception handling and object-oriented programming : towards a synthesis. ACM SIGPLAN Notices, 25(10):322330, October 1990. OOPSLA ECOOP '90 Proceedings, N. Meyrowitz (editor).

No context found.

Dony, C.: Exception handling and object-oriented programming : towards a synthesis. ACM SIGPLAN Notices 25 (1990) 322--330 OOPSLA ECOOP '90 Proceedings, N. Meyrowitz (editor).

No context found.

Christophe Dony. Exception handling and object-oriented programming: Towards a synthesis. In OOPSLA'90 Proceedings, pages 322-330, 1990.

No context found.

C. Dony, Exception Handling and object-oriented programming: Towards a synthesis, Proceedings of ACM Conference on OOPSLA, pp. 322-330, 1990.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC