Sciweavers

FMCO
2004
Springer
105views Formal Methods» more  FMCO 2004»
14 years 5 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