researchr - search publication algebraic specification

researchr

You are not signed in
Sign in
Sign up

676 publication results matching 'algebraic specification'

Share-where maintenance in visual algebraic specifications
… Algebraic specifications whose signatures (abstract-syntax) have a mapping … in terms of these pictures are introduced as visual algebraic specifications … representations. As is usual for algebraic specifications, we use term rewriting …
Dinesh, T., Susan Uskudarli. In Advances in Computing Science ? ASIAN'97. Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, 1997. [doi]
Combinatory Algebraic Specification & Compilation of List Matching
… to term rewrite systems without lists is described by means of an algebraic specification. To make as much of the specification reusable the specification is written in a style called {\em Combinatory Algebraic Specification …
Eelco Visser. Master's thesis, Department of Computer Science, University of Amsterdam, Amsterdam, June 1993.
Algebraic SpecificationMartin Wirsing. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B). pages 675-788, 1990.
Algebraic SpecificationHartmut Ehrig. In Grzegorz Rozenberg, Arto Salomaa, editors, Current Trends in Theoretical Computer Science - Essays and Tutorials. Volume 40 of World Scientific Series in Computer Science, pages 49-50, World Scientific, 1993. [doi]
Specification: Algebraic SpecificationThomas Grünler. prospectra 1993: 35-53
Hybrid Implementations of Algebraic SpecificationsH. R. Walters. icalp 1990: 40-54
Suggestions on the Interpretation of Algebraic SpecificationsKlaus-Peter Hasler, Hans-Jörg Kreowski, Michael Löwe, Michaela Reisin. adt 1983:
Topological Methods for Algebraic SpecificationKarl Meinke. TCS, 166(1&2):263-290, 1996. [doi]
Topological Methods for Algebraic SpecificationKarl Meinke. compass 1995: 368-388
Modular Algebraic SpecificationsHorst Hansen, Michael Löwe. icalp 1988: 168-179
Complexity of Algebraic SpecificationRamesh Subrahmanyam. fsttcs 1990: 33-37
Operational Aspects of Algebraic SpecificationsHans-Dieter Ehrich. adt 1982:
Bounded Implementation of Algebraic SpecificationsMichael Breu. compass 1993: 181-198
Recursive Algebraic Specifications and their SemanticsAnne Elisabeth Haxthausen. ifip 1989: 607-612
Algebraic Specification at WorkEgidio Astesiano, Alessandro Giovini, Franco Morando, Gianna Reggio. amast 1992: 26-42
Algebraic Specification of ConcurrencyEgidio Astesiano, Gianna Reggio. compass 1993: 1-39
On the Algebraic Specification of Concurrency and CommunicationJean-Pierre Finance, M. S. Ouerghi. icpp 1983: 281-288
On the Algebraic Specification of DomainsBernhard Möller, Walter Dosch. adt 1985: 178-195
Procedural Implementation of Algebraic SpecificationHuimin Lin. TOPLAS, 15(5):876-895, 1993. [doi]
Slicing algebraic specificationsMartin R. Woodward, Stephen P. Allen. INFSOF, 40(2):105-118, 1998. [doi]

Sign in or sign up to see more results.

runs on WebDSL