[pypy-commit] extradoc extradoc: more project-internal citations

[cfbolz]

Author: Carl Friedrich Bolz <cfbolz at gmx.de>
Branch: extradoc
Changeset: r4599:ecb66516e202
Date: 2012-08-15 15:16 +0200
http://bitbucket.org/pypy/extradoc/changeset/ecb66516e202/

Log:	more project-internal citations

diff --git a/talk/vmil2012/paper.tex b/talk/vmil2012/paper.tex
--- a/talk/vmil2012/paper.tex
+++ b/talk/vmil2012/paper.tex
@@ -204,7 +204,8 @@
 \label{sub:pypy}
 
 
-The RPython language and the PyPy project were started in 2002 with the goal of
+The RPython language and the PyPy project~\cite{rigo_pypys_2006} were started
+in 2002 with the goal of
 creating a Python interpreter written in a high level language, allowing easy
 language experimentation and extension. PyPy is now a fully compatible
 alternative interpreter for the Python language.
@@ -279,10 +280,14 @@
 the bridge will be executed instead of leaving the machine code.
 
 RPython provides a tracing JIT that can be reused for a number of language
-implementations. This is possible, because it traces the execution of the
+implementations~\cite{bolz_tracing_2009}. This is possible, because it traces
+the execution of the
 language interpreter instead of tracing the user program directly. This
 approach is called \emph{meta-tracing}. For the purpose of this paper the fact
 that RPython's tracing JIT is a meta-tracing JIT can be ignored.
+The only point of interaction is that some of the guards that are inserted into
+the trace stem from an annotation provided by the interpreter
+author~\cite{bolz_runtime_2011}.
 
 \begin{figure}
     \input{figures/example.tex}
diff --git a/talk/vmil2012/zotero.bib b/talk/vmil2012/zotero.bib
--- a/talk/vmil2012/zotero.bib
+++ b/talk/vmil2012/zotero.bib
@@ -191,6 +191,20 @@
 	keywords = {{JVM}, .net, Python}
 },
 
+ at inproceedings{rigo_pypys_2006,
+	address = {Portland, Oregon, {USA}},
+	title = {{PyPy's} approach to virtual machine construction},
+	isbn = {1-59593-491-X},
+	url = {http://portal.acm.org/citation.cfm?id=1176753},
+	doi = {10.1145/1176617.1176753},
+	abstract = {The {PyPy} project seeks to prove both on a research and a practical level the feasibility of constructing a virtual machine {(VM)} for a dynamic language in a dynamic language - in this case, Python. The aim is to translate (i.e. compile) the {VM} to arbitrary target environments, ranging in level from {C/Posix} to {Smalltalk/Squeak} via Java and {CLI/.NET}, while still being of reasonable efficiency within these {environments.A} key tool to achieve this goal is the systematic reuse of the Python language as a system programming language at various levels of our architecture and translation process. For each level, we design a corresponding type system and apply a generic type inference engine - for example, the garbage collector is written in a style that manipulates simulated pointer and address objects, and when translated to C these operations become C-level pointer and address instructions.},
+	booktitle = {{DLS}},
+	publisher = {{ACM}},
+	author = {Rigo, Armin and Pedroni, Samuele},
+	year = {2006},
+	keywords = {metacircularity, Python, retargettable code generation, type inference, {VM}}
+},
+
 @article{cytron_efficiently_1991,
 	title = {Efficiently Computing Static Single Assignment Form and the Control Dependence Graph},
 	volume = {13},