Semantic models
|
[1]
|
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 ]
|
|
[2]
|
D. Ancona, S. Fagorzi, and E. Zucca.
A parametric calculus for mobile open code.
Electronic Notes in Theoretical Computer Science, 192(3):3 -
22, 2008.
Proceedings of the Third International Workshop on Developments in
Computational Models (DCM 2007).
[ bib |
DOI |
.pdf |
http |
Abstract ]
|
|
[3]
|
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 ]
|
|
[4]
|
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 ]
|
|
[5]
|
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 ]
|
|
[6]
|
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 ]
|
|
[7]
|
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 ]
|
|
[8]
|
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 ]
|
|
[9]
|
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 ]
|
|
[10]
|
D. Ancona.
Modular Formal Frameworks for Module Systems.
PhD thesis, Dipartimento di Informatica, Università di Pisa, 1998.
[ bib |
.ps.gz |
Abstract ]
|
|
[11]
|
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 ]
|
|
[12]
|
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 ]
|
|
[13]
|
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 ]
|
|
[14]
|
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 ]
|
|
[15]
|
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
|
