Nielson86'

BibTeX

@inproceedings{DBLP:conf/esop/Nielson86,
  author    = {Flemming Nielson},
  title     = {Correctness of Code Generation from a Two-Level Meta-Language},
  booktitle = {ESOP},
  year      = {1986},
  pages     = {30-40},
  ee        = {http://dx.doi.org/10.1007/3-540-16442-1_2},
  crossref  = {DBLP:conf/esop/1986},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/esop/1986,
  editor    = {Bernard Robinet and
               Reinhard Wilhelm},
  title     = {ESOP 86, European Symposium on Programming, Saarbr{\"u}cken,
               Federal Republic of Germany, March 17-19, 1986, Proceedings},
  booktitle = {ESOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {213},
  year      = {1986},
  isbn      = {3-540-16442-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}