iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://doi.org/10.1007/BFb0015032
Algebraic Methods: Theory, Tools and Applications | SpringerLink
Skip to main content
Springer Nature Link
Log in

Algebraic Methods: Theory, Tools and Applications

  • Conference proceedings
  • © 1989

Overview

Editors:
  1. Martin Wirsing
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jan A. Bergstra
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 394)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (18 papers)

  1. Front Matter

    Download chapter PDF

  2. Introduction

    • Martin Wirsing, Jan A. Bergstra
    Pages 1-4

  3. Algebraic specification a step towards future software engineering

    • H. Partsch
    Pages 5-30

  4. How to make algebraic specifications more understandable?

    • M. Bidoit, M.-C. Gaudel, A. Mauboussin
    Pages 31-67

  5. Efficient implementation of an algebraic specification language

    • H. Klaeren, K. Indermark
    Pages 69-90

  6. An integrated algebraic approach to the specification of data types, processes and objects

    • E. Astesiano, A. Giovini, G. Reggio, E. Zucca
    Pages 91-116

  7. Software specification by behavioural canons

    • Horst Reichel
    Pages 117-135

  8. An introduction to COLD-K

    • H. B. M. Jonkers
    Pages 137-205

  9. A formal specification of INGRES

    • W. E. Baats, L. M. G. Feijs, J. H. A. Gelissen
    Pages 207-245

  10. The logic MPLω

    • C. P. J. Koymans, G. R. Renardel de Lavalette
    Pages 247-282

  11. Description algebra

    • H. B. M. Jonkers
    Pages 283-305

  12. The calculus λπ

    • L. M. G. Feijs
    Pages 307-328

  13. The RAP system as a tool for testing COLD specifications

    • Heinrich Hussmann, Alfons Geser
    Pages 329-345

  14. A specification of the intel 8085 microprocessor: A case study

    • Alfons Geser
    Pages 347-401

  15. Specification and prototyping of a compiler for a small applicative language

    • Heinrich Hussmann, Christian Rank
    Pages 403-418

  16. Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype

    • L. Lavazza, S. Crespi-Reghizzi
    Pages 419-444

  17. ACPÏ„ a universal axiom system for process specification

    • J. A. Bergstra, J. W. Klop
    Pages 445-463

  18. Modular specifications in process algebra

    • Rob van Glabbeek, Frits Vaandrager
    Pages 465-506

  19. An algebraic specification of process algebra, including two examples

    • S. Mauw
    Pages 507-554

  20. Back Matter

    Download chapter PDF
Back to top

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation