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

cfbolz at codespeak.net cfbolz at codespeak.net
Thu Oct 14 17:45:10 CEST 2010

Author: cfbolz
Date: Thu Oct 14 17:45:08 2010
New Revision: 77949

flesh out section about tracing

Modified: pypy/extradoc/talk/pepm2011/paper.tex
--- pypy/extradoc/talk/pepm2011/paper.tex	(original)
+++ pypy/extradoc/talk/pepm2011/paper.tex	Thu Oct 14 17:45:08 2010
@@ -1132,9 +1132,14 @@
 partial evaluation:
-partially static datastructures are already built-in to Prolog and was built-into partial
-evaluation from the beginning \cite{lloyd_partial_1991}.
+Partially known data structures are built directly into Prolog (via unbound
+logic variables) and thus the optimization of partially static data structures
+was part of partial evaluation of Prolog programs from the beginning
+\cite{lloyd_partial_1991}. One effect of unfolding in Prolog is that terms that
+are constructed and immediately matched again completely disappear in the
+residual program, which is equivalent to what our optimization does for an
+imperative language.
 partially static data structures: kenichi asai's thesis?

More information about the Pypy-commit mailing list