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
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

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-642-17796-5
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-17795-8
  • Online ISBN 978-3-642-17796-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book