Algebraic Methodology and Software Technology

1. Front Matter

   PDF

2. Invited Talks

   1. Incremental Software Construction with Refinement Diagrams

      • Ralph-Johan Back

      Pages 1-1

   2. Recursive Program Schemes: Past, Present, and Future

      • Lawrence S. Moss

      Pages 2-2

   3. Monad-Based Logics for Computational Effects

      • Till Mossakowski

      Pages 3-4

3. Contributed Papers

   1. State Space Representation for Verification of Open Systems

      • Irem Aktug, Dilian Gurov

      Pages 5-20

   2. Data Movement Optimisation in Point-Free Form

      • Brad Alexander, Andrew Wendelborn

      Pages 21-35

   3. Measuring the Speed of Information Leakage in Mobile Processes

      • Benjamin Aziz

      Pages 36-50

   4. Formal Islands

      • Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau

      Pages 51-65

   5. Some Programming Languages for Logspace and Ptime

      • Guillaume Bonfante

      Pages 66-80

   6. Opaque Predicates Detection by Abstract Interpretation

      • Mila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi

      Pages 81-95

   7. DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications

      • Matteo Dell’Amico, Maura Cerioli

      Pages 96-110

   8. Model Transformations Incorporating Multiple Views

      • John Derrick, Heike Wehrheim

      Pages 111-126

   9. Hyperfinite Approximations to Labeled Markov Transition Systems

      • Ernst-Erich Doberkat

      Pages 127-141

   10. State Space Reduction of Rewrite Theories Using Invisible Transitions

       • Azadeh Farzan, José Meseguer

       Pages 142-157

   11. The Essence of Multitasking

       • William L. Harrison

       Pages 158-172

   12. The Substitution Vanishes

       • Armin Kühnemann, Andreas Maletti

       Pages 173-188

   13. Decomposing Interactions

       • Juliana Küster Filipe Bowles

       Pages 189-203

   14. Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues

       • Tristan Le Gall, Bertrand Jeannet, Thierry Jéron

       Pages 204-219

   15. Assessing the Expressivity of Formal Specification Languages

       • Natalia López, Manuel Núñez, Ismael Rodríguez

       Pages 220-234

   16. Fork Algebras as a Sufficiently Rich Universal Institution

       • Carlos G. Lopez Pombo, Marcelo F. Frias

       Pages 235-247

This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The ?rst conference was held in the USA in 1989, and since then AMAST conferences have been held on (or near) ?ve di?erent continents and have been hosted by many of the most prominent people and organizations in the ?eld. The AMAST initiative has always sought to have practical e?ects by dev- oping the science of software and basing it on a ?rm mathematical foundation. AMAST hasinterpretedsoftwaretechnologybroadly,andhas, for example, held AMAST workshops in areas as diverse as real-time systems and (natural) l- guage processing. Similarly, algebraic methodology is interpreted broadly and includes abstract algebra, category theory, logic, and a range of other ma- ematical subdisciplines. The truly distinguishing feature of AMAST is that it seeks rigorous mathematical developments, but always strives to link them to real technological applications. Our meetings frequently include industry-based participants and are a rare opportunity for mathematicians and mathema- callymindedacademicstointeracttechnicallywithindustry-basedtechnologists. Over the years AMAST has included industrial participants from organizations specializing in safety-critical (including medical) systems, transport (including aerospace), and security-critical systems, amongst others.

• Unified Modeling Language (UML)
• abstract state machines
• algebraic methods
• algebraic specification
• communication
• correct software design
• formal methods
• formal specification
• formal verification
• logic
• mathematical software construction
• model checking
• program
• programming language
• semantics

• Department of Computer Science, Macquarie University,  

  Michael Johnson

• Dept. of Computer Science, Univ. of Tartu, Tartu, Estonia

  Varmo Vene

Policies and ethics