La logique contre les fantômes: comparaison de deux approches pour la preuve d'un module de listes chaînées * - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Document Associé À Des Manifestations Scientifiques Année : 2019

La logique contre les fantômes: comparaison de deux approches pour la preuve d'un module de listes chaînées *

Domaines

Logique en informatique [cs.LO] Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
main.pdf (88.11 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Frédéric Loulergue  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02317143

Soumis le : mardi 15 octobre 2019-19:41:31

Dernière modification le : mercredi 3 avril 2024-11:14:11

Archivage à long terme le : vendredi 17 janvier 2020-10:55:40

Télécharger pour visualiser

Dates et versions

hal-02317143 , version 1 (15-10-2019)

Identifiants

  • HAL Id : hal-02317143 , version 1

Citer

Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue. La logique contre les fantômes: comparaison de deux approches pour la preuve d'un module de listes chaînées *. 18e journées Approches Formelles dans l'Assistance au Développement de Logic (AFADL), Jun 2019, Toulouse, France. . ⟨hal-02317143⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CEA INRIA UNIV-ORLEANS DRT INRIA2 CEA-UPSAY UNIV-PARIS-SACLAY LIST INSA-GROUPE INSA-CVL GS-ENGINEERING GS-COMPUTER-SCIENCE GS-SPORT-HUMAN-MOVEMENT
46 Consultations
92 Téléchargements

Partager

Gmail Facebook X LinkedIn More