Towards Modular Algebraic Specifications for Pointer Programs: a Case Study - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2007

Towards Modular Algebraic Specifications for Pointer Programs: a Case Study

No file

Dates and versions

inria-00431399 , version 1 (12-11-2009)

Identifiers

  • HAL Id : inria-00431399 , version 1

Cite

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⟩
40 View
0 Download

Share

Gmail Facebook X LinkedIn More