Recent Trends in Algebraic Development Techniques

14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

  • Didier Bert
  • Christine Choppy
  • Peter D. Mosses
Conference proceedings WADT 1999

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

Table of contents

  1. Front Matter
  2. Invited Topics

    1. Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll
      Pages 1-21
    2. Manfred Broy
      Pages 22-36
    3. Natarajan Shankar, Sam Owre
      Pages 37-52
  3. Casl: Language, Methodology and Tools

    1. Davide Ancona, Maura Cerioli, Elena Zucca
      Pages 53-72
    2. Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
      Pages 73-88
    3. Mark G. J. van der Brand, Jeroen Scheerder
      Pages 89-105
    4. Till Mossakowski, Anne Haxthausen, Bernd Krieg-Brückner
      Pages 126-145
    5. Markus Roggenbach, Lutz Schröder, Till Mossakowski
      Pages 146-161
  4. Foundations

    1. Yoshiki Kinoshita, John Power
      Pages 201-218
    2. Hugo Lourenço, Amílcar Sernadas
      Pages 219-236
    3. Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
      Pages 237-251
    4. Fernando Orejas, Elvira Pino
      Pages 271-290
  5. Specification of Processes and Interactions

    1. Paolo Baldan, Andrea Corradini, Ugo Montanari
      Pages 291-310
    2. Alexander Letichevsky, David Gilbert
      Pages 311-328
    3. Ataru T. Nakagawa
      Pages 329-347

About these proceedings

Keywords

Abstract Data Types Algebraic Program Development Algebraic Systems Specification Formal Methods Formal Specification Proof Systems Specification Frameworks Term Rewriting Turing logic validation

Editors and affiliations

  • Didier Bert
    • 1
  • Christine Choppy
    • 2
  • Peter D. Mosses
    • 3
  1. 1.Laboratoire Logiciels, SystèmesRéseaux - IMAGSaint Martin d’Hères CedexFrance
  2. 2.LIPN, Institut GaliléeUniversité Paris XIIIFrance
  3. 3.Department of Computer ScienceSwansea UniversityUK

Bibliographic information

  • DOI https://doi.org/10.1007/b75154
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67898-4
  • Online ISBN 978-3-540-44616-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book