Algebraic Methodology And Software Technology

Hélène Kirchner (1) , Christophe Ringeissen (1)

1 PROTHEO - Constraints, automatic deduction and software properties proofs

This book constitutes the refereed proceedings of the 9th International Conference on Algebraic Methodology and Software Technology, AMAST 2002, held in Saint-Gilles-les-Bains, Reunion Island, France in September 2002. The 26 revised full papers presented together with 6 invited papers and 2 system descriptions were carefully reviewed and selected from 59 submissions.

Mots clés: programming methodology; algebraic and logical foundations; technologie du logiciel; software technology; méthodologie de la programmation; fondements algébriques et logiques

Domaines: Autre [cs.OH]

Hélène Kirchner, Christophe Ringeissen. Algebraic Methodology And Software Technology. 9th International Conference on Algebraic Methodology And Software Technology - AMAST'2002, Sep 2002, Saint-Gilles-les-Bains, Reunion Island, France, XI-501 p. ⟨inria-00100866⟩