D. Ancona and E. Moggi
Program generation and components
In Frank S. de Boer, Marcello M. Bonsangue, and Susanne Graf,
editors, Formal Methods for Components and Objects: Third International
Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004. Revised
Lectures, volume 3167 of LNCS Springer-Verlag, 2005
The first part of the paper gives a brief overview of meta-programming,
in particular program generation, and its use in software development.
The second part introduces a basic calculus, related to FreshML, that
supports program generation (as described through examples and a
translation of MetaML into it) and programming in-the-large (this is
demonstrated by a translation of CMS into it).
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43