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

[cfbolz at codespeak.net]

Author: cfbolz
Date: Thu Nov 18 14:22:08 2010
New Revision: 79245

Modified:
   pypy/extradoc/talk/pepm2011/paper.bib
   pypy/extradoc/talk/pepm2011/paper.tex
Log:
add dynamic typing reference


Modified: pypy/extradoc/talk/pepm2011/paper.bib
==============================================================================
--- pypy/extradoc/talk/pepm2011/paper.bib	(original)
+++ pypy/extradoc/talk/pepm2011/paper.bib	Thu Nov 18 14:22:08 2010
@@ -394,3 +394,22 @@
 	year = {2008},
 	pages = {123--139}
 }
+
+ at article{Henglein:1994:DTS:190865.190867,
+ author = {Henglein, Fritz},
+ title = {Dynamic typing: syntax and proof theory},
+ journal = {Sci. Comput. Program.},
+ volume = {22},
+ issue = {3},
+ month = {June},
+ year = {1994},
+ issn = {0167-6423},
+ pages = {197--230},
+ numpages = {34},
+ url = {http://portal.acm.org/citation.cfm?id=190865.190867},
+ doi = {10.1016/0167-6423(94)00004-2},
+ acmid = {190867},
+ publisher = {Elsevier North-Holland, Inc.},
+ address = {Amsterdam, The Netherlands, The Netherlands},
+}
+

Modified: pypy/extradoc/talk/pepm2011/paper.tex
==============================================================================
--- pypy/extradoc/talk/pepm2011/paper.tex	(original)
+++ pypy/extradoc/talk/pepm2011/paper.tex	Thu Nov 18 14:22:08 2010
@@ -1214,19 +1214,16 @@
  constructor specialisation by Mogensen \cite{mogensen_constructor_1993}.
 
 A related optimization is also that of deforestation
-\cite{wadler_deforestation:_1988,gill_short_1993} which tries to remove
-intermediate lists or trees in functional languages. More explicitly geared at
-optimizing boxing is boxing analysis \cite{jrgensen_calculus_1996} which tries
-to fully remove pairs of calls to box/unbox in a functional language.
-
-%xxx:
-%partially static data structures: kenichi asai's thesis?
-
-%xxx: 
-%Other related work is compile-time garbage collection \cite{mazur_practical_2001}, which
-%tries to ....;
-%  separation logic
-  %; John Hughes: type specialization
+\cite{wadler_deforestation:_1988,gill_short_1993} which removes intermediate
+lists or trees in functional languages. A more general approach is boxing
+analysis \cite{jrgensen_calculus_1996} which optimizes pairs of calls to
+box/unbox in a functional language. Similarly, "dynamic typing"
+\cite{Henglein:1994:DTS:190865.190867} tries to remove dynamic type coercions
+in a dynamically typed lambda-calculus. All these optimizations work by
+analyzing the program before execution, which makes them unsuitable for dynamic
+languages like Python, where almost nothing can be inferred purely by looking
+at the source code.
+
 
 \section{Conclusion and Future Work}
 \label{sec:conclusion}