Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Algebraic Methodology and Software Technology

13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Michael Johnson

    1. Macquarie University, Sydney, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dusko Pavlovic

    1. University of Oxford, Oxford, UK

    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 6486)

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

Included in the following conference series:

Conference proceedings info: AMAST 2010.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

About this book

This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010.

The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations.

Similar content being viewed by others

Keywords

Table of contents (15 papers)

  1. Front Matter

    Download chapter PDF

  2. Part 1. Invited Paper

    1. Structural Analysis for Stochastic Process Algebra Models

      • Jie Ding, Jane Hillston
      Pages 1-27

  3. Part 2. Contributed Research Papers

    1. Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra

      • Claude Bolduc, Béchir Ktari
      Pages 28-43

    2. On the Expressiveness of the π-Calculus and the Mobile Ambients

      • Linda Brodo
      Pages 44-59

    3. Integrating Maude into Hets

      • Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder
      Pages 60-75

    4. Model Refinement Using Bisimulation Quotients

      • Roland Glück, Bernhard Möller, Michel Sintzoff
      Pages 76-91

    5. Type Fusion

      • Ralf Hinze
      Pages 92-110

    6. Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

      • Ekaterina Komendantskaya, Guy McCusker, John Power
      Pages 111-127

    7. Learning in a Changing World, an Algebraic Modal Logical Approach

      • Prakash Panangaden, Mehrnoosh Sadrzadeh
      Pages 128-141

    8. Matching Logic: An Alternative to Hoare/Floyd Logic

      • Grigore RoÅŸu, Chucky Ellison, Wolfram Schulte
      Pages 142-162

    9. Program Calculation in Coq

      • Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi
      Pages 163-179

    10. Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming

      • Rafael del Vado Vírseda
      Pages 180-200

  4. Part 3. System Demonstrations

    1. Proving Termination Properties with mu-term

      • Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas, Rafael Navarro-Marset
      Pages 201-208

    2. BAL Tool in Flexible Manufacturing Systems

      • Diego Pérez Leándrez, M. Carmen Ruiz, J. Jose Pardo, Diego Cazorla
      Pages 209-215

    3. A Complete Declarative Debugger for Maude

      • Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
      Pages 216-225

    4. An Assume Guarantee Approach for Checking Quantified Array Assertions

      • Mohamed Nassim Seghir
      Pages 226-235

  5. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Algebraic Methodology and Software Technology

Editors and Affiliations

  • Macquarie University, Sydney, Australia

    Michael Johnson

  • University of Oxford, Oxford, UK

    Dusko Pavlovic

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation