Algebraic Methodology and Software Technology

12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

  • Editors
  • José Meseguer
  • Grigore Roşu
Conference proceedings AMAST 2008

DOI: 10.1007/978-3-540-79980-1

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

Table of contents (31 papers)

  1. Front Matter
  2. Rajeev Alur
    Pages 1-1
  3. David Kitchin, Evan Powell, Jayadev Misra
    Pages 2-15
  4. Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner
    Pages 36-50
  5. Paolo Baldan, Fabio Gadducci
    Pages 51-66
  6. Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau
    Pages 67-82
  7. Luís S. Barbosa, José N. Oliveira, Alexandra Silva
    Pages 83-99
  8. Roberto Bruni, Leonardo Gaetano Mezzina
    Pages 100-115
  9. Adrian Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
    Pages 116-121
  10. David Cachera, Thomas Jensen, Arnaud Jobin, Pascal Sotin
    Pages 122-138
  11. Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
    Pages 139-144
  12. Ewen Denney, Bernd Fischer
    Pages 145-159
  13. Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko
    Pages 160-166
  14. Han Gao, Chiara Bodei, Pierpaolo Degano
    Pages 167-183
  15. Tobias Gedell, Daniel Hedin
    Pages 184-198
  16. Christian Haack, Clément Hurlin
    Pages 199-215
  17. Michel Bidoit, Rolf Hennicker
    Pages 216-231
  18. Michael Johnson, Robert Rosebrugh
    Pages 232-237
  19. Michael Johnson, Robert Rosebrugh
    Pages 238-252

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008.

The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all current issues in formal methods related to algebraic and logical foundations, software technology, and to programming methodology including concurrent and reactive systems, evolutionary software/adaptive systems, logic and functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, programming calculi, specification languages and tools, formal specification and development case studies, logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, coinduction, theorem proving and logical frameworks for reasoning, logics of programs, as well as algebra and coalgebra.

Keywords

Constraint evolution formal method formal specification functional programming logic object programming proving structured analysis theorem proving verification

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-79979-5
  • Online ISBN 978-3-540-79980-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349