default search action

combined dblp search
author search
venue search
publication search

ask others

13. AMAST 2010: Lac-Beauport, QC, Canada

> Home > Conferences and Workshops > AMAST

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/amast/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/2010
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

- view
  authority control:
- export record
  dblp key:
  - conf/amast/DingH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/DingH10
Jie Ding, Jane Hillston:
Structural Analysis for Stochastic Process Algebra Models. 1-27

Contributed Research Papers

- view
  authority control:
- export record
  dblp key:
  - conf/amast/BolducK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/BolducK10
Claude Bolduc, Béchir Ktari:
Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra. 28-43
- view
  authority control:
- export record
  dblp key:
  - conf/amast/Brodo10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/Brodo10
Linda Brodo:
On the Expressiveness of the pi-Calculus and the Mobile Ambients. 44-59
- view
  authority control:
- export record
  dblp key:
  - conf/amast/CodescuMRM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/CodescuMRM10
Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder:
Integrating Maude into Hets. 60-75
- view
  authority control:
- export record
  dblp key:
  - conf/amast/GluckMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/GluckMS10
Roland Glück, Bernhard Möller, Michel Sintzoff:
Model Refinement Using Bisimulation Quotients. 76-91
- view
  authority control:
- export record
  dblp key:
  - conf/amast/Hinze10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/Hinze10
Ralf Hinze:
Type Fusion. 92-110
- view
  authority control:
- export record
  dblp key:
  - conf/amast/KomendantskayaMP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/KomendantskayaMP10
Ekaterina Komendantskaya, Guy McCusker, John Power:
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming. 111-127
- view
  authority control:
- export record
  dblp key:
  - conf/amast/PanangadenS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/PanangadenS10
Prakash Panangaden, Mehrnoosh Sadrzadeh:
Learning in a Changing World, an Algebraic Modal Logical Approach. 128-141
- view
  authority control:
- export record
  dblp key:
  - conf/amast/RosuES10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/RosuES10
Grigore Rosu, Chucky Ellison, Wolfram Schulte:
Matching Logic: An Alternative to Hoare/Floyd Logic. 142-162
- view
  authority control:
- export record
  dblp key:
  - conf/amast/TessonHHLT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/TessonHHLT10
Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi:
Program Calculation in Coq. 163-179
- view
  authority control:
- export record
  dblp key:
  - conf/amast/Virseda10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/Virseda10
Rafael del Vado Vírseda:
Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming. 180-200

System Demonstrations

- view
  authority control:
- export record
  dblp key:
  - conf/amast/AlarconGLN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/AlarconGLN10
Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas, Rafael Navarro-Marset:
Proving Termination Properties with mu-term. 201-208
- view
  authority control:
- export record
  dblp key:
  - conf/amast/LeandrezRPC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/LeandrezRPC10
Diego Pérez Leándrez, M. Carmen Ruiz, Juan José Pardo, Diego Cazorla:
BAL Tool in Flexible Manufacturing Systems. 209-215
- view
  authority control:
- export record
  dblp key:
  - conf/amast/RiescoVM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/RiescoVM10
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet:
A Complete Declarative Debugger for Maude. 216-225
- view
  authority control:
- export record
  dblp key:
  - conf/amast/Seghir10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/Seghir10
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.