Peter D. Mosses - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged algebraic specification

Implicit Propagation in Structural Operational SemanticsPeter D. Mosses, Mark J. New. ENTCS, 229(4):49-66, 2009. [doi]

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]

Casl User Manual - Introduction to Using the Common Algebraic Specification LanguageMichel Bidoit, Peter D. Mosses. Volume 2900 of Lecture Notes in Computer Science, Springer, 2004.

CASL Reference Manual, The Complete Documentation of the Common Algebraic Specification LanguagePeter D. Mosses. Volume 2960 of Lecture Notes in Computer Science, Springer, 2004.

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]

CASL: the Common Algebraic Specification LanguageEgidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki. TCS, 286(2):153-196, 2002.

CoFI: The Common Framework Initiative for Algebraic Specification and DevelopmentPeter D. Mosses. In Current Trends in Theoretical Computer Science. pages 153-163, 2001.

Algebraic Specifications, Higher-order Types and Set-theoretic ModelsHélène Kirchner, Peter D. Mosses. logcom, 11(3):453-481, 2001. [doi]

Algebraic Specifications, Higher-Order Types, and Set-Theoretic ModelsHélène Kirchner, Peter D. Mosses. amast 1999: 373-388 [doi]

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

CoFI: The Common Framework Initiative for Algebraic Specification and DevelopmentPeter D. Mosses. tapsoft 1997: 115-137

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

CoFI: The Common Framework Initiative for Algebraic SpecificationPeter D. Mosses. eatcs, 59, 1996.

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.

Combining Algebraic and Set-Theoretic SpecificationsClaus Hintermeier, Hélène Kirchner, Peter D. Mosses. compass 1996: 255-273

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

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

The Use of Sorts in Algebraic SpecificationsPeter D. Mosses. compass 1993: 66-92

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

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

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