Meta-programming
|
[1]
|
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 ]
|
|
[2]
|
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 ]
|
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
|
