ANCONA, DAVIDE

ANCONA, DAVIDE  

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

Mostra records
Risultati 1 - 20 di 170 (tempo di esecuzione: 0.019 secondi).
Titolo Data di pubblicazione Autore(i) File
1000 Years of Coo-BDI 1-gen-2011 Mascardi, Viviana; Ancona, Davide
A big step from finite to infinite computations 1-gen-2020 Ancona, D.; Dagnino, F.; Rot, J.; Zucca, E.
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 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 Formal Framework with Late Binding 1-gen-1999 Ancona, Davide; Cerioli, Maura; 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 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