Searching for authors named "Davide Ancona" – sorted by Relevance.
-
Modular Formal Frameworks for Module Systems
- FormalFrameworksforModule UniversitadiPisa-Genova-Udine Ph.D.Thesis:TD-1/98 DavideAncona Systems intheunderlyingcorelanguage. guage
- Cited by 11 (5 self) – Add To MetaCart
-
An Algebraic Framework for Separate Type-Checking
- An Algebraic Framework for Separate Type-Checking ? Davide Ancona Dipartimento di Informatica e
- Cited by 3 (3 self) – Add To MetaCart
-
Stronger Typings for Separate Compilation of Java-like Languages
- Stronger Typings for Separate Compilation of Java-like Languages Davide Ancona Giovanni Lagorio
- Cited by 11 (7 self) – Add To MetaCart
-
An Algebra of Mixin Modules
- An Algebra of Mixin Modules ? Davide Ancona and Elena Zucca DISI - Universit`a di Genova Via
- Cited by 13 (6 self) – Add To MetaCart
-
Overriding Operators in a Mixin-Based Framework
- Overriding Operators in a Mixin-Based Framework ? Davide Ancona and Elena Zucca DISI - Universit
- Cited by 7 (5 self) – Add To MetaCart
-
A Formal Framework for Modules With State
- A formal framework for modules with state ? Davide Ancona and Elena Zucca DISI - Universit`a di
- Cited by 5 (4 self) – Add To MetaCart
-
Stronger Typings for Smarter Recompilation of Java-like Languages
- Recompilation of Java-like Languages Davide Ancona, DISI, University of Genova, Italy Giovanni Lagorio, DISI
- Cited by 3 (3 self) – Add To MetaCart
-
Type systems for Java separate compilation and selective recompilation
- systems for Java separate compilation and selective recompilation Advisors: Davide Ancona DISI, Univ. di
- Cited by 2 (1 self) – Add To MetaCart
-
Coo-BDI: Extending the BDI Model
- Coo-BDI: Extending the BDI Model with Cooperativity Davide Ancona and Viviana Mascardi DISI
- Add To MetaCart
-
An Algebraic Approach to Mixins and Modularity
- An algebraic approach to mixins and modularity ? Davide Ancona and Elena Zucca DISI - Universit
- Cited by 19 (4 self) – Add To MetaCart

