default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13. AMAST 2010: Lac-Beauport, QC, Canada
- Michael Johnson
, Dusko Pavlovic:
Algebraic Methodology and Software Technology - 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6486, Springer 2011, ISBN 978-3-642-17795-8
Invited Paper
- Jie Ding, Jane Hillston:
Structural Analysis for Stochastic Process Algebra Models. 1-27
Contributed Research Papers
- Claude Bolduc, Béchir Ktari:
Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra. 28-43 - Linda Brodo:
On the Expressiveness of the pi-Calculus and the Mobile Ambients. 44-59 - Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder:
Integrating Maude into Hets. 60-75 - Roland Glück, Bernhard Möller, Michel Sintzoff:
Model Refinement Using Bisimulation Quotients. 76-91 - Ralf Hinze:
Type Fusion. 92-110 - Ekaterina Komendantskaya, Guy McCusker, John Power:
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming. 111-127 - Prakash Panangaden, Mehrnoosh Sadrzadeh:
Learning in a Changing World, an Algebraic Modal Logical Approach. 128-141 - Grigore Rosu, Chucky Ellison, Wolfram Schulte:
Matching Logic: An Alternative to Hoare/Floyd Logic. 142-162 - Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi:
Program Calculation in Coq. 163-179 - Rafael del Vado Vírseda:
Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming. 180-200
System Demonstrations
- Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas, Rafael Navarro-Marset:
Proving Termination Properties with mu-term. 201-208 - Diego Pérez Leándrez, M. Carmen Ruiz, Juan José Pardo, Diego Cazorla:
BAL Tool in Flexible Manufacturing Systems. 209-215 - Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet:
A Complete Declarative Debugger for Maude. 216-225 - Mohamed Nassim Seghir:
An Assume Guarantee Approach for Checking Quantified Array Assertions. 226-235
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-25 20:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
