ISBN-10:
3642177956
ISBN-13:
9783642177958
Pub. Date:
03/11/2011
Publisher:
Springer Berlin Heidelberg
Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers / Edition 1

Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers / Edition 1

by Michael Johnson, Dusko Pavlovic

Paperback

Current price is , Original price is $89.99. You

Temporarily Out of Stock Online

Please check back later for updated availability.

Product Details

ISBN-13: 9783642177958
Publisher: Springer Berlin Heidelberg
Publication date: 03/11/2011
Series: Lecture Notes in Computer Science , #6486
Edition description: 2011
Pages: 238
Product dimensions: 0.00(w) x 0.00(h) x 0.02(d)

Table of Contents

Part 1 Invited Paper

Structural Analysis for Stochastic Process Algebra Models (Invited Talk) Jie Ding Jane Hillston 1

Part 2 Contributed Research Papers

Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra Claude Bolduc Béchir Ktari 28

On the Expressiveness of the π-Calculus and the Mobile Ambients Linda Brodo 44

Integrating Maude into Hets Mihai Codescu Till Mossakowski Adrián Riesco Christian Maeder 60

Model Refinement Using Bisimulation Quotients Roland Glück Bernhard Möller Michel Sintzoff 76

Type Fusion Ralf Hinze 92

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming Ekaterina Komendantskaya Guy McCusker John Power 111

Learning in a Changing World, an Algebraic Modal Logical Approach Prakash Panangaden Mehrnoosh Sadrzadeh 128

Matching Logic: An Alternative to Hoare/Floyd Logic Grigore Rosu Chucky Ellison Wolfram Schulte 142

Program Calculation in Coq Julien Tesson Hideki Hashimoto Zhenjiang Hu Frédéric Loulergue Masato Takeichi 163

Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming Rafael del Vado Vírseda 180

Part 3 System Demonstrations

Proving Termination Properties with MU-TERM Beatriz Alarcón Raúl Gutiérrez Salvador Lucas Rafael Navarro-Marset 201

BAL Tool in Flexible Manufacturing Systems Diego Pérez Leándrez M. Carmen Ruiz J. Jose Pardo Diego Cazorla 209

A Complete Declarative Debugger for Maude Adrián Riesco Alberto Verdejo Narciso Martí-Oliet 216

An Assume Guarantee Approach for Checking Quantified Array Assertions Mohamed Nassim Seghir 226

Author Index 237

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews