Davide Ancona's conference and workshop papers
|
[1]
|
D. Ancona, V. Mascardi, and O. Pavarino.
Ontology-based documentation extraction for semi-automatic migration
of Java code.
In ACM Symposium on Applied Computing (SAC 2012),
2012.
To appear.
[ bib |
.pdf |
Abstract ]
|
|
[2]
|
D. Ancona.
Regular corecursion in Prolog.
In ACM Symposium on Applied Computing (SAC 2012),
2012.
To appear.
[ bib |
.pdf |
Abstract ]
|
|
[3]
|
D. Ancona.
Coinductive big-step operational semantics for type soundness of
Java-like languages.
In Formal Techniques for Java-like Programs
(FTfJP11), ACM Digital Library. ACM, 2011.
To appear.
[ bib |
.pdf |
Abstract ]
|
|
[4]
|
D. Ancona, A. Corradi, G. Lagorio, and F. Damiani.
Abstract compilation of object-oriented languages into coinductive
CLP(X): can type inference meet verification?
In B. Beckert and C. Marché, editors, Formal Verification of
Object-Oriented Software International Conference, FoVeOOS
2010, Paris, France, June 28-30, 2010, Revised Selected
Papers, volume 6528 of Lecture Notes in Computer Science. Springer
Verlag, 2011.
[ bib |
.pdf |
Abstract ]
|
|
[5]
|
D. Ancona and G. Lagorio.
Complete coinductive subtyping for abstract compilation of
object-oriented languages.
In FTFJP '10: Proceedings of the 12th Workshop on Formal
Techniques for Java-Like Programs, ACM Digital Library, pages
1:1-1:7. ACM, 2010.
[ bib |
.pdf |
http |
Abstract ]
|
|
[6]
|
D. Ancona and G. Lagorio.
Coinductive subtyping for abstract compilation of object-oriented
languages into Horn formulas.
In Montanari A., Napoli M., and Parente M., editors,
Proceedings of GandALF 2010, volume 25 of Electronic Proceedings in
Theoretical Computer Science, pages 214-223, 2010.
[ bib |
.pdf |
Abstract ]
|
|
[7]
|
D. Ancona and V. Mascardi.
Exploiting Agents and Ontologies for Type- and Meaning-Safe
Adaptation of Java Programs.
In Proceedings of the MALLOW-AWESOME 2009 workshop, volume
494. CEUR Workshop Proceedings, 2009.
[ bib |
.pdf |
Abstract ]
|
|
[8]
|
A. Cuni, D. Ancona, and A. Rigo.
Faster than C#: efficient implementation of dynamic languages on
.NET.
In ICOOOLPS '09: Proceedings of the 4th workshop on the
Implementation, Compilation, Optimization of Object-Oriented
Languages and Programming Systems, pages 26-33, New York, NY, USA,
2009. ACM.
[ bib |
DOI |
.pdf |
Abstract ]
|
|
[9]
|
D. Ancona, G. Lagorio, and E. Zucca.
Type inference by coinductive logic programming.
In de' Liguoro U. Berardi S., Damiani F., editor,
Post-Proceedings of TYPES 2008, volume 5497 of Lecture Notes in
Computer Science. Springer Verlag, 2009.
[ bib |
.pdf |
Abstract ]
|
|
[10]
|
D. Ancona and G. Lagorio.
Coinductive type systems for object-oriented languages.
In S. Drossopoulou, editor, ECOOP 2009 - Object-Oriented
Programming, volume 5653 of Lecture Notes in Computer Science, pages
2-26. Springer Verlag, 2009.
Best paper prize.
[ bib |
.pdf |
Abstract ]
|
|
[11]
|
D. Ancona, G. Lagorio, and E. Zucca.
Type inference for polymorphic methods in Java-like languages.
In G. Italiano, E. Moggi, and L. Laura, editors, Theoretical
Computer Science: Proceedings of the 10th Italian Conference on
ICTCS '07. World Scientific, 2007.
See also the
long version
with proofs.
[ bib |
.pdf |
Abstract ]
|
|
[12]
|
D. Ancona and E. Zucca.
A formal framework for compositional compilation (extended abstract).
In D. Ancona, G. Lagorio, and E. Zucca, editors, Theoretical
Computer Science: Proceedings of the 10th Italian Conference on
ICTCS '07. World Scientific, 2007.
See also the
long version
with proofs and examples of framework instantiation.
[ bib |
.pdf |
Abstract ]
|
|
[13]
|
D. Ancona, M. Ancona, A Cuni, and N. Matsakis.
RPython: a Step Towards Reconciling Dynamically and
Statically Typed OO Languages.
In OOPSLA 2007 Proceedings and Companion, DLS'07:
Proceedings of the 2007 Symposium on Dynamic Languages, pages
53-64. ACM, 2007.
[ bib |
.pdf |
Abstract ]
|
|
[14]
|
D. Ancona, G. Lagorio, and E. Zucca.
Flexible type-safe linking of components for Java-like languages.
In Joint Modular Languages Conference (JMLC 2006),
volume 4228 of Lecture Notes in Computer Science, pages 136-154.
Springer Verlag, 2006.
See also the extended version.
[ bib |
.pdf |
Abstract ]
|
|
[15]
|
D. Ancona, G. Lagorio, and E. Zucca.
Smart modules for Java-like languages.
In 7th Intl. Workshop on Formal Techniques for Java-like
Programs 2005, July 2005.
[ bib |
.pdf |
Abstract ]
|
|
[16]
|
V. Mascardi, D. Demergasso, and D. Ancona.
Languages for Programming BDI-style Agents: an Overview.
In F. Corradini, F. De Paoli, E. Merelli, and A. Omicini, editors,
WOA 2005 - Workshop From Objects to Agents, pages 9-15,
2005.
[ bib |
.pdf |
Abstract ]
|
|
[17]
|
D. Ancona, F. Damiani, S. Drossopoulou, and E. Zucca.
Polymorphic bytecode: Compositional compilation for Java-like
languages.
In POPL 2005 - The 32nd ACM SIGPLAN-SIGACT Symposium
on Principles of Programming Languages, pages 26-37. ACM Press, 2005.
[ bib |
.pdf |
Abstract ]
|
|
[18]
|
D. Ancona, S. Fagorzi, and E. Zucca.
Mixin modules for dynamic rebinding.
In R. De Nicola and D. Sangiorgi, editors, Trustworthy Global
Computing: IST/FET International Workshop, TGC 2005, Edinburgh,
UK, April 7-9, 2005. Revised Selected Papers, volume 3705 of
Lecture Notes in Computer Science, pages 279-298. Springer Verlag, 2005.
[ bib |
.pdf |
Abstract ]
|
|
[19]
|
L. Bozzo, V. Mascardi, D. Ancona, and P. Busetta.
COOWS: Adaptive BDI Agents meet Service-Oriented
Computing.
In M. P. Gleizes, G. A. Kaminka, A. Nowé, S. Ossowski, K. Tuyls,
and K. Verbeeck, editors, EUMAS 2005 - Proceedings of the Third
European Workshop on Multi-Agent Systems, Brussels, Belgium,
December 7-8, 2005, page 473, 2005.
[ bib |
http |
Abstract ]
|
|
[20]
|
D. Ancona and E. Moggi.
Program Generation and Components.
In F. S. de Boer, M. M. Bonsangue, S. Graf, and W. de Roever,
editors, Formal Methods for Components and Objects: Third
International Symposium, FMCO 2004, volume 3657 of Lecture Notes
in Computer Science, pages 222-250. Springer Verlag, 2005.
[ bib |
.pdf |
Abstract ]
|
|
[21]
|
D. Ancona, F. Damiani, S. Drossopoulou, and E. Zucca.
Even more principal typings for Java-like languages.
In 6th Intl. Workshop on Formal Techniques for Java Programs
2004, June 2004.
[ bib |
.pdf |
Abstract ]
|
|
[22]
|
D. Ancona and E. Zucca.
Principal typings for Java-like languages.
In POPL 2004 - The 31st ACM SIGPLAN-SIGACT Symposium
on Principles of Programming Languages, pages 306-317. ACM Press,
2004.
[ bib |
.ps.gz |
Abstract ]
|
|
[23]
|
D. Ancona, S. Fagorzi, and E. Zucca.
A calculus with lazy module operators.
In J.-J. Levy, E. W. Mayr, and J. C. Mitchell, editors, IFIP
18th World Computer Congress, TC1 3rd Int. Conf. on Theoretical
Computer Science (TCS2004), pages 423-436. Kluwer Academic
Publishers, 2004.
[ bib |
.pdf |
Abstract ]
|
|
[24]
|
D. Ancona, V. Mascardi, J.F. Hübner, and R. H. Bordini.
Coo-AgentSpeak: Cooperation in AgentSpeak through Plan
Exchange.
In N. R. Jennings, C. Sierra, L. Sonenberg, and M. Tambe, editors,
AAMAS 2004 (Int. Conf. on Autonomous Agents and Multiagent
Systems), pages 698-705. ACM press, 2004.
[ bib |
.pdf |
Abstract ]
|
|
[25]
|
D. Ancona and V. Mascardi.
Coo-BDI: Extending the BDI Model with Cooperativity.
In J. Leite, A. Omicini, L. Sterling, and P. Torroni, editors,
Declarative Agent Languages and Techniques, First International
Workshop, DALT 2003, Revised Selected and Invited Papers, volume
2990 of Lecture Notes in Computer Science, pages 109-134. Springer
Verlag, 2004.
[ bib |
.ps.gz |
Abstract ]
|
|
[26]
|
D. Ancona and E. Moggi.
A Fresh Calculus for Name Management.
In G. Karsai and E. Visser, editors, Generative Programming
and Component Engineering (GPCE 2004), volume 3286 of Lecture
Notes in Computer Science, pages 206-224. Springer Verlag, 2004.
[ bib |
.pdf |
Abstract ]
|
|
[27]
|
S. Fagorzi, E. Zucca, and D. Ancona.
Modeling multiple class loaders by a calculus for dynamic linking.
In H. Haddad, A. Omicini, R. L. Wainwright, and L. M. Liebrock,
editors, SAC 2004 - Proceedings of the 2004 ACM Symposium on
Applied Computing, pages 1281-1288. ACM Press, 2004.
[ bib |
.ps.gz |
Abstract ]
|
|
[28]
|
D. Ancona and G. Lagorio.
Stronger typings for separate compilation of Java-like languages
(Extended Abstract).
In 5th Intl. Workshop on Formal Techniques for Java Programs
2003, 2003.
[ bib |
.ps.gz |
http |
.html |
Abstract ]
|
|
[29]
|
D. Ancona, S. Fagorzi, and E. Zucca.
A calculus for dynamic linking.
In C. Blundo and C. Laneve, editors, ICTCS 2003 -
Theoretical Computer Science, volume 2841 of Lecture Notes in
Computer Science, pages 284-301. Springer Verlag, 2003.
[ bib |
.ps.gz |
Abstract ]
|
|
[30]
|
D. Ancona, S. Fagorzi, E. Moggi, and E. Zucca.
Mixin modules and computational effects.
In G. Goos, J. Hartmanis, and J. van Leeuwen, editors, ICALP
2003 - Automata, Languages and Programming, volume 2719 of
Lecture Notes in Computer Science, pages 224-238. Springer Verlag, 2003.
[ bib |
.ps.gz |
Abstract ]
|
|
[31]
|
D. Ancona, G. Lagorio, and E. Zucca.
True separate compilation of Java classes.
In ACM SIGPLAN Conference on Principles and Practice
of Declarative Programming (PPDP'02), pages 189-200. ACM Press, 2002.
[ bib |
.ps.gz |
Abstract ]
|
|
[32]
|
D. Ancona, G. Lagorio, and E. Zucca.
A formal framework for Java separate compilation.
In B. Magnusson, editor, ECOOP 2002 - Object-Oriented
Programming, volume 2374 of Lecture Notes in Computer Science, pages
609-635. Springer Verlag, 2002.
[ bib |
.ps.gz |
Abstract ]
|
|
[33]
|
D. Ancona and E. Zucca.
True modules for Java-like languages.
In J.L. Knudsen, editor, ECOOP 2001 - Object-Oriented
Programming, volume 2072 of Lecture Notes in Computer Science, pages
354-380. Springer Verlag, 2001.
[ bib |
.ps.gz |
Abstract ]
|
|
[34]
|
D. Ancona, G. Lagorio, and E. Zucca.
Java separate type checking is not safe.
In 3rd Intl. Workshop on Formal Techniques for Java Programs
2001, 2001.
[ bib |
.ps.gz |
http |
Abstract ]
|
|
[35]
|
D. Ancona, C. Anderson, F. Damiani, S. Drossopoulou, P. Giannini, and E. Zucca.
An effective translation of Fickle into Java.
In A. Restivo, S. Ronchi Della Rocca, and L. Roversi, editors,
ICTCS 2001 - Theoretical Computer Science, volume 2202 of
Lecture Notes in Computer Science, pages 215-234. Springer Verlag, 2001.
[ bib |
.ps.gz |
Abstract ]
|
|
[36]
|
D. Ancona, G. Lagorio, and E. Zucca.
A core calculus for Java exceptions.
In ACM Conference on Object-Oriented Programming,
Systems, Languages, and Applications (OOPSLA 2001), SIGPLAN Notices.
ACM Press, 2001.
[ bib |
.ps.gz |
Abstract ]
|
|
[37]
|
D. Ancona, E. Zucca, and S. Drossopoulou.
Overloading and inheritance.
In The Eighth International Workshop on Foundations of
Object-Oriented Languages (FOOL8), 2001.
[ bib |
.ps.gz |
Abstract ]
|
|
[38]
|
D. Ancona, G. Lagorio, and E. Zucca.
Jam: A smooth extension of Java with mixins.
In E. Bertino, editor, ECOOP 2000 - Object-Oriented
Programming, volume 1850 of Lecture Notes in Computer Science, pages
154-178. Springer Verlag, 2000.
[ bib |
.ps.gz |
http |
Abstract ]
|
|
[39]
|
D. Ancona, G. Lagorio, and E. Zucca.
A core calculus for Java exceptions (Extended Abstract).
In 2nd Intl. Workshop on Formal Techniques for Java Programs
2000, 2000.
[ bib |
.pdf |
http |
Abstract ]
|
|
[40]
|
D. Ancona, E. Zucca, and S. Drossopoulou.
Overloading and inheritance in Java (Extended Abstract).
In 2nd Intl. Workshop on Formal Techniques for Java Programs
2000, 2000.
[ bib |
.pdf |
http |
Abstract ]
|
|
[41]
|
D. Ancona and V. Mascardi.
Mixin-based modules for logic programming.
In APPIA-GULP-PRODE 2000. 2000 Joint Conference on
Declarative Programming, 2000.
[ bib |
.ps.gz |
Abstract ]
|
|
[42]
|
D. Ancona, M. Cerioli, and E. Zucca.
Extending Casl with late binding.
In D. Bert and C. Choppy, editors, WADT'99 - 14th Workshop
on Algebraic Development Techniques - Selected Papers, volume 1827
of Lecture Notes in Computer Science, pages 53-72. Springer Verlag,
2000.
[ bib |
.ps.gz |
Abstract ]
|
|
[43]
|
D. Ancona.
MIX(FL): a kernel language of mixin modules.
In T. Rus, editor, AMAST 2000 - Algebraic Methodology and
Software Technology, volume 1816 of Lecture Notes in Computer
Science, pages 454-468. Springer Verlag, 2000.
[ bib |
.ps.gz |
Abstract ]
|
|
[44]
|
D. Ancona and E. Zucca.
A primitive calculus for module systems.
In G. Nadathur, editor, PPDP'99 - International Conference
of Principles and Practice of Declarative Programming, volume 1702
of Lecture Notes in Computer Science, pages 62-79. Springer Verlag,
1999.
[ bib |
.ps.gz |
.html |
Abstract ]
|
|
[45]
|
D. Ancona, M. Cerioli, and E. Zucca.
A formal framework with late binding.
In J.-P. Finance, editor, FASE'99 - Fundamental Approaches
to Software Engineering, volume 1577 of Lecture Notes in Computer
Science, pages 30-44. Springer Verlag, 1999.
[ bib |
.ps.gz |
Abstract ]
|
|
[46]
|
D. Ancona.
An algebraic framework for separate type-checking.
In J. Fiadeiro, editor, WADT'98 - 13th Workshop on
Algebraic Development Techniques - Selected Papers, volume 1589 of
Lecture Notes in Computer Science, pages 1-15. Springer Verlag, 1999.
[ bib |
.ps.gz |
Abstract ]
|
|
[47]
|
D. Ancona and E. Zucca.
An algebra of mixin modules.
In F. Parisi-Presicce, editor, WADT'97 - 12th Workshop on
Algebraic Development Techniques - Selected Papers, volume 1376 of
Lecture Notes in Computer Science, pages 92-106. Springer Verlag,
1998.
[ bib |
.ps.gz |
Abstract ]
|
|
[48]
|
D. Ancona and E. Zucca.
Overriding operators in a mixin-based framework.
In H. Glaser, P. Hartel, and H. Kuchen, editors, PLILP '97 -
9th Intl. Symp. on Programming Languages, Implementations,
Logics, and Programs, volume 1292 of Lecture Notes in Computer
Science, pages 47-61. Springer Verlag, 1997.
[ bib |
.ps.gz |
Abstract ]
|
|
[49]
|
D. Ancona and E. Zucca.
An algebraic approach to mixins and modularity.
In M. Hanus and M. Rodríguez-Artalejo, editors, ALP '96 -
5th Intl. Conf. on Algebraic and Logic Programming, volume 1139 of
Lecture Notes in Computer Science, pages 179-193. Springer Verlag,
1996.
[ bib |
.ps.gz |
Abstract ]
|
|
[50]
|
D. Ancona and E. Zucca.
A formal framework for modules with state.
In M. Wirsing and M. Nivat, editors, AMAST '96 - Algebraic
Methodology and Software Technology, volume 1101 of Lecture Notes
in Computer Science, pages 148-162. Springer Verlag, 1996.
[ bib |
.ps.gz |
Abstract ]
|
|
[51]
|
D. Ancona, E. Astesiano, and E. Zucca.
Towards a classification of inheritance relations.
In U.W. Lipeck and G. Koschorreck, editors, Proc. ISCORE '93
(International Workshop on Information Systems - Correctness and
Reusability), number 01/93 in Informatik-Berichte, pages 90-113.
Universitaet Hannover, 1993.
[ bib |
.ps.gz |
Abstract ]
|
This file was generated by
bibtex2html 1.95.
Back to the main page on Davide Ancona's papers
Please send suggestions and comments to:
Davide Ancona davide@disi.unige.it
Last Updated: November 19, 2011
|
