[pypy-svn] r43727 - pypy/extradoc/talk/dyla2007

[cfbolz at codespeak.net]

Author: cfbolz
Date: Sun May 27 15:34:47 2007
New Revision: 43727

Modified:
   pypy/extradoc/talk/dyla2007/dyla.bib
   pypy/extradoc/talk/dyla2007/dyla.tex
Log:
add a citation of the psyco home page too, differentiate better between
citations of the psyco paper and psyco-the-program


Modified: pypy/extradoc/talk/dyla2007/dyla.bib
==============================================================================
--- pypy/extradoc/talk/dyla2007/dyla.bib	(original)
+++ pypy/extradoc/talk/dyla2007/dyla.bib	Sun May 27 15:34:47 2007
@@ -1,6 +1,6 @@
 % Psyco
 
- at inproceedings{ psyco,
+ at inproceedings{ psyco-paper,
 	author = "Armin Rigo",
 	title = "Representation-based just-in-time specialization and the psyco prototype for python",
 	booktitle = "PEPM '04: Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation",
@@ -13,6 +13,13 @@
 	address = "New York, NY, USA"
 }
 
+ at misc{ psyco-software,
+    author = "Armin Rigo",
+    title = "Psyco",
+    note = "http://psyco.sourceforge.net/",
+    url = "http://psyco.sourceforge.net/"
+}
+
 % P\#
 
 @inproceedings{ psharp,
@@ -89,8 +96,8 @@
         booktitle = "ICSE 2004, 26th International Conference on Software Engineering",
         year = 2004
 }
-\newblock In {\em ICSE}, pages 137--146, 2004.
- at inproceedings{DBLP:conf/jelia/Calejo04,
+
+ at inproceedings{InterProlog,
   author    = {Miguel Calejo},
   title     = {Inter{P}rolog: Towards a Declarative Embedding of Logic Programming
                in {J}ava.},
@@ -98,7 +105,6 @@
   year      = {2004},
   pages     = {714-717},
   ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3229{\&}spage=714},
-  crossref  = {DBLP:conf/jelia/2004},
   bibsource = {DBLP, http://dblp.uni-trier.de}
 }
 

Modified: pypy/extradoc/talk/dyla2007/dyla.tex
==============================================================================
--- pypy/extradoc/talk/dyla2007/dyla.tex	(original)
+++ pypy/extradoc/talk/dyla2007/dyla.tex	Sun May 27 15:34:47 2007
@@ -158,7 +158,8 @@
 Python'' \cite{stackless} which is a fork of CPython that adds micro-threading
 capabilities to Python. One of the reasons for not incorporating it back into
 CPython was that it was felt that they would make the implementation too
-complex. Another implementation of the Python language is the Psyco \cite{Psyco}
+complex. Another implementation of the Python language is the Psyco
+\cite{psyco-software}
 project which adds a JIT-compiler to CPython. As all other re-implementations,
 Psyco contains the Python semantics and needs to be kept synchronized with
 CPython manually.
@@ -274,7 +275,7 @@
 
 An example where this mapping does not work too well is Prolog. While there
 exist several implementations of Prolog on top of the JVM \cite{prologcafe}
-\cite{DBLP:conf/jelia/Calejo04} and also one on .NET \cite{psharp},
+\cite{InterProlog} and also one on .NET \cite{psharp},
 they are not particular efficient, especially when compared to good Prolog VMs
 in written in C. This is mostly because the Prolog execution model, which
 involves backtracking and deep recursion does not fit the JVM and .NET very
@@ -507,10 +508,11 @@
 language can be removed -- dispatching, boxing, unboxing...  However
 this has not been demonstrated yet.
 
-By far the fastest Python implementation, Psyco \cite{Psyco} contains a
+By far the fastest Python implementation, Psyco \cite{psyco-software} contains a
 hand-written language-specific dynamic compiler.  PyPy's translation
 tool-chain is able to extend the generated VMs with an automatically
-generated dynamic compiler similar to Psyco, derived from the
+generated dynamic compiler that uses techniques similar to those of Psyco
+\cite{Psyco-paper}, derived from the
 interpreter.  This is achieved by a pragmatic application of partial
 evaluation techniques guided by a few hints added to the source of the
 interpreter.  In other words, it is possible to produce a reasonably
@@ -528,13 +530,6 @@
 
 
 
-
-
-
-
-\section{Related Work}
-XXX
-
 \section{Conclusion}
 XXX 
 % ---- Bibliography ----