@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: bib2bib -c 'keywords : "meta-programming"' /home/davide/latex/bibinputs/allMine.bib}}
@comment{{This file has been generated by Pybliographer}}
@inproceedings{AM-FMCO05,
  author = {Ancona, D. and Moggi, E.},
  title = {Program {G}eneration and {C}omponents},
  booktitle = {Formal {M}ethods for {C}omponents and {O}bjects:
                   {T}hird {I}nternational {S}ymposium, {FMCO} 2004},
  editor = {de Boer, F. S. and Bonsangue, M. M. and Graf, S. and
                   de Roever, W.},
  volume = {3657},
  series = {Lecture Notes in Computer Science},
  pages = {222--250},
  publisher = {Springer Verlag},
  abstract = {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).},
  ftp = {ftp://ftp.disi.unige.it/pub/person/AnconaD/FMCO04.pdf},
  keywords = {components, meta-programming, types},
  year = 2005
}
@inproceedings{AM-GPCE04,
  author = {Ancona, D. and Moggi, E.},
  title = {A {F}resh {C}alculus for {N}ame {M}anagement},
  booktitle = {Generative {P}rogramming and {C}omponent {E}ngineering
                   ({GPCE} 2004)},
  editor = {Karsai, G. and Visser, E.},
  volume = {3286},
  series = {Lecture Notes in Computer Science},
  pages = {206--224},
  publisher = {Springer Verlag},
  abstract = {We define a basic calculus for name management, which
                   is obtained by an appropriate combination of three
                   ingredients: extensible records (in a simplified form),
                   names (as in FreshML), computational types (to allow
                   computational effects, including generation of fresh
                   names). The calculus supports the use of symbolic names
                   for programming in-the-large, e.g. it subsumes Ancona
                   and Zucca's calculus for module systems, and for
                   meta-programming (but not the intensional analysis of
                   object level terms supported by FreshML), e.g. it
                   subsumes (and improves) Nanevski and Pfenning's
                   calculus for meta-programming with names and necessity.
                   Moreover, it models some aspects of Java's class
                   loaders.},
  ftp = {ftp://ftp.disi.unige.it/pub/person/AnconaD/FCNM.pdf},
  keywords = {meta-programming, types, components},
  year = 2004
}

This file was generated by bibtex2html 1.98.