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

  • Maura Cerioli
  • Gianna Reggio
Conference proceedings WADT 2001

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Roswitha Bardohl, Martin Groβe-Rhode, Marta Simeoni
    Pages 1-20
  3. Michel Bidoit, Alexandre Boisseau
    Pages 21-47
  4. C. Caleiro, P. Mateus, J. Ramos, A. Sernadas
    Pages 48-70
  5. J. Félix, H. Lourenço
    Pages 71-84
  6. Maike Gajewsky, Francesco Parisi-Presicce
    Pages 109-127
  7. Piotr Hoffman
    Pages 152-175
  8. Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand
    Pages 176-201
  9. Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro
    Pages 201-220
  10. Till Mossakowski, Bartek Klin
    Pages 221-237
  11. Fernando Orejas, Hartmut Ehrig, Elvira Pino
    Pages 238-255
  12. Wiesław Pawłowski
    Pages 256-279
  13. Iman Poernomo, John N. Crossley, Martin Wirsing
    Pages 280-304
  14. Markus Roggenbach, Lutz Schröder
    Pages 305-327
  15. Back Matter
    Pages 345-345

About these proceedings

Keywords

Algebraic Specification Proof Systems Term Rewriting calculus formal specification modeling proof semantics

Editors and affiliations

  • Maura Cerioli
    • 1
  • Gianna Reggio
    • 1
  1. 1.DISI -Dipartimento e Informatica di Scienze dell’InformazioneUniversità di GenovaGenovaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45645-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43159-6
  • Online ISBN 978-3-540-45645-2
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace