AMAST

Keyphrases

Publications

volume 6486, 2011

Algebraic Methodology and Software Technology - 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers AMAST 6486 (2011)

2010

Mohamed Nassim Seghir
An Assume Guarantee Approach for Checking Quantified Array Assertions. AMAST (2010)
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
A Complete Declarative Debugger for Maude. AMAST (2010)
Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas, Rafael Navarro-Marset
Proving Termination Properties with mu-term. AMAST (2010)
Ralf Hinze
Type Fusion. AMAST (2010)
Claude Bolduc, Béchir Ktari
Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra. AMAST (2010)
Roland Glück, Bernhard Möller, Michel Sintzoff
Model Refinement Using Bisimulation Quotients. AMAST (2010)
Ekaterina Komendantskaya, Guy McCusker, John Power
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming. AMAST (2010)
Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder
Integrating Maude into Hets. AMAST (2010)
Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi
Program Calculation in Coq. AMAST (2010)
Grigore Rosu, Chucky Ellison, Wolfram Schulte
Matching Logic: An Alternative to Hoare/Floyd Logic. AMAST (2010)
Linda Brodo
-Calculus and the Mobile Ambients. AMAST (2010)
Jie Ding, Jane Hillston
Structural Analysis for Stochastic Process Algebra Models. AMAST (2010)
Prakash Panangaden, Mehrnoosh Sadrzadeh
Learning in a Changing World, an Algebraic Modal Logical Approach. AMAST (2010)
Rafael del Vado Vírseda
Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming. AMAST (2010)
Diego Pérez Leándrez, M. Carmen Ruiz, Juan José Pardo, Diego Cazorla
BAL Tool in Flexible Manufacturing Systems. AMAST (2010)