Skip to main content
SpringerLink
Log in

Algebraic Methodology and Software Technology

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

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. José Meseguer
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Grigore Roşu
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: AMAST 2008.

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (31 papers)

  1. Front Matter

    Download chapter PDF

  2. Marrying Words and Trees

    • Rajeev Alur
    Pages 1-1

  3. Simulation Using Orchestration

    • David Kitchin, Evan Powell, Jayadev Misra
    Pages 2-15

  4. Liberate Computer User from Programming

    • Teodor Rus
    Pages 16-35

  5. An Algebra for Features and Feature Composition

    • Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner
    Pages 36-50

  6. Petri Nets Are Dioids

    • Paolo Baldan, Fabio Gadducci
    Pages 51-66

  7. Towards an Efficient Implementation of Tree Automata Completion

    • Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau
    Pages 67-82

  8. Calculating Invariants as Coreflexive Bisimulations

    • Luís S. Barbosa, José N. Oliveira, Alexandra Silva
    Pages 83-99

  9. Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines

    • Roberto Bruni, Leonardo Gaetano Mezzina
    Pages 100-115

  10. A Declarative Debugger for Maude

    • Adrian Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
    Pages 116-121

  11. Long-Run Cost Analysis by Approximation of Linear Operators over Dioids

    • David Cachera, Thomas Jensen, Arnaud Jobin, Pascal Sotin
    Pages 122-138

  12. Towards Validating a Platoon of Cristal Vehicles Using CSP||B

    • Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
    Pages 139-144

  13. Explaining Verification Conditions

    • Ewen Denney, Bernd Fischer
    Pages 145-159

  14. Towards Formal Verification of ToolBus Scripts

    • Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko
    Pages 160-166

  15. A Formal Analysis of Complex Type Flaw Attacks on Security Protocols

    • Han Gao, Chiara Bodei, Pierpaolo Degano
    Pages 167-183

  16. Abstract Interpretation Plugins for Type Systems

    • Tobias Gedell, Daniel Hedin
    Pages 184-198

  17. Separation Logic Contracts for a Java-Like Language with Fork/Join

    • Christian Haack, Clément Hurlin
    Pages 199-215

  18. An Algebraic Semantics for Contract-Based Software Components

    • Michel Bidoit, Rolf Hennicker
    Pages 216-231

  19. Implementing a Categorical Information System

    • Michael Johnson, Robert Rosebrugh
    Pages 232-237

  20. Constant Complements, Reversibility and Universal View Updates

    • Michael Johnson, Robert Rosebrugh
    Pages 238-252
Back to top

Other volumes

  1. Algebraic Methodology and Software Technology

Keywords

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation