Towards Modular Algebraic Specifications for Pointer Programs: a Case Study

Claude Marché 1, 2
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 11 janvier 2018 - 06:22:14

Identifiants

  • HAL Id : inria-00431399, version 1

Collections

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〉

Partager

Métriques

Consultations de la notice

105