Skip to main content
  • Conference proceedings
  • © 2008

Algebraic Methodology and Software Technology

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

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): AMAST: International Conference on Algebraic Methodology and Software Technology

Conference proceedings info: AMAST 2008.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (31 papers)

  1. Front Matter

  2. Marrying Words and Trees

    • Rajeev Alur
    Pages 1-1
  3. Simulation Using Orchestration

    • David Kitchin, Evan Powell, Jayadev Misra
    Pages 2-15
  4. An Algebra for Features and Feature Composition

    • Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner
    Pages 36-50
  5. Petri Nets Are Dioids

    • Paolo Baldan, Fabio Gadducci
    Pages 51-66
  6. Towards an Efficient Implementation of Tree Automata Completion

    • Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau
    Pages 67-82
  7. Calculating Invariants as Coreflexive Bisimulations

    • Luís S. Barbosa, José N. Oliveira, Alexandra Silva
    Pages 83-99
  8. Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines

    • Roberto Bruni, Leonardo Gaetano Mezzina
    Pages 100-115
  9. A Declarative Debugger for Maude

    • Adrian Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
    Pages 116-121
  10. Long-Run Cost Analysis by Approximation of Linear Operators over Dioids

    • David Cachera, Thomas Jensen, Arnaud Jobin, Pascal Sotin
    Pages 122-138
  11. Towards Validating a Platoon of Cristal Vehicles Using CSP||B

    • Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
    Pages 139-144
  12. Explaining Verification Conditions

    • Ewen Denney, Bernd Fischer
    Pages 145-159
  13. Towards Formal Verification of ToolBus Scripts

    • Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko
    Pages 160-166
  14. A Formal Analysis of Complex Type Flaw Attacks on Security Protocols

    • Han Gao, Chiara Bodei, Pierpaolo Degano
    Pages 167-183
  15. Abstract Interpretation Plugins for Type Systems

    • Tobias Gedell, Daniel Hedin
    Pages 184-198
  16. Separation Logic Contracts for a Java-Like Language with Fork/Join

    • Christian Haack, Clément Hurlin
    Pages 199-215
  17. An Algebraic Semantics for Contract-Based Software Components

    • Michel Bidoit, Rolf Hennicker
    Pages 216-231
  18. Implementing a Categorical Information System

    • Michael Johnson, Robert Rosebrugh
    Pages 232-237
  19. Constant Complements, Reversibility and Universal View Updates

    • Michael Johnson, Robert Rosebrugh
    Pages 238-252

Other Volumes

  1. Algebraic Methodology and Software Technology

About this book

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

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions