C. Hintermeier, H. Kirchner, and P. D. Mosses. Combining algebraic and set theoretic specifications. In M. Haveraaen, O. Owe, and O-J. Dahl, editors, Recent Trends in Data Type Specification", Proc. 11th Workshop on Specification of Abstract Data Types joint with the 9th general COMPASS workshop. Oslo, Norway, September 1995. Selected papers, volume 1130 of Lecture Notes in Computer Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Theory and Practice of Action Semantics - Mosses (1996) (20 citations) (Correct)
....in that respect. The underlying algebraic specification language used in action semantics is currently the somewhat unorthodox and lesser known framework of unified algebras , summarized in Section 5. It might be advisable to replace it by a framework with a more direct set theoretic basis [17] or by a sublanguage of the common algebraic specification language that is currently being developed by the Common Framework Initiative [46] In either case, algebraic data type definitions should be included, as this would allow a significant reduction in the size of the modules that specify ....
C. Hintermeier, H. Kirchner, and P. D. Mosses. Combining algebraic and settheoretic specification. In Recent Trends in Data Type Specification, Proc. 11th Workshop on Specification of Abstract Data Types, Oslo,
Combining Algebraic and Set-Theoretic Specifications - Hintermeier, Kirchner (1996) (1 citation) Self-citation (Hintermeier Kirchner) (Correct)
....at least for specifying abstract data types. The foundations laid in Section 3 are reasonably simple, and Section 4 demonstrates the tractability of the logic. Finally, Section 5 concludes by comparing the proposed framework with related approaches. This paper is an extended version of [7]. We present proofs of the results, and improve some technical details in the definitions. 2 Illustrations of Specifications Before we take a closer look at the foundations of our proposed framework, let us illustrate its expressiveness, which approaches that of model oriented frameworks such as ....
C. Hintermeier, H. Kirchner, and P. D. Mosses. Combining algebraic and set theoretic specifications. In M. Haveraaen, O. Owe, and O-J. Dahl, editors, Recent Trends in Data Type Specification", Proc. 11th Workshop on Specification of Abstract Data Types joint with the 9th general COMPASS workshop. Oslo, Norway, September 1995. Selected papers, volume 1130 of Lecture Notes in Computer
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