Guido Wachsmuth - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged algebraic specification

Algebraic Specification and Program Synthesis for Computing Hilbert Space-Filling Curve IndicesChih-Sheng Chen, Min-Hsuan Fan, Chua-Huang Huang. ipcv 2007: 256-262

Algebraic Specification and Coalgebraic Synthesis of Mealy AutomataJan J. M. M. Rutten. ENTCS, 160:305-319, 2006. [doi]

Detection of metamorphic computer viruses using algebraic specificationMatt Webster, Grant Malcolm. virology, 2(3):149-161, 2006. [doi]

Application and Formal Specification of Sorted Term-Position AlgebrasArnd Poetzsch-Heffter, Nicole Rauch. WADT 2004: 201-217 [doi]

Predicate and Relation Lifting for Parametric Algebraic SpecificationsHendrik Tews. ENTCS, 106:335-353, 2004. [doi]

Transformation of SDF syntax definitions in the ASF+SDF Meta-EnvironmentRalf Lämmel, Guido Wachsmuth. ENTCS, 44(2):9-33, 2001. [doi]

The Common Framework Initiative for Algebraic Specification and Development of Software: Recent ProgressDonald Sannella. WADT 2001: 328-344 [doi]

CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASLGianna Reggio, Lorenzo Repetto. amast 2000: 243-257 [doi]

The Common Framework Initiative for Algebraic Specification and Development of SoftwareDonald Sannella. ershov 2000: 1-9 [doi]

On the Power of Quantifers in First-Order Algebraic SpecificationDavid Kempe, Arno Schöegge. csl 1999: 45-57

Generating an Algebraic Specification from an ER-ModelErnst-Erich Doberkat. ijseke, 7(4):525-552, 1997. [doi]

Parameterised Higher-Order Algebraic SpecificationsL. J. Steggles. icalp 1997: 76-98

Membership algebra as a logical framework for equational specificationJosé Meseguer. WADT 1997: 18-61

Order-Sorted Algebraic Specifications with Higher-Order FunctionsAnne Elisabeth Haxthausen. TCS, 183(2):157-185, 1997. [doi]

Tool Support for Algebraic Specifications of Dat in SDL-92Nikolai Mansurov, Alexei S. Ragozin, Andrew V. Chernov, I. V. Mansurov. forte 1996: 61-76

Topological Methods for Algebraic SpecificationKarl Meinke. TCS, 166(1&2):263-290, 1996. [doi]

::::InterACT::::: An Interactive Theorem Prover for Algebraic SpecificationsRobert Geisler, Marcus Klar, Felix Cornelius. amast 1996: 563-566

On the Power of Higher-Order Algebraic Specification MethodsPiotr Kosiuczenko, Karl Meinke. iandc, 124(1):85-101, 1996.

Non-Strict Don t Care Algebras and SpecificationsEgidio Astesiano, Maura Cerioli. mscs, 6(1):85-125, 1996.

Pushouts of Order-Sorted Algebraic SpecificationsAnne Elisabeth Haxthausen, Friederike Nickl. amast 1996: 132-147

Algebraic Specifications and Sequencing: A Defect Detection MethodKurt M. Olender, James M. Bieman. stvr, 5(1):49-70, 1995.

Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission CaseEva Coscia, Gianna Reggio. compass 1996: 161-181

Order-sorted Algebraic Specifications with Higher-order FunctionsAnne Elisabeth Haxthausen. amast 1995: 133-151

Another Look at Parameterization for Order-Sorted Algebraic SpecificationsZhenyu Qian. jcss, 49(3):620-666, 1994.

A Recursive Second Order Initial Algebra Specification of Primitive RecursionKarl Meinke. ACTA, 31(4):329-340, 1994.

Topological Methods for Algebraic SpecificationKarl Meinke. compass 1995: 368-388

ATLAS: A Typed Language for Algebraic SpecificationB. M. Hearn, Karl Meinke. hoa 1994: 146-168

A Formalism for the Specification of Essentially Algebraic Structures in 2-CategoriesA. John Power, Charles Wells. mscs, 2(1):1-28, 1992.

Implementing Higher-Order Functions in an Algebraic Specification Language with NarrowingBernhard Reus. plilp 1992: 483-484

Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent SystemsAlessandro Giovini, Franco Morando, Antonio Capani. icalp 1992: 335-349

Towards a Theory for the Animation of Algebraic SpecificationCatharina Rieckhoff. compass 1994: 310-320

ACT TWO: An Algebraic Module Specification and Interconnection LanguageWerner Fey. amast 1992: 187-200

Non-Strict Don t Care Algebras and SpecificationsEgidio Astesiano, Maura Cerioli. tapsoft 1991: 121-142

Bounded Implementation of Algebraic SpecificationsMichael Breu. compass 1993: 181-198

Algebraic Specification at WorkEgidio Astesiano, Alessandro Giovini, Franco Morando, Gianna Reggio. amast 1992: 26-42

Hybrid Implementations of Algebraic SpecificationsH. R. Walters. icalp 1990: 40-54

Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and ResultsHans-Jörg Kreowski, Zhenyu Qian. STACS 1990: 165-175

Complexity of Algebraic SpecificationRamesh Subrahmanyam. fsttcs 1990: 33-37

An Algebraic Specification of Method Combination for the Common Lisp Object SystemWalter G. Olthoff, James Kempf. lisp, 2(2):115-152, 1989.

Prototyping Non-Deterministic Algebraic Specifications using the RAP SystemHeinrich Hußmann. WADT 1988:

Modular Algebraic Specification of Some Basic Geometrical ConstructionsJoseph A. Goguen. ai, 37(1-3):123-153, 1988.

Modular Algebraic SpecificationsHorst Hansen, Michael Löwe. icalp 1988: 168-179

Revised ACT ONE: Categorical Constructions for an Algebraic Specification LanguageIngo Claßen. category 1989: 124-141

How to Make Algebraic Specifications More Understandable?Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin. am 1989: 31-67

From Algebraic Specifications towards Algebraic ProgramsHorst Hansen. adt 1986:

Algebraic Specification of Synchronisation and Errors: A Telephonic ExampleBrigitte Biebow, Jacques Hagelstein. tapsoft 1985: 294-308

Combining Algebraic and Predicative Specifications in LarchJames J. Horning. tapsoft 1985: 12-26

A Contructive Method for Abstract Algebraic Software SpecificationHerbert Klaeren. TCS, 30:139-204, 1984.

Suggestions on the Interpretation of Algebraic SpecificationsKlaus-Peter Hasler, Hans-Jörg Kreowski, Michael Löwe, Michaela Reisin. adt 1983:

Operational Aspects of Algebraic SpecificationsHans-Dieter Ehrich. adt 1982:

runs on WebDSL