Towards Modular Algebraic Specifications for Pointer Programs: a Case Study

Claude Marché 1, 2
1 LRI - Laboratoire de Recherche en Informatique
2 PROVAL - Proof of Programs
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR
Type de document :
Chapitre d'ouvrage
Hubert Comon-Lundh and Claude Kirchner and Hélène Kirchner. Rewriting, Computation and Proof, 4600, Springer, pp.235-258, 2007, lecture notes in computer science
Liste complète des métadonnées
https://hal.inria.fr/inria-00431399
Contributeur : Claude Marché <>
Soumis le : jeudi 12 novembre 2009 - 10:52:25
Dernière modification le : jeudi 5 avril 2018 - 12:30:08

Identifiants

  • HAL Id : inria-00431399, version 1

Collections

INRIA | UMR8623

Citation

Claude Marché. Towards Modular Algebraic Specifications for Pointer Programs: a Case Study. Hubert Comon-Lundh and Claude Kirchner and Hélène Kirchner. Rewriting, Computation and Proof, 4600, Springer, pp.235-258, 2007, lecture notes in computer science. 〈inria-00431399〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

113

Contact


archive-ouverte@inria.fr