default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlgebraic Methods 1987: Passau, Germany
- Martin Wirsing, Jan A. Bergstra:
Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]. Lecture Notes in Computer Science 394, Springer 1989, ISBN 3-540-51698-0
Algebraic Specification
- Helmuth Partsch:
Algebraic Specification: A Step Towards Future Software Engineering. 7-30 - Michel Bidoit, Marie-Claude Gaudel, Anne Mauboussin:
How to Make Algebraic Specifications More Understandable?. 31-67 - Herbert Klaeren, Klaus Indermark:
Efficient Implementation of an Algebraic Specification Language. 69-90 - Egidio Astesiano, Alessandro Giovini, Gianna Reggio, Elena Zucca:
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. 91-116 - Horst Reichel:
Software Specification by Behavioural Canons. 117-138
The Design Language COLD
- H. B. M. Jonkers:
An Introduction to COLD-K. 139-205 - W. E. Baats, Loe M. G. Feijs, J. H. A. Gelissen:
A Formal Specifications of INGRES. 207-245 - C. P. J. Koymanns, Gerard R. Renardel de Lavalette:
The Logic MPLomega. 247-282 - H. B. M. Jonkers:
Description Algebra. 283-306 - Loe M. G. Feijs:
The Calculus lambda-pi. 307-330
Rapid Prototyping with Algebraic Specification
- Heinrich Hußmann, Alfons Geser:
The RAP System as a Tool for Testing COLD Specifications. 331-345 - Alfons Geser:
A Specification of the intel 8085 Microprocessor: A Case Study. 347-401 - Heinrich Hußmann, Christian Rank:
Specification and Prototyping of a Compiler for a Small Applicative Language. 403-418 - Luigi Lavazza, Stefano Crespi-Reghizzi:
Algebraic ADT Specifications of an Extended Relational Algebra and their Conversion into a Working Prototype. 419-446
An Algebraic Approach to Concurrency
- Jan A. Bergstra, Jan Willem Klop:
ACTtau: A Universal Axiom System for Process Specification. 447-463 - Rob J. van Glabbeek, Frits W. Vaandrager:
Modular Specifications in Process Algebra with Curious Queues. 465-506 - Sjouke Mauw
:
An Algebraic Specification of Process Algebra, Including Two Examples. 507-554
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-29 00:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
