J.G.Mitchell, W.Maybury, R.Sweet: Mesa language manual, Xerox PARC CSL-793, April 1979.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....while they are active, even though an exceptional situation occurs. The end of the 1970s saw the development of exception handling systems dedicated to procedural programming. All specifications have all been influenced by Goodenough s seminal paper [7] Well known implementations include MESA [15], CLU [13] or ADA [8] Exception handling systems have later been integrated into object oriented languages at the end of the 1980s (Zetalisp Flavors [17] CommonLisp( CLOS) 19] Eiffel [14] Objectworks Smalltalk [21] C [11] or more recently in Java. This papers presents an overview of the ....

J.G.Mitchell, W.Maybury, R.Sweet: MESA Language Manual. Xerox Research Center, Palo Alto, California, Mars 1979.

....related to behavior than typing) Subtyping over record like types can emulate many properties of inheritance, but subtyping is a more abstract notion, because it applies to all types, and because it does not involve a built in notion of methods . Modules and interfaces were introduced in Mesa [Mitchell Maybury Sweet 79] and then perfected in Modula2 [Wirth 83] Standard ML embodies today s most advanced module system. Modules are the major structuring concept, after functions, in modem languages. They are very similar to abstract types, but add the notion of imported identifiers (which are declared in other ....

....memory concurrency) static checks are badly needed in order to build reliable systems. Maybe type systems could provide them; this is an open problem. Programming in the large. This is a programming discipline for organizing large software systems, based on the notions of modules and interfaces [Mitchell Maybury Sweet 79] Wirth 83] Large systems are kept consistent by checking that all the interfaces fit together: this is done by typechecking plus version checking. An interface is basically the type of a module, and we have described how modules and interfaces correspond to tuples and tuple types. System ....

[Article contains additional citation context not shown here]

J.G.Mitchell, W.Maybury, R.Sweet: Mesa language manual, Xerox PARC CSL-793, April 1979.

.... description of their compound objects ) and software quality (modularity, information hiding, sharing of code, reusability and extendibility) 5] 8] 14] The key idea of the present work is to apply OOD to the specification of an exception handling system (EHS) as proposed earlier in Zetalisp [15], Taxis [17] or in [1] 16] Our work is an extension of these systems towards a full object oriented representation of exceptional events and of protocols designed to handle them. The proposed concept organization first provides a promising set of solutions to most classical exceptions handling ....

....knowledge about it is embodied into the expressions associated to the label or into the procedure body. In such systems, users have no simple way to define handlers. In most of the important exception handling systems that can be found in procedural languages (e.g. PL I, Ada [11] Clu [13] Mesa [15]) exceptions are identifiers. When an exception is raised, a handler that references this identifier is looked for and invoked. A common characteristic of the above systems is that knowledge relative to exceptions (even the most general one) is uneasy to grasp since, in the first case, ....

J.G.Mitchell, W.Maybury, R.Sweet: MESA Language Manual. Xerox Research Center, Palo Alto, California, Mars 1977.

....related to behavior than typing) Subtyping over record like types can emulate many properties of inheritance, but subtyping is a more abstract notion, because it applies to all types, and because it does not involve a built in notion of methods. Modules and interfaces were introduced in Mesa [Mitchell Maybury Sweet 79] and then perfected in Modula2 [Wirth 83] Standard ML embodies today s most advanced module system. Modules are the major structuring concept, after functions, in modern languages. They are very similar to abstract types, but add the notion of imported identifiers (which are declared in other ....

....memory concurrency) static checks are badly needed in order to build reliable systems. Maybe type systems could provide them; this is an open problem. Programming in the large. This is a programming discipline for organizing large software systems, based on the notions of modules and interfaces [Mitchell Maybury Sweet 79] Wirth 83] Large systems are kept consistent by checking that all the interfaces fit together: this is done by typechecking plus version checking. An interface is basically the type of a module, and we have described how modules and interfaces correspond to tuples and tuple types. System ....

[Article contains additional citation context not shown here]

J.G.Mitchell, W.Maybury, R.Sweet: Mesa language manual, Xerox PARC CSL-793, April 1979.

No context found.

J.G.Mitchell, W.Maybury, R.Sweet: Mesa language manual, Xerox PARC CSL-793, April 1979.

No context found.

J.G.Mitchell, W.Maybury, R.Sweet: Mesa language manual, Xerox PARC CSL-79-3, April 1979.

No context found.

J.G.Mitchell, W.Maybury, R.Sweet: MESA Language Manual.Xerox Research Center, Palo Alto, Calif., Mars 1979.

No context found.

J.G.Mitchell, W.Maybury, R.Sweet: Mesa language manual, Xerox PARC CSL-79-3, April 1979.

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