Abstract Interpretation and Logic Programming: Festschrift in honor of professor Giorgio Levi

Maurizio Gabbrielli 1 Moreno Falaschi 2 Catuscia Palamidessi 3
1 DISI - Dipartimento di Scienze dell'Informazione [Bologna]
2 DSMI - Department of Mathematics and Computer Science / Dipartimento di Scienze Matematiche e Informatiche "Roberto Magari"
3 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Type de document :
Ouvrage (y compris édition critique et traduction)
Elsevier, 410, pp.4601-4800, 2009, Theoretical Computer Science
Liste complète des métadonnées
https://hal.inria.fr/hal-00772696
Contributeur : Catuscia Palamidessi <>
Soumis le : vendredi 11 janvier 2013 - 02:37:10
Dernière modification le : jeudi 10 mai 2018 - 02:06:38

Identifiants

  • HAL Id : hal-00772696, version 1

Collections

INRIA | LIX | X | PARISTECH | X-LIX | X-DEP-INFO

Citation

Maurizio Gabbrielli, Moreno Falaschi, Catuscia Palamidessi. Abstract Interpretation and Logic Programming: Festschrift in honor of professor Giorgio Levi. Elsevier, 410, pp.4601-4800, 2009, Theoretical Computer Science. 〈hal-00772696〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

320

Contact


archive-ouverte@inria.fr