Maximal and Compositional Pattern-Based Loop Invariants - Definitions and Proofs - Archive ouverte HAL
Rapport (Rapport De Recherche) Année : 2012

Maximal and Compositional Pattern-Based Loop Invariants - Definitions and Proofs

Pierre Courtieu
Centre d'études et de recherche en informatique et communications
CV
Maria-Virginia Aponte
Centre d'études et de recherche en informatique et communications
Marc Sango
  • Fonction : Auteur
  • PersonId : 964681
Centre d'études et de recherche en informatique et communications
Yannick Moy
  • Fonction : Auteur
  • PersonId : 964682

Résumé

This is a companion paper of "Maximal and Compositional Pattern-Based Loop Invariants", by the same authors, currently accepted under condition to FM 2012. It provides nude definitions and proofs that could not fit in the 15 pages of the original paper.

Domaines

Informatique [cs] Langage de programmation [cs.PL]

Laboratoire CEDRIC  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01126139

Soumis le : vendredi 6 mars 2015-11:42:55

Dernière modification le : vendredi 19 juillet 2024-11:38:04

Fichier non déposé

Dates et versions

hal-01126139 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01126139 , version 1

Citer

Pierre Courtieu, Maria-Virginia Aponte, Marc Sango, Yannick Moy. Maximal and Compositional Pattern-Based Loop Invariants - Definitions and Proofs. [Research Report] CEDRIC-12-2555, CEDRIC Lab/CNAM. 2012. ⟨hal-01126139⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNAM LARA CEDRIC-CNAM HESAM
57 Consultations
0 Téléchargements

Partager

More