[pypy-svn] r3763 - pypy/trunk/doc/funding

alastair at codespeak.net alastair at codespeak.net
Mon Apr 5 08:12:30 CEST 2004


Author: alastair
Date: Mon Apr  5 08:12:29 2004
New Revision: 3763

Modified:
   pypy/trunk/doc/funding/B0.1_summary.txt
   pypy/trunk/doc/funding/B1.0_objectives.txt
   pypy/trunk/doc/funding/B2.relevance_to_IST.txt
   pypy/trunk/doc/funding/B3.impact.txt
   pypy/trunk/doc/funding/B4.resources.txt
   pypy/trunk/doc/funding/B5.0_manage_bea.txt
   pypy/trunk/doc/funding/B6.0_detailed_implementation.txt
   pypy/trunk/doc/funding/B6.4_gantt.txt
   pypy/trunk/doc/funding/B6.7.wp02_maintenance.txt
   pypy/trunk/doc/funding/B7.0_other_issues.txt
Log:
Fixed case of section titles, added search stuff to state of the art, added para on QA.


Modified: pypy/trunk/doc/funding/B0.1_summary.txt
==============================================================================
--- pypy/trunk/doc/funding/B0.1_summary.txt	(original)
+++ pypy/trunk/doc/funding/B0.1_summary.txt	Mon Apr  5 08:12:29 2004
@@ -1,13 +1,13 @@
 
 **Proposal full title:**
 	 
-	 The full title of the Proposal is 'PyPy: Researching a highly
-         flexible and modular language platform and implementing it by
-         leveraging the Open Source Python Language and Community'.
+	 'PyPy: Researching a highly flexible and modular language platform
+         and implementing it by leveraging the Open Source Python Language
+         and Community'
 
 **Proposal acronym:**
 
-	 The proposal acronym is PYPY.
+	 The proposal acronym is PyPy.
 
 **Strategic Objectives:**
      

Modified: pypy/trunk/doc/funding/B1.0_objectives.txt
==============================================================================
--- pypy/trunk/doc/funding/B1.0_objectives.txt	(original)
+++ pypy/trunk/doc/funding/B1.0_objectives.txt	Mon Apr  5 08:12:29 2004
@@ -1,8 +1,8 @@
-Scientific and technological objectives of the project & state of the art
+Scientific and Technological Objectives of the Project and State of the Art
 ===============================================================================
 
 
-Problem to be solved
+Problem to be Solved
 ---------------------------
 
 Current language implementations are static and hard to modify by
@@ -49,7 +49,7 @@
 time developing on top of a customized but standard language offering both
 productivity and performance.
 
-Quantified specific objective
+Quantified Specific Objective
 -----------------------------------
 
 The aim of the PyPy project is to research and implement an interpreter
@@ -93,7 +93,7 @@
 Current State of The Art
 ------------------------------
 
-Interpreters Modularity
+Interpreter Modularity
 ++++++++++++++++++++++++ 
 
 Haskell monadic modular interpreters [LHJ95]_ [H98]_ are a
@@ -134,8 +134,8 @@
 interpreters for large practical languages.
 
 
-JITs and Dynamic Optimisation Complexity
-++++++++++++++++++++++++++++++++++++++++++
+Compilation and Optimisation
+++++++++++++++++++++++++++++
 
 JIT compilers have been reasonably well studied; an account of their
 history is given in [A03]_ . But actually writing a JIT compiler for a
@@ -178,6 +178,27 @@
 inherently be the case. Moreover it would likely benefit from integration
 with type-feedback techniques such as those developed for Self [HCU91]_ [HU94]_.
 
+Language Extensions
+-------------------
+
+The family of languages based around logic and constraint programming has
+proved very useful for knowledge representation and optimisation
+problems. The key features of these languages are the use of a *logic
+variable*, which allows the matching of data through unification or
+constraint processing, and non-determinsitc control structures. Work
+initiated at the DFKI has examined ways to combine these constructs with
+those from other languages[Sch02]_. A key concept here is *encapulated
+search*, which hives off these features from the more mainstream
+programming constructs.
+
+Several people have looked at Python as a programming language for
+Artificial Intelligence. Logilab initiated a project to implement
+constraint programming in Python [Log]_, and one of most popular text books
+in Artificial Intelligence has Python code for the examples
+[RN02]_. Moreover, the main inventor of the world wide web developed the
+first inference engine for the sematic web in Python [Cwm]_. However, none of
+these projects has realised code that can be used in production
+environments. It is simply too slow.
 
 Beyond State of The Art
 -----------------------------
@@ -241,9 +262,8 @@
 Spaces, or in the core or in modules to be translated, or as a pluggable
 behaviour of the translation itself.
 
-
-Translation aspects
-+++++++++++++++++++
+Compilation and Optimisation
+++++++++++++++++++++++++++++
 
 The front-end of the translator itself will be innovative in that it is
 based on abstract (symbolic) interpretation. The translation of code
@@ -283,6 +303,16 @@
 direct translation.
 
 
+Language Extensions
++++++++++++++++++++
+
+Within PyPy, we will be the first to provide usable constraint programming
+techniques within a popular VHLL. We will take advatntage of the
+light-weight multithreading that we will introduce to Python to handle the
+constratint processing efficiently and we will examine the use of object
+spaces to develop implementations of Python that are specialised for search
+tasks.
+
 Distribution
 ++++++++++++
 
@@ -330,6 +360,9 @@
 .. file = ucpy-reverse-engineering-python.pdf
 
 
+.. [Cwm] http://www.w3.org/2000/10/swap/doc/cwm
+
+
 .. [H98] Paul Hudak. "Modular Domain Specific Languages and Tools". ICSR 98. 
    1998.   http://haskell.org/frp/dsl.ps
 
@@ -385,6 +418,11 @@
 .. file = popl95.ps.gz
 
 
+.. [Log] http://www.logilab.org/projects/constraint
+
+.. [RN02] Russell, Stuart, and Norvig, Peter, "AI: A Modern Approach",
+   Prentice-Hall, 2002, http://aima.cs.berkeley.edu/python/readme.html
+
 .. [R03] Armin Rigo, http://psyco.sourceforge.net
 
 .. file = psycoguide.ps.gz
@@ -402,6 +440,9 @@
 .. file = ivme03.pdf
 
 
+.. [Sch02] Christian Schulte, "Programming Constraint Services".  Volume
+   2302 of Lecture Notes in Artificial Intelligence, Springer-Verlag, 2002
+
 .. [WAU99] Mario Wolczko, Ole Agesen, David Ungar, "Towards a
    Universal Implementation Substrate for Object-Oriented
    Languages",OOPSLA 99 workshop on Simplicity, Performance and

Modified: pypy/trunk/doc/funding/B2.relevance_to_IST.txt
==============================================================================
--- pypy/trunk/doc/funding/B2.relevance_to_IST.txt	(original)
+++ pypy/trunk/doc/funding/B2.relevance_to_IST.txt	Mon Apr  5 08:12:29 2004
@@ -19,7 +19,8 @@
 'IST Advisory Group: Software technologies, embedded systems and distributed 
 systems: A European strategy towards an Ambient Intelligent environment'). 
 
-Python as a language "for everybody"
+
+Python as a Language "For Everybody"
 ++++++++++++++++++++++++++++++++++++
 
 The European industry as well as many developers are not interested in
@@ -39,7 +40,7 @@
 language implementation.
 
 
-A development platform suited for tomorrow's European industry
+A Development Platform Suited for Tomorrow's European industry
 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 
 The EU is interested in **software technologies that are reliable,
@@ -61,7 +62,7 @@
 can only have a positive effect on European competitiveness.
 
 
-PyPy builds on the most successful language designed in Europe
+PyPy Builds on the Most Successful Language Designed in Europe
 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 
 Python is the most widely used European-designed computer language.
@@ -89,7 +90,7 @@
 strategies as outlined in the SWOT-analysis by the IST workgroup. 
 
 
-solving 'trust and confidence' problems
+Solving 'trust and Confidence' Problems
 +++++++++++++++++++++++++++++++++++++++
 
 The IST thematic priority will contribute directly to realizing
@@ -123,7 +124,7 @@
 This second form of trust is far more durable and useful.
 
 
-Strengthening social cohesion 
+Strengthening Social Cohesion 
 +++++++++++++++++++++++++++++
 
 Social cohesion is strengthened when technological advances are no
@@ -145,7 +146,7 @@
 national security they will benefit from the existence of PyPy as an
 Open Source language choice.  
 
-Participation of SME's in high-level research
+Participation of SME's in High-Level Research
 +++++++++++++++++++++++++++++++++++++++++++++
 
 The consortium includes the Python Business Forum, an international trade 

Modified: pypy/trunk/doc/funding/B3.impact.txt
==============================================================================
--- pypy/trunk/doc/funding/B3.impact.txt	(original)
+++ pypy/trunk/doc/funding/B3.impact.txt	Mon Apr  5 08:12:29 2004
@@ -1,6 +1,6 @@
 .. include:: crossreferences.asc
 
-Potential impact
+Potential Impact
 ---------------------------------------------------------------------------
 
 The successful execution of the PyPy project will deliver a highly productive
@@ -88,11 +88,10 @@
 
   --Guido van Rossum (home page: http://www.python.org/~guido/)
 
-In order to do this we will have to do something which is called
-'Submitting a PEP'.  A PEP - Python Enhancement Proposal - is a design
-document providing information to the Python community, or describing
-a new feature for Python.  The PEP process is designed for Community
-involvement and participation.
+In order to do this we will have to submit a PEP.  A PEP - Python
+Enhancement Proposal - is a design document providing information to the
+Python community, or describing a new feature for Python.  The PEP process
+is designed for Community involvement and participation.
 
 There are two kinds of PEPs. A Standards Track PEP describes a new
 feature or implementation for Python. An Informational PEP describes a
@@ -153,7 +152,7 @@
 huge amount of memory to achieve the highest performance speed.
 
 Python with greater speed will seamlessly improve the offerings of
-those European Companies who already develop using Python.  Moreover,
+those European companies who already develop using Python.  Moreover,
 some companies resist using Python because of speed concerns.  If
 execution speed, rather than development speed is of paramount
 importance, then Python is currently not a very good language
@@ -189,25 +188,25 @@
 in the United States.  This is not only an issue of money being
 spent in the United States is money that is not being spent here,
 although that affects matters as well.  There are two more serious
-risks. The first is a threat in the present.
+risks. 
 
-Any company which writes its software in a proprietary, closed source
-language is dependent upon its software provider.  If you have a bug,
-you must wait for them to fix it.  If this bug is not a high priority
-for them, you can wait a long time.  If you have access to the source
-you always have the option of fixing it yourself, or hiring somebody
-else to do that.  But this is not the greatest of your worries.  You
-are at constant risk of having your software provider discontinue
-support for your platform.  This is a real threat, not a theoretical
-one.  In 2002, Microsoft announced that it would no longer be
-supporting Visual Basic 6.0 after the year 2005.  All Visual Basic
-Developers have been told to convert their code to run under
-Microsoft's new .NET framework.  Before that, in 2001, Microsoft
-suddenly stopped supporting its Visual J++ language platform, meant
-to be a direct competitor for Java, after settling a lawsuit with Sun
-Microsystems.  No migration path was specified.  Microsoft is making
-these decisions because they make business sense for Microsoft,
-regardless of the effects on European software developers.
+The first is a threat in the present.  Any company which writes its
+software in a proprietary, closed source language is dependent upon its
+software provider.  If you have a bug, you must wait for them to fix it.
+If this bug is not a high priority for them, you can wait a long time.  If
+you have access to the source you always have the option of fixing it
+yourself, or hiring somebody else to do that.  But this is not the greatest
+of your worries.  The second threat is that you are at constant risk of
+having your software provider discontinue support for your platform.  This
+is a real threat, not a theoretical one.  In 2002, Microsoft announced that
+it would no longer be supporting Visual Basic 6.0 after the year 2005.  All
+Visual Basic Developers have been told to convert their code to run under
+Microsoft's new .NET framework.  Before that, in 2001, Microsoft suddenly
+stopped supporting its Visual J++ language platform, meant to be a direct
+competitor for Java, after settling a lawsuit with Sun Microsystems.  No
+migration path was specified.  Microsoft is making these decisions because
+they make business sense for Microsoft, regardless of the effects on
+European software developers.
 
 Right now Python is the sixth most popular programming language in the
 world.  Java and Visual Basic (VB), ranked 1 and 2, are closed source

Modified: pypy/trunk/doc/funding/B4.resources.txt
==============================================================================
--- pypy/trunk/doc/funding/B4.resources.txt	(original)
+++ pypy/trunk/doc/funding/B4.resources.txt	Mon Apr  5 08:12:29 2004
@@ -1,7 +1,7 @@
-The consortium and project resources
+The Consortium and Project Resources
 =====================================
 
-Description of the partners
+Description of the Partners
 ---------------------------
 
 DFKI
@@ -378,13 +378,13 @@
 will be restricted to Members of the EU and the Candidate countries, as
 part of the charter of this SIG.
 
-Sub-contracting 
+Sub-Contracting 
 ---------------
 
 Some pure accounting and auditing tasks will be subcontracted. No core
 technical functions or project management will be handed to non-partners.
 
-Other countries
+Other Countries
 ---------------
 
 While this project is of international interest, and while the PBF is
@@ -393,7 +393,7 @@
 the European Union and the Candidate countries.
 
 
-Quality of partnership, involvement of users and SMEs 
+Quality of Partnership, Involvement of Users and SMEs 
 -----------------------------------------------------
 
 Roles
@@ -405,110 +405,101 @@
 unique skills or functions, without which the project is not complete.
 
 DFKI
-++++
-has previous experience of being a project coordinator in EU projects,
-ensuring smooth communication between the project and the FP6 project
-officer. 
+  has previous experience of being a project coordinator in EU projects,
+  ensuring smooth communication between the project and the FP6 project
+  officer.
 
 University of Southampton
-+++++++++++++++++++++++++
-is the employer of Armin Rigo, who is the lead architect of the whole
-project as well as the author of Psyco, the blueprint for how to do
-optimisation in PyPy.
+  is the employer of Armin Rigo, who is the lead architect of the whole
+  project as well as the author of Psyco, the blueprint for how to do
+  optimisation in PyPy.
 
 Strakt
-++++++
-brings management knowhow and entrepreneurial skills to the project
-as well as showcasing how to apply the results of the project in a
-major business application.
-
-Strakt will also bring Tim Peters and Samuele Pedroni to the project.
-Tim Peters been a core developer of the Python language, what we call
-CPython, from its inception. Apart from being an outstanding
-programmer, Tim has intimate knowledge about all the details of the
-Python language definition. As Director of the Python Software
-foundation, Tim Peters is also responsible for the Intellectual
-Property of the existing Python language.
-
-Samuele Pedroni is currently the main developer of Jython (the
-industry-strength Java re-implementation of Python), working on
-internals, compilers and Java integration.  A member of the Python
-Software Foundation, he brings to the project his know-how on
-languages, re-implementation/design of Python, reflection, lookup and
-dispatch optimization.
-
-With 13 full time and 6 part time employees, Strakt is an SME
-representative.  Strakt is particularly interested in this project
-because it is doubtful that its Framework system, CAPS, can scale from
-several hundred thousand to several million concurrent users unless
-one of two things happen.  Either parts of CAPS are rewritten in C,
-which is faster, or Python itself becomes faster.  The second
-alternative is much to be preferred.  Participation will also enhance
-Strakt's ability to attract the best Python programmers, and add to
-it's reputation in the Open Source community.  Strakt's financial
-backer and board of Directors enthuthiastically endorse participation
-in this project as a brilliant strategic move.
+  brings management knowhow and entrepreneurial skills to the project as
+  well as showcasing how to apply the results of the project in a major
+  business application.
+
+  Strakt will also bring Tim Peters and Samuele Pedroni to the project.
+  Tim Peters been a core developer of the Python language, what we call
+  CPython, from its inception. Apart from being an outstanding programmer,
+  Tim has intimate knowledge about all the details of the Python language
+  definition. As Director of the Python Software foundation, Tim Peters is
+  also responsible for the Intellectual Property of the existing Python
+  language.
+
+  Samuele Pedroni is currently the main developer of Jython (the
+  industry-strength Java re-implementation of Python), working on
+  internals, compilers and Java integration.  A member of the Python
+  Software Foundation, he brings to the project his know-how on
+  languages, re-implementation/design of Python, reflection, lookup and
+  dispatch optimization.
+
+  With 13 full time and 6 part time employees, Strakt is an SME
+  representative.  Strakt is particularly interested in this project
+  because it is doubtful that its Framework system, CAPS, can scale from
+  several hundred thousand to several million concurrent users unless
+  one of two things happen.  Either parts of CAPS are rewritten in C,
+  which is faster, or Python itself becomes faster.  The second
+  alternative is much to be preferred.  Participation will also enhance
+  Strakt's ability to attract the best Python programmers, and add to
+  it's reputation in the Open Source community.  Strakt's financial
+  backer and board of Directors enthuthiastically endorse participation
+  in this project as a brilliant strategic move.
 
 Changemaker
-+++++++++++
-adds rare project management skills by managing not only the project,
-but the learning processes of the project participants as well as the
-group dynamics between the different members. We intend to document
-and disseminate the management of change throughout the project.
-Changemaker is also the contact point for Axis Communications, who
-will receive a specific report on how to integrate PyPy in an embedded device.
+  adds rare project management skills by managing not only the project, but
+  the learning processes of the project participants as well as the group
+  dynamics between the different members. We intend to document and
+  disseminate the management of change throughout the project. Changemaker
+  is also the contact point for Axis Communications, who will receive a
+  specific report on how to integrate PyPy in an embedded device.
 
 Logilab
-+++++++
-focuses on constraints and aspect oriented programming and will verify
-that PyPy is both extensible with specialised language features and
-embeddable in small-sized devices with dedicated hardware.
+  focuses on constraints and aspect oriented programming and will verify
+  that PyPy is both extensible with specialised language features and
+  embeddable in small-sized devices with dedicated hardware.
 
-With 7 full time employees, Logilab is an SME representative.
+  With 7 full time employees, Logilab is an SME representative.
 
 Python Business Forum
-+++++++++++++++++++++
-brings a number of SME parties to the project who are eager to
-apply PyPy to their various products. They are user Stakeholders, and the
-primary intended audience of some of our reports. Many of them, on their
-own, have expressed a desire to encorporate PyPy into their products as
-soon as it is finished and stable. We will report on their progress to the
-Commission as well, even though they are not to be funded by the
-Commission, as an extra point of reference.
-
-The PBF also provides important outreach to the members of Eastern
-Europe, and Candidate Countries. Since its founding, it has had
-a board member responsible for precisely that: 
-
--  I've been a PBF board member from its founding. I am responsible for
-   the Eastern Europe liaisons. I am an intermediary of sorts between
-   the PBF and the businesses located in the candidate countries of
-   Eastern Europe. The PBF is an important link between businesses in
-   the EU and the candidate countries.
+  brings a number of SME parties to the project who are eager to apply PyPy
+  to their various products. They are user Stakeholders, and the primary
+  intended audience of some of our reports. Many of them, on their own,
+  have expressed a desire to encorporate PyPy into their products as soon
+  as it is finished and stable. We will report on their progress to the
+  Commission as well, even though they are not to be funded by the
+  Commission, as an extra point of reference.
+
+  The PBF also provides important outreach to the members of Eastern
+  Europe, and Candidate Countries. Since its founding, it has had
+  a board member responsible for precisely that: 
+
+  -  I've been a PBF board member from its founding. I am responsible for
+     the Eastern Europe liaisons. I am an intermediary of sorts between
+     the PBF and the businesses located in the candidate countries of
+     Eastern Europe. The PBF is an important link between businesses in
+     the EU and the candidate countries.
 
- Jacek Artymiak
+   Jacek Artymiak
 
-Extra care will be taken to see that our results will be properly
-disseminated to our PBF members in the Candidate Countries.
+  Extra care will be taken to see that our results will be properly
+  disseminated to our PBF members in the Candidate Countries.
 
 Holger Krekel
-+++++++++++++
-will have a focus on development, packaging and
-dissemination tools. He will also be a main contributor in matters of
-systems architecture.
+  will have a focus on development, packaging and
+  dissemination tools. He will also be a main contributor in matters of
+  systems architecture.
 
 Christian Tismer
-++++++++++++++++
-is the developer of Stackless Python, which is the
-blueprint for how we intend to implement persistent threads.
+  is the developer of Stackless Python, which is the
+  blueprint for how we intend to implement persistent threads.
 
 Alex Martelli
-+++++++++++++
-is a prolific writer and popular speaker as well
-as a Python programmer. Alex is uniquely suited for widely
-disseminating the progress and the results of the project.
+  is a prolific writer and popular speaker as well as a Python
+  programmer. Alex is uniquely suited for widely disseminating the progress
+  and the results of the project.
 
-Ability to deliver
+Ability to Deliver
 ++++++++++++++++++
 
 DFKI, Logilab, and University of Southampton have
@@ -551,7 +542,7 @@
 Sprints, and join our mailing lists, talk to us via IRC - whatever 
 level of involvement is desired.
 
-Resources to be mobilised
+Resources to be Mobilised
 -------------------------
 In any project there are three crucial resources to be mobilised.
 

Modified: pypy/trunk/doc/funding/B5.0_manage_bea.txt
==============================================================================
--- pypy/trunk/doc/funding/B5.0_manage_bea.txt	(original)
+++ pypy/trunk/doc/funding/B5.0_manage_bea.txt	Mon Apr  5 08:12:29 2004
@@ -120,7 +120,7 @@
 The skills and experience of the combined management and coordination team are
 as follows:
  
-Large scale projects
+Large Scale Projects
 +++++++++++++++++++++
 
 **Jacob Hallén** has been working since 1994 with large scale development
@@ -176,7 +176,7 @@
 process for the EU Framework 3 (Växtkraft Mål 3) and has a experience
 of working with similar EU-funded projects since 1997.
  
-Financial tracking in projects
+Financial Tracking in Projects
 +++++++++++++++++++++++++++++++
 
 **Jacob Hallén** has a widespread experience of founding and managing
@@ -197,7 +197,7 @@
 department in NetGuide Scandinavia (1999-2002) she had budget and
 result responsibility.
  
-Leadership skills
+Leadership Skills
 ++++++++++++++++++
 
 **Jacob Hallén** has experienced leadership challenges in different
@@ -238,14 +238,13 @@
 Coordination in EU Projects
 +++++++++++++++++++++++++++
 
-Alastair Burt, DFKI
+**Alastair Burt**, DFKI, has participated in several European projects, was
+the coordinator of the EU-funded ASWAD free software project, and is in the
+coordinating team of the EUTIST-AMI cluster. The DFKI itself has over a
+decade of experience of working with the EU's financial and reporting
+procedures.
 
-He has participated in several European projects, was the coordinator of
-the EU-funded ASWAD free software project, and is in the coordinating team
-of the EUTIST-AMI cluster. The DFKI itself has over a decade of experience
-of working with the EU's financial and reporting procedures.
-
-Management structure
+Management Structure
 --------------------
 
 The management structure will be as follows:
@@ -337,7 +336,7 @@
 meetings.Agenda and discussions/decisions on these meeting will be
 documented and put up in the internal project web.
   
-Project review workshops ("learning loops") 
+Project Review Workshops ("learning loops") 
 +++++++++++++++++++++++++++++++++++++++++++
 
 Every six months, as preparation for the Management Board meetings and
@@ -352,7 +351,7 @@
 in the internal project web.
  
  
-"Sprint" Meetings are the key to PyPy's technical development 
+"Sprint" Meetings are the Key to PyPy's Technical Development 
 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 
 Key to PyPy's technical development and research are so called
@@ -406,7 +405,7 @@
 working prototype which is a big success not only in the eyes of its
 developers.
  
-Technical decisions 
+Technical Decisions 
 +++++++++++++++++++
 
 Major design or technical decisions are usually reached through
@@ -422,7 +421,7 @@
 individual contribution help enforce high-quality program code and
 good design decisions.
 
-Quality control of technical development
+Quality Control of Technical Development
 ----------------------------------------
 
 The PyPy project will ensure quality by a variety of means. On the
@@ -458,7 +457,7 @@
 choices for technical quality management are fit to meet highest
 standards.
  
-Additional Quality procedures
+Additional Quality Procedures
 +++++++++++++++++++++++++++++
 
 The project manager will circulate a draft Quality Management plan for
@@ -480,7 +479,7 @@
 - Evaluation routines 
 - Specific responsibilities within the project 
  
-Communication and reporting 
+Communication and Reporting 
 ---------------------------
 
 The project process will be reported as follows: 

Modified: pypy/trunk/doc/funding/B6.0_detailed_implementation.txt
==============================================================================
--- pypy/trunk/doc/funding/B6.0_detailed_implementation.txt	(original)
+++ pypy/trunk/doc/funding/B6.0_detailed_implementation.txt	Mon Apr  5 08:12:29 2004
@@ -142,7 +142,7 @@
 plugged into the existing bytecode interpreter; these two components,
 together, will then function as an abstract (or symbolic) interpreter in the
 usual sense of the word. The net result is that we can actually analyse
-RPython source code without writing any code specific to the language (!),
+RPython source code without writing any code specific to the language,
 given that we already have a bytecode interpreter which is flexible enough to
 accommodate a non-standard Object Space. In other words, the combination of
 PyPy and an "abstract" Object Space performs as the front-end of the
@@ -242,7 +242,7 @@
 version of PyPy that supports the whole of the Python language.
 
 
-Other research aspects
+Other Research Aspects
 ++++++++++++++++++++++
 
 The other part of Phase 2 focuses on non-performance-oriented research-level
@@ -310,7 +310,7 @@
 Phase 3 is also when we expect third parties to build on top of our platform.
 
 
-Language-level object models
+Language-Level Object Models
 ++++++++++++++++++++++++++++
 
 This is the topic of WP12_. We will integrate with the language itself three
@@ -382,10 +382,12 @@
 extension or proxy Object Space.
 
 
-Language-level extensions
+Language-Level Extensions
 +++++++++++++++++++++++++
 
-WP09_ and WP10_ are language-level extensions in the sense that they introduce new features usually present as libraries directly into the interpreter itself.
+WP09_ and WP10_ are language-level extensions in the sense that they
+introduce new features usually present as libraries directly into the
+interpreter itself.
 
 A major goal of the PyPy project is to enable people to carry out more of
 their programming tasks in Python without having to resort to other
@@ -395,29 +397,28 @@
 enhance the object model, thus offering in Python what can currently only
 be found in some other object-oriented languages. In particular:
 
-WP10_ will offer the ability to compose program functionality with aspects and to design
-object-oriented programs through contract. 
-For example, today to add aspects like logging or design-by-contract to
-functions you have to add a wrapper or another layer on top of existing
-definitions, a process which is clumsy and fragile and thus impractical.
-Instead it would be preferable to be able to hook into the internals of
-an interpreter and extend its behaviour, e.g. the method invocation
-mechanisms.  Specifically, WP10_ will experiment with having first-class
-hooks for checking arguments and return values, or supporting
-efficiently "around/after and before" behaviours like the similar
-concepts in the Common Lisp Object System.
+WP10_ will offer the ability to compose program functionality with aspects
+and to design object-oriented programs through contract. For example, today
+to add aspects like logging or design-by-contract to functions you have to
+add a wrapper or another layer on top of existing definitions, a process
+which is clumsy and fragile and thus impractical.  Instead it would be
+preferable to be able to hook into the internals of an interpreter and
+extend its behaviour, e.g. the method invocation mechanisms.  Specifically,
+WP10_ will experiment with having first-class hooks for checking arguments
+and return values, or supporting efficiently "around/after and before"
+behaviours like the similar concepts in the Common Lisp Object System.
 
 WP09_ will explore the integration of logic programming techniques.  For
-example, today to use a constrain solver like the one from the
-python-logic libraries, you have to resort to an unfamiliar custom
-syntax.  These libraries would be much more useful if they were better
-integrated with the language.  WP09_ will specifically experiment with
-rewriting parts of the python-logic libraries in RPython for integration
-and performance, and enhance the syntax to support them, with the goal of
-supporting Semantic Web and knowledge representation applications.
+example, today to use a constraint solver like the one from the
+python-logic libraries, one has to resort to an unfamiliar custom syntax.
+These libraries would be much more useful if they were better integrated
+with the language.  WP09_ will specifically experiment with rewriting parts
+of the python-logic libraries in RPython for integration and performance,
+and enhance the syntax to support them, with the goal of supporting
+Semantic Web and knowledge representation applications.
 
 
-Interpreter adaptations
+Interpreter Adaptations
 +++++++++++++++++++++++
 
 The PyPy interpreter as developed in Phases 1 and 2 will be particularly
@@ -497,10 +498,11 @@
 the project's results. Diagrams and schematics will be provided to illustrate
 fundamental concepts, as appropriate to the audience and the subject matter. 
 
-To ensure stakeholder participation and feedback that goes beyond the python community, 
-wp14_ also consists of arranging workshops ( 6 in total) to disseminate the ongoing 
-process- and  development progress.The majority of the workshops are going to target important
-stakeholder groups and will primarily focus on disseminating PyPy results from an implementation
+To ensure stakeholder participation and feedback that goes beyond the
+python community, wp14_ also consists of arranging workshops ( 6 in total)
+to disseminate the ongoing process- and development progress.The majority
+of the workshops are going to target important stakeholder groups and will
+primarily focus on disseminating PyPy results from an implementation
 perspective, customized for the target groups different needs.
 
 Maintenance

Modified: pypy/trunk/doc/funding/B6.4_gantt.txt
==============================================================================
--- pypy/trunk/doc/funding/B6.4_gantt.txt	(original)
+++ pypy/trunk/doc/funding/B6.4_gantt.txt	Mon Apr  5 08:12:29 2004
@@ -1,4 +1,4 @@
-Project planning and time table; (Gantt chart)
+Project planning and time table (Gantt chart)
 -----------------------------------------------
 
 .. image:: project_gantt.png

Modified: pypy/trunk/doc/funding/B6.7.wp02_maintenance.txt
==============================================================================
--- pypy/trunk/doc/funding/B6.7.wp02_maintenance.txt	(original)
+++ pypy/trunk/doc/funding/B6.7.wp02_maintenance.txt	Mon Apr  5 08:12:29 2004
@@ -1,6 +1,6 @@
 .. include:: crossreferences.asc
 
-.. |title| replace:: Infrastructure and tools
+.. |title| replace:: Infrastructure and Tools
 .. |wp|    replace:: WP02
 .. |start| replace:: 0
 .. |p1|    replace:: Krekel

Modified: pypy/trunk/doc/funding/B7.0_other_issues.txt
==============================================================================
--- pypy/trunk/doc/funding/B7.0_other_issues.txt	(original)
+++ pypy/trunk/doc/funding/B7.0_other_issues.txt	Mon Apr  5 08:12:29 2004
@@ -165,7 +165,7 @@
    partitioning that will significantly strengthen the defenses. As
    far as we know, no other language has this feature.
 
-Other Policy related Issues
+Other Policy Related Issues
 ---------------------------
 
 As we mentioned before, one of the greatest threats to European


More information about the Pypy-commit mailing list