Components and modules
|
[1]
|
D. Ancona, G. Lagorio, and E. Zucca.
A flexible and type-safe framework of components for Java-like
languages.
Technical report, DISI - Univ. of Genova, April 2008.
Submitted for journal publication. Extended version of this
conference paper.
[ bib |
.pdf |
Abstract ]
|
|
[2]
|
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 ]
|
|
[3]
|
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 ]
|
|
[4]
|
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 ]
|
|
[5]
|
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 ]
|
|
[6]
|
D. Ancona, S. Fagorzi, and E. Zucca.
A calculus for dynamic reconfiguration with low priority linking.
Electronic Notes in Theoretical Computer Science. Proceedings of
the Second Workshop on Object Oriented Developments (WOOD 2004),
138(2):3-35, 2005.
[ bib |
.pdf |
http |
Abstract ]
|
|
[7]
|
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 ]
|
|
[8]
|
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 ]
|
|
[9]
|
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 ]
|
|
[10]
|
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 ]
|
|
[11]
|
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 ]
|
|
[12]
|
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 ]
|
|
[13]
|
D. Ancona and E. Zucca.
A calculus of module systems.
Journ. of Functional Programming, 12(2):91-132, 2002.
[ bib |
.ps.gz |
.html |
Abstract ]
|
|
[14]
|
D. Ancona and E. Zucca.
A theory of mixin modules: Algebraic laws and reduction semantics.
Mathematical Structures in Computer Science, 12(6):701-737,
2002.
[ bib |
.ps.gz |
Abstract ]
|
|
[15]
|
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 ]
|
|
[16]
|
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 ]
|
|
[17]
|
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 ]
|
|
[18]
|
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 ]
|
|
[19]
|
D. Ancona and E. Zucca.
A theory of mixin modules: Basic and derived operators.
Mathematical Structures in Computer Science, 8(4):401-446,
August 1998.
[ bib |
.ps.gz |
Abstract ]
|
|
[20]
|
D. Ancona and E. Zucca.
A theory of modules with state.
Technical Report DISI-TR-98-10, Dipartimento di Informatica e Scienze
dell'Informazione, Università di Genova, 1998.
[ bib |
.ps.gz |
Abstract ]
|
|
[21]
|
D. Ancona.
Modular Formal Frameworks for Module Systems.
PhD thesis, Dipartimento di Informatica, Università di Pisa, 1998.
[ bib |
.ps.gz |
Abstract ]
|
|
[22]
|
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 ]
|
|
[23]
|
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 ]
|
|
[24]
|
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 ]
|
|
[25]
|
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 ]
|
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
|
