ANCONA, DAVIDE
ANCONA, DAVIDE
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
1000 Years of Coo-BDI
2011-01-01 Mascardi, Viviana; Ancona, Davide
A calculus for dynamic linking
2003-01-01 Ancona, Davide; Fagorzi, S; Zucca, Elena
A calculus with lazy module operators
2004-01-01 Ancona, Davide; Fagorzi, S.; Zucca, Elena
A Coalgebraic Foundation for Coinductive Union Types
2014-01-01 Marcello M., Bonsangue; Jurriaan, Rot; Ancona, Davide; Frank S., de Boer; Jan J. M. M., Rutten
A core calculus for Java exceptions
2001-01-01 Ancona, Davide; Lagorio, Giovanni; Zucca, Elena
A core calculus for Java exceptions (extended abstract)
2000-01-01 Ancona, Davide; Lagorio, Giovanni; Zucca, Elena
A deterministic event calculus for effective runtime verification
2019-01-01 Ancona, D.; Franceschini, L.; Ferrando, A.; Mascardi, V.
A formal account of SSA in Java-like languages
2016-01-01 Ancona, Davide; Corradi, Andrea
A formal framework for compositional compilation
2007-01-01 Ancona, Davide; E., Zucca
A formal framework for compositional compilation (extended abstract)
2007-01-01 Ancona, Davide; Zucca, Elena
A formal framework for Java separate compilation.
2002-01-01 Ancona, Davide; Lagorio, Giovanni; Zucca, Elena
A Formal Framework for Modules with State
1996-01-01 Ancona, Davide; Zucca, Elena
A formalism for specification of Java API interfaces
2018-01-01 Ancona, D.; Dagnino, F.; Franceschini, L.
A Fresh Calculus for Name Management
2004-01-01 Ancona, Davide; Moggi, Eugenio
A Primitive Calculus for Module Systems
1999-01-01 Ancona, Davide; Zucca, Elena
A three-valued type system for true positives detection in Java-like languages
2015-01-01 Ancona, Davide; Frassetto, Federico
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification?
2011-01-01 Ancona, Davide; A., Corradi; Lagorio, Giovanni; F., Damiani
Agents interoperability via conformance modulo mapping
2018-01-01 Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
An abstract machine for asynchronous programs with closures and priority queues
2017-01-01 Ancona, Davide; Delzanno, Giorgio; Franceschini, Luca; Leotta, Maurizio; Prampolini, Enrico; Ribaudo, Marina; Ricca, Filippo
An Algebra of Mixin Modules
1998-01-01 Ancona, Davide; Zucca, Elena
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 1000 Years of Coo-BDI | 1-gen-2011 | Mascardi, Viviana; Ancona, Davide | |
| A calculus for dynamic linking | 1-gen-2003 | Ancona, Davide; Fagorzi, S; Zucca, Elena | |
| A calculus with lazy module operators | 1-gen-2004 | Ancona, Davide; Fagorzi, S.; Zucca, Elena | |
| A Coalgebraic Foundation for Coinductive Union Types | 1-gen-2014 | Marcello M., Bonsangue; Jurriaan, Rot; Ancona, Davide; Frank S., de Boer; Jan J. M. M., Rutten | |
| A core calculus for Java exceptions | 1-gen-2001 | Ancona, Davide; Lagorio, Giovanni; Zucca, Elena | |
| A core calculus for Java exceptions (extended abstract) | 1-gen-2000 | Ancona, Davide; Lagorio, Giovanni; Zucca, Elena | |
| A deterministic event calculus for effective runtime verification | 1-gen-2019 | Ancona, D.; Franceschini, L.; Ferrando, A.; Mascardi, V. | |
| A formal account of SSA in Java-like languages | 1-gen-2016 | Ancona, Davide; Corradi, Andrea | |
| A formal framework for compositional compilation | 1-gen-2007 | Ancona, Davide; E., Zucca | |
| A formal framework for compositional compilation (extended abstract) | 1-gen-2007 | Ancona, Davide; Zucca, Elena | |
| A formal framework for Java separate compilation. | 1-gen-2002 | Ancona, Davide; Lagorio, Giovanni; Zucca, Elena | |
| A Formal Framework for Modules with State | 1-gen-1996 | Ancona, Davide; Zucca, Elena | |
| A formalism for specification of Java API interfaces | 1-gen-2018 | Ancona, D.; Dagnino, F.; Franceschini, L. | |
| A Fresh Calculus for Name Management | 1-gen-2004 | Ancona, Davide; Moggi, Eugenio | |
| A Primitive Calculus for Module Systems | 1-gen-1999 | Ancona, Davide; Zucca, Elena | |
| A three-valued type system for true positives detection in Java-like languages | 1-gen-2015 | Ancona, Davide; Frassetto, Federico | |
| Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification? | 1-gen-2011 | Ancona, Davide; A., Corradi; Lagorio, Giovanni; F., Damiani | |
| Agents interoperability via conformance modulo mapping | 1-gen-2018 | Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana | |
| An abstract machine for asynchronous programs with closures and priority queues | 1-gen-2017 | Ancona, Davide; Delzanno, Giorgio; Franceschini, Luca; Leotta, Maurizio; Prampolini, Enrico; Ribaudo, Marina; Ricca, Filippo | |
| An Algebra of Mixin Modules | 1-gen-1998 | Ancona, Davide; Zucca, Elena |