Treffer: Towards Modular Algebraic Specifications for Pointer Programs: A Case Study.
Title:
Towards Modular Algebraic Specifications for Pointer Programs: A Case Study.
Authors:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Comon-Lundh, Hubert comon@lsv.ens-cachan.fr, Kirchner, Claude Claude.Kirchner@inria.fr, Kirchner, Hélène Helene.Kirchner@loria.fr, Marché, Claude1,2
Source:
Rewriting, Computation & Proof. 2007, p235-258. 24p.
Database:
Supplemental Index
Weitere Informationen
We present on an example the framework currently under development in the Why/Krakatoa/Caduceus platform for proving that a Java or a C program is a correct implementation of some model defined by algebraic specifications, in a modular setting. [ABSTRACT FROM AUTHOR]