Sciweavers

FMCO
2004
Springer
105views Formal Methods» more  FMCO 2004»
13 years 10 months ago
Program Generation and Components
Abstract. The first part of the paper gives a brief overview of metaprogramming, in particular program generation, and its use in software development. The second part introduces ...
Davide Ancona, Eugenio Moggi