Author | Conference | Journal | Organization | Year | DOI
Look for results that meet for the following criteria:
Academic
Publications
Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors

Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors,10.1016/0304-3975(84)90056-2,Theoretical Computer Science,Martin

Edit
Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors   (Citations: 26)
BibTex | RIS | RefWorks Download
Journal: Theoretical Computer Science - TCS , vol. 34, no. 3, pp. 289-313, 1984
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...Among these are error algebras [GTW78], which identify error elements for every sort, or OK-algebras [GDLE84,HL89], which use predicates to designate the safe arguments of ordinary operators...

    Magne Haveraaen, et al. Guarded Algebras: Disguising Partiality so You Won't Know Whether It's...

    • ...In addition, the following principles have been widely recognized as crucial for abstract specifications with exception handling [Gog78a][GDLE84][Bid84][Ber86][BBC86][Sch91]: each exceptional (or erroneous) case should be declared with some exception name (or error message) which provides enough information to treat it easily; various recoveries of the exceptional cases must be possible (related to their exception names); more generally, ...
    • ...In [GDLE84], the signature � is partitioned into “safe” and “unsafe” operations...

    Gilles Bernot, et al. Exception Handling and Term Labelling

    • ...The approach is based on the idea of “restrictions on substitutions” which has also been exploited in several papers devoted to algebraic specifications with partial functions [GDLE84, SNGM89] and term-rewriting systems over built-in algebras [AB92]; in Sect...
    • ...4 This construction, as well as the terminology, is inspired by the approach to partial functions suggested in [GDLE84] (cf...
    • ...Another possibility (which seems simpler and more convenient for this specific task) is to make use of algebras with Okay predicates - the specification framework introduced in [GDLE84] and developed further in [ANK90]...

    Valentin M. Antimirov, et al. Consistency and Semantics of Equational Definitions over Predefined Al...

    • ...An alternative to dividing signatures into okay and error operations is to divide them into okay and unsafe operations as proposed by Gogolla, Drosten, Lipeck, and Ehrich [17], see also [15, 16]...

    Peter D. Mosses. The Use of Sorts in Algebraic Specifications

    • ...For instance, [Gog78] [FGJM85] [GM89] [GDLE84] [Gog87] give solutions to the algebraic treatment of “intrinsic errors” (such as pred(0) or pop(empty)), with implicit error propagation and possible recoveries, but they are not able to treat the other kind of errors, especially bounded data structures (see [Bre91] for the crucial importance of bounded data structures)...

    Gilles Bernot, et al. Label Algebras: A Systematic Use of Terms

Sort by:

Citations (26)

Share this on