Effectively Eliminating Auxiliaries - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

Effectively Eliminating Auxiliaries

Stijn de Gouw
  • Fonction : Auteur
Open Universiteit Nederland [Heerlen]
Jurriaan Rot
  • Fonction : Auteur
  • PersonId : 1003950
Laboratoire de l'Informatique du Parallélisme

Résumé

Auxiliary variables are used in the intermediate steps of a correctness proof to store additional information about the computation. We investigate for which classes of programs auxiliary variables can be avoided in the associated proof system, and give effective translations of proofs whenever this is the case.

Domaines

Logique en informatique [cs.LO]

Jurriaan Rot  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01487943

Soumis le : lundi 13 mars 2017-11:40:27

Dernière modification le : jeudi 11 mai 2023-11:56:10

Fichier non déposé

Dates et versions

hal-01487943 , version 1 (13-03-2017)

Identifiants

Citer

Stijn de Gouw, Jurriaan Rot. Effectively Eliminating Auxiliaries. Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, Apr 2016, Eindhoven, Netherlands. pp.226-241, ⟨10.1007/978-3-319-30734-3_16⟩. ⟨hal-01487943⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 LIP_PLUME LABEX-MILYON UDL ANR
171 Consultations
0 Téléchargements

Altmetric

Partager

More