Skip to main content
Springer Nature Link
Log in

Recent Trends in Algebraic Development Techniques

15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Maura Cerioli

    1. DISI -Dipartimento e Informatica di Scienze dell’Informazione, Università di Genova, Genova, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gianna Reggio

    1. DISI -Dipartimento e Informatica di Scienze dell’Informazione, Università di Genova, Genova, Italy

    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 2267)

Included in the following conference series:

Conference proceedings info: WADT 2001.

  • 2853 Accesses

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (16 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Interactive Rule-Based Specification with an Application to Visual Language Definition

    • Roswitha Bardohl, Martin Groβe-Rhode, Marta Simeoni
    Pages 1-20

  3. Algebraic Abstractions

    • Michel Bidoit, Alexandre Boisseau
    Pages 21-47

  4. Combining Logics: Parchments Revisited

    • C. Caleiro, P. Mateus, J. Ramos, A. Sernadas
    Pages 48-70

  5. Canonical Institutions of Behaviour

    • J. Félix, H. Lourenço
    Pages 71-84

  6. The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications

    • Walter Dosch, Sönke Magnussen
    Pages 85-108

  7. On the Compatibility of Model and Model-Class Transformations

    • Maike Gajewsky, Francesco Parisi-Presicce
    Pages 109-127

  8. Verifying a Simple Pipelined Microprocessor Using Maude

    • N. A. Harman
    Pages 128-151

  9. Verifying Architectural Specifications

    • Piotr Hoffman
    Pages 152-175

  10. Geometric Modelling with CASL

    • Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand
    Pages 176-201

  11. A Compositional Approach to Connector Construction

    • Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro
    Pages 201-220

  12. Institution Independent Static Analysis for Casl

    • Till Mossakowski, Bartek Klin
    Pages 221-237

  13. Tight and Loose Semantics for Transformation Systems

    • Fernando Orejas, Hartmut Ehrig, Elvira Pino
    Pages 238-255

  14. Presentations for Abstract Context Institutions

    • Wiesław Pawłowski
    Pages 256-279

  15. Programs, Proofs and Parametrized Specifications

    • Iman Poernomo, John N. Crossley, Martin Wirsing
    Pages 280-304

  16. Towards Trustworthy Specification I: Consistency Checks

    • Markus Roggenbach, Lutz Schröder
    Pages 305-327

  17. The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress

    • Donald Sannella
    Pages 328-343

  18. Back Matter

    Pages 345-345
    Download chapter PDF
Back to top

Other volumes

  1. Recent Trends in Algebraic Development Techniques

Editors and Affiliations

  • DISI -Dipartimento e Informatica di Scienze dell’Informazione, Università di Genova, Genova, Italy

    Maura Cerioli, Gianna Reggio

Bibliographic Information

Publish with us

Policies and ethics

Back to top