Data Abstraction, Arrays, Maps, and Completeness, aka "Cell Morphing"

David Monniaux

doi:10.4204/EPTCS.402

Communication Dans Un Congrès Année : 2023

Data Abstraction, Arrays, Maps, and Completeness, aka "Cell Morphing"

(1)

1

David Monniaux

Fonction : Auteur
PersonId : 9093
IdHAL : david-monniaux
ORCID : 0000-0001-7671-6126
IdRef : 070681600

VERIMAG

CV

Mots clés

Horn clauses

Domaines

Logique en informatique [cs.LO] Langage de programmation [cs.PL]

Fichier principal

Monniaux_invited_talk.pdf (46.6 Ko)

Origine	Fichiers produits par l'(les) auteur(s)

David Monniaux : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04750127

Soumis le : mercredi 23 octobre 2024-14:14:20

Dernière modification le : samedi 26 octobre 2024-03:05:49

Dates et versions

hal-04750127 , version 1 (23-10-2024)

Licence

Paternité

Identifiants

HAL Id : hal-04750127 , version 1
ARXIV : 2404.13672
DOI : 10.4204/EPTCS.402

Citer

David Monniaux. Data Abstraction, Arrays, Maps, and Completeness, aka "Cell Morphing". 10th Workshop on Horn Clauses for Verification and Synthesis (HCVS), Apr 2023, Paris, France. ⟨10.4204/EPTCS.402⟩. ⟨hal-04750127⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA IMAG CNRS VERIMAG

0 Consultations

0 Téléchargements

Data Abstraction, Arrays, Maps, and Completeness, aka "Cell Morphing"

Mots clés

Domaines

Dates et versions

Licence

Identifiants

Citer

Exporter

Collections

Altmetric

Partager