Algebraic Methodology and Software Technology

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

  • Michael Johnson
  • Dusko Pavlovic
Conference proceedings AMAST 2010

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6486)

Table of contents

  1. Front Matter
  2. Part 1. Invited Paper

  3. Part 2. Contributed Research Papers

    1. Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder
      Pages 60-75
    2. Roland Glück, Bernhard Möller, Michel Sintzoff
      Pages 76-91
    3. Ralf Hinze
      Pages 92-110
    4. Ekaterina Komendantskaya, Guy McCusker, John Power
      Pages 111-127
    5. Prakash Panangaden, Mehrnoosh Sadrzadeh
      Pages 128-141
    6. Grigore Roşu, Chucky Ellison, Wolfram Schulte
      Pages 142-162
    7. Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi
      Pages 163-179
  4. Part 3. System Demonstrations

    1. Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas, Rafael Navarro-Marset
      Pages 201-208
    2. Diego Pérez Leándrez, M. Carmen Ruiz, J. Jose Pardo, Diego Cazorla
      Pages 209-215
    3. Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
      Pages 216-225
  5. Back Matter

About these proceedings


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.


computer algebra constraint programming correctness formal languages formal methods functional programming logic programming requirements engineering software architecture software engineering software portability software validation software verification theorem proving web programming

Editors and affiliations

  • Michael Johnson
    • 1
  • Dusko Pavlovic
    • 2
  1. 1.Macquarie UniversitySydneyAustralia
  2. 2.University of OxfordOxfordUK

Bibliographic information