Towards Modular Algebraic Specifications for Pointer Programs: a Case Study - Archive ouverte HAL Access content directly
Book Sections Year : 2007

Towards Modular Algebraic Specifications for Pointer Programs: a Case Study

(1, 2)
1
2
Not 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⟩
39 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More