[pypy-svn] r77838 - pypy/extradoc/talk/pepm2011

[leuschel at codespeak.net]

Author: leuschel
Date: Tue Oct 12 16:48:22 2010
New Revision: 77838

Modified:
   pypy/extradoc/talk/pepm2011/paper.bib
   pypy/extradoc/talk/pepm2011/paper.tex
Log:
added refs


Modified: pypy/extradoc/talk/pepm2011/paper.bib
==============================================================================
--- pypy/extradoc/talk/pepm2011/paper.bib	(original)
+++ pypy/extradoc/talk/pepm2011/paper.bib	Tue Oct 12 16:48:22 2010
@@ -290,3 +290,40 @@
 	year = {2008},
 	pages = {123--139}
 }
+
+ at inproceedings{DBLP:conf/iclp/MazurRJB01,
+  author    = {Nancy Mazur and
+               Peter Ross and
+               Gerda Janssens and
+               Maurice Bruynooghe},
+  title     = {Practical Aspects for a Working Compile Time Garbage Collection
+               System for Mercury},
+  booktitle = {ICLP},
+  year      = {2001},
+  pages     = {105-119},
+  ee        = {http://link.springer.de/link/service/series/0558/bibs/2237/22370105.htm},
+  crossref  = {DBLP:conf/iclp/2001},
+  bibsource = {DBLP, http://dblp.uni-trier.de}
+}
+ at proceedings{DBLP:conf/iclp/2001,
+  editor    = {Philippe Codognet},
+  title     = {Logic Programming, 17th International Conference, ICLP 2001,
+               Paphos, Cyprus, November 26 - December 1, 2001, Proceedings},
+  booktitle = {ICLP},
+  publisher = {Springer},
+  series    = {Lecture Notes in Computer Science},
+  volume    = {2237},
+  year      = {2001},
+  isbn      = {3-540-42935-2},
+  bibsource = {DBLP, http://dblp.uni-trier.de}
+}
+
+ at article{Lloyd:jlp91,
+   author =  {J. W. Lloyd and J. C. Shepherdson},
+   title =   {Partial Evaluation in Logic Programming},
+   journal = strjlp,
+   year =    1991,
+   volume =  11,
+   number =  {3\& 4},
+   pages =   {217--242},
+}
\ No newline at end of file

Modified: pypy/extradoc/talk/pepm2011/paper.tex
==============================================================================
--- pypy/extradoc/talk/pepm2011/paper.tex	(original)
+++ pypy/extradoc/talk/pepm2011/paper.tex	Tue Oct 12 16:48:22 2010
@@ -1142,10 +1142,16 @@
 
 partial evaluation:
 
-Prolog
+Prolog:
+ partially static datastructures are already built-in to Prolog and was built-into partial
+  evaluation from the beginning \cite{Lloyd:jlp91}.
+ FP
 
 partially static data structures: kenichi asai's thesis?
 
+xxx: relation to compile-time garbage collection \cite{DBLP:conf/iclp/MazurRJB01};  separation logic; John Hughes: type specialization
+
+
 \section{Conclusions}
 \label{sec:conclusions}