Abstract Semantic Diffing of Evolving Concurrent Programs - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2017

Abstract Semantic Diffing of Evolving Concurrent Programs

Domaines

Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
sas2017.pdf (406.23 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Constantin Enea  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01943943

Soumis le : mardi 4 décembre 2018-11:55:15

Dernière modification le : vendredi 24 mars 2023-14:53:08

Télécharger pour visualiser

Dates et versions

hal-01943943 , version 1 (04-12-2018)
hal-01943943 , version 2 (04-03-2022)

Identifiants

  • HAL Id : hal-01943943 , version 1

Citer

Ahmed Bouajjani, Constantin Enea, Shuvendu Lahiri. Abstract Semantic Diffing of Evolving Concurrent Programs. International Static Analysis Symposium, pp.46-65, 2017. ⟨hal-01943943v1⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
19 Consultations
148 Téléchargements

Partager

Gmail Facebook X LinkedIn More