Skip to Main content Skip to Navigation
Book sections

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
Document type :
Book sections
Complete list of metadata
https://hal.inria.fr/inria-00431399
Contributor : Claude Marché Connect in order to contact the contributor
Submitted on : Thursday, November 12, 2009 - 10:52:25 AM
Last modification on : Thursday, July 8, 2021 - 3:47:59 AM

Identifiers

  • HAL Id : inria-00431399, version 1

Collections

CNRS | INRIA | UMR8623 | EC-PARIS

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

164

 

Contact                    Legal Notice                    Personal Data