ANCONA, DAVIDE

ANCONA, DAVIDE  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 20 di 162 (tempo di esecuzione: 0.03 secondi).
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 for dynamic reconfiguration with low priority linking 1-gen-2005 Ancona, Davide; Fagorzi, S.; Zucca, Elena
A calculus of module systems 1-gen-2002 Ancona, Davide; 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 formal framework for compositional compilation 1-gen-2007 Ancona, Davide; E., Zucca
A Formal Framework for Modules with State 1-gen-1996 Ancona, Davide; Zucca, Elena
A Formal Framework with Late Binding 1-gen-1999 Ancona, Davide; Cerioli, Maura; Zucca, Elena
A parametric calculus for mobile open code 1-gen-2008 Ancona, Davide; Fagorzi, S; Zucca, Elena
A Primitive Calculus for Module Systems 1-gen-1999 Ancona, Davide; Zucca, Elena
A Provenly Correct Translation of Fickle into Java 1-gen-2007 Ancona, Davide; Anderson, C.; Damiani, F.; Drossopoulou, S.; Giannini, P; Zucca, Elena
A theory of mixin modules: Basic and derived operators 1-gen-1998 Ancona, Davide; Zucca, Elena
A type preserving translation of Fickle into Java 1-gen-2001 Ancona, Davide; Anderson, C.; Damiani, F.; Drossopoulou, S.; Giannini, P.; Zucca, Elena
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
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 Acceptance Testing Approach for Internet of Things Systems 1-gen-2018 Leotta, Maurizio; Clerissi, Diego; Olianas, Dario; Ricca, Filippo; Ancona, Davide; Delzanno, Giorgio; Franceschini, Luca; Ribaudo, Marina
Agents interoperability via conformance modulo mapping 1-gen-2018 Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
An algebraic framework for separate type-checking 1-gen-1999 Ancona, Davide