Travelled to:1 × Canada
1 × China
1 × Cyprus
1 × Denmark
1 × Germany
1 × Hungary
1 × Portugal
1 × Spain
1 × Sweden
1 × United Kingdom
2 × France
2 × The Netherlands
3 × Italy
3 × USA
Collaborated with:E.Zucca G.Lagorio ∅ A.Corradi F.Dagnino E.Moggi V.Mascardi S.Fagorzi M.Barbieri O.Pavarino M.Cerioli F.Damiani S.Drossopoulou M.M.Bonsangue J.Rot F.S.d.Boer J.J.M.M.Rutten
Talks about:java (8) languag (7) type (5) coinduct (4) calculus (4) system (4) orient (4) object (4) mixin (4) framework (3)
Person: Davide Ancona
DBLP: Ancona:Davide
Facilitated 2 volumes:
EdEdContributed to:
2014
201420132012201220132009
2005
20042004200420032002
20022001
20012000
1999199919971996
2017201620172018Wrote 26 papers:
- ECOOP-2014-AnconaC #induction #object-oriented #type system
- Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages (DA, AC), pp. 282–307.
- ICALP-v2-2014-BonsangueRABR #algebra #induction
- A Coalgebraic Foundation for Coinductive Union Types (MMB, JR, DA, FSdB, JJMMR), pp. 62–73.
- SAC-2013-AnconaBM #consistency #dynamic analysis #multi #protocol
- Constrained global types for dynamic checking of protocol conformance in multi-agent systems (DA, MB, VM), pp. 1377–1379.
- ECOOP-2012-Ancona #induction #object-oriented #semantics
- Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics (DA), pp. 459–483.
- SAC-2012-Ancona #prolog #recursion
- Regular corecursion in Prolog (DA), pp. 1897–1902.
- SAC-2012-AnconaMP #automation #documentation #java #migration #ontology
- Ontology-based documentation extraction for semi-automatic migration of Java code (DA, VM, OP), pp. 1137–1143.
- SAC-PL-J-2012-Ancona13 #prolog #recursion
- Regular corecursion in Prolog (DA), pp. 142–162.
- ECOOP-2009-AnconaL #induction #object-oriented #type system
- Coinductive Type Systems for Object-Oriented Languages (DA, GL), pp. 2–26.
- POPL-2005-AnconaDDZ #bytecode #compilation #composition #java #polymorphism
- Polymorphic bytecode: compositional compilation for Java-like languages (DA, FD, SD, EZ), pp. 26–37.
- GPCE-2004-AnconaM #calculus
- A Fresh Calculus for Name Management (DA, EM), pp. 206–224.
- POPL-2004-AnconaZ #java
- Principal typings for Java-like languages (DA, EZ), pp. 306–317.
- SAC-2004-FagorziZA #calculus #modelling #multi
- Modeling multiple class loaders by a calculus for dynamic linking (SF, EZ, DA), pp. 1281–1288.
- ICALP-2003-AnconaFMZ #mixin
- Mixin Modules and Computational Effects (DA, SF, EM, EZ), pp. 224–238.
- ECOOP-2002-AnconaLZ #compilation #framework #java
- A Formal Framework for Java Separate Compilation (DA, GL, EZ), pp. 609–636.
- PPDP-2002-AnconaLZ #compilation #java
- True separate compilation of Java classes (DA, GL, EZ), pp. 189–200.
- ECOOP-2001-AnconaZ #java
- True Modules for Java-like Languages (DA, EZ), pp. 354–380.
- OOPSLA-2001-AnconaLZ #calculus #exception #java
- A Core Calculus for Java Exceptions (DA, GL, EZ), pp. 16–30.
- ECOOP-2000-AnconaLZ #java #mixin #named
- Jam — A Smooth Extension of Java with Mixins (DA, GL, EZ), pp. 154–178.
- FASE-1999-AnconaCZ #framework
- A Formal Framework with Late Binding (DA, MC, EZ), pp. 30–44.
- PPDP-1999-AnconaZ #calculus
- A Primitive Calculus for Module Systems (DA, EZ), pp. 62–79.
- PLILP-1997-AnconaZ #framework #mixin
- Overriding Operators in a Mixin-Based Framework (DA, EZ), pp. 47–61.
- ALP-1996-AnconaZ #algebra #approach #composition #mixin
- An Algebraic Approach to Mixins and Modularity (DA, EZ), pp. 179–193.
- ESOP-2017-AnconaDZ #axiom
- Generalizing Inference Systems by Coaxioms (DA, FD, EZ), pp. 29–55.
- OOPSLA-2016-AnconaC #imperative #object-oriented #semantics #type system
- Semantic subtyping for imperative object-oriented languages (DA, AC), pp. 568–587.
- OOPSLA-2017-AnconaDZ #axiom #reasoning
- Reasoning on divergent computations with coaxioms (DA, FD, EZ), p. 26.
- ECOOP-2018-AnconaDZ #behaviour #infinity #modelling
- Modeling Infinite Behaviour by Corules (DA, FD, EZ), p. 31.