[pypy-svn] r38272 - pypy/dist/pypy/doc

arigo at codespeak.net arigo at codespeak.net
Fri Feb 9 17:56:55 CET 2007

Author: arigo
Date: Fri Feb  9 17:56:45 2007
New Revision: 38272

links to theory.html from glossary.txt.

Modified: pypy/dist/pypy/doc/glossary.txt
--- pypy/dist/pypy/doc/glossary.txt	(original)
+++ pypy/dist/pypy/doc/glossary.txt	Fri Feb  9 17:56:45 2007
@@ -2,6 +2,12 @@
 document gives brief definition of some of these terms and provides
 links to more information.
+**abstract interpretation**
+    The technique of interpreting the bytecode of a user program with
+    an interpreter that handles abstract objects instead of concrete ones.
+    It can be used to check the bytecode or see what it does, without
+    actually executing it with concrete values.  See Theory_.
 .. _annotator:
@@ -98,6 +104,11 @@
 .. _`object space`:
+   A callable object that invokes a different Python function based
+   on the type of all its arguments (instead of just the class of the
+   first argument, as with normal methods).  See Theory_.
 **object space**
    The `object space <objspace.html>`__ (often abbreviated to
    "objspace") creates all objects and knows how to perform operations
@@ -228,5 +239,6 @@
 .. _Python: http://www.python.org
 .. _`RPython Typer`: rtyper.html
 .. _`subsystem implementing the Python language`: architecture.html#standard-interpreter
+.. _Theory: theory.html
 .. include:: _ref.txt

More information about the Pypy-commit mailing list