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

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

Table of contents

  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
  20. Jiho Kim
    Pages 253-267
  21. Jasen Markovski, Erik P. de Vink
    Pages 268-283
  22. Stefan Maus, Michał Moskal, Wolfram Schulte
    Pages 284-298
  23. Dusko Pavlovic, Peter Pepper, Doug Smith
    Pages 299-314
  24. Kurt Stenzel, Holger Grandy, Wolfgang Reif
    Pages 315-329
  25. Jules Desharnais, Georg Struth
    Pages 330-345
  26. K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu
    Pages 346-361
  27. Simone Tini
    Pages 362-376
  28. Syrine Tlili, Zhenrong Yang, Hai Zhou Ling, Mourad Debbabi
    Pages 377-391
  29. M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder
    Pages 392-406
  30. Yevgen Voronenko, Franz Franchetti, Frédéric de Mesmay, Markus Püschel
    Pages 407-412
  31. Thuy Duong Vu, Li Zhang, Chris Jesshope
    Pages 413-429
  32. Back Matter

About these proceedings


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.


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

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-79979-5
  • Online ISBN 978-3-540-79980-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment