Skip to Main content Skip to Navigation
Books

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
Document type :
Books
Complete list of metadata
https://hal.inria.fr/hal-00772696
Contributor : Catuscia Palamidessi Connect in order to contact the contributor
Submitted on : Friday, January 11, 2013 - 2:37:10 AM
Last modification on : Wednesday, February 2, 2022 - 3:57:58 PM

Identifiers

  • HAL Id : hal-00772696, version 1

Collections

X | CNRS | INRIA | LIX | X-LIX | X-DEP-INFO | INRIA2

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

210

 

Contact                    Legal Notice                    Personal Data