[pypy-svn] rev 1680 - pypy/trunk/doc/funding
pedronis at codespeak.net
pedronis at codespeak.net
Fri Oct 10 19:25:44 CEST 2003
Author: pedronis
Date: Fri Oct 10 19:25:37 2003
New Revision: 1680
Removed:
pypy/trunk/doc/funding/B6.7.wp90_constraint_prog.txt
Modified:
pypy/trunk/doc/funding/B6.7.wp09_language_extensions.txt
pypy/trunk/doc/funding/B6.7.wp10_app_language_ext.txt
Log:
reworked wp10/wp90 contents into wp09.
put some start of wp10 real contetnts into it from wp90.
removed wp90.
Modified: pypy/trunk/doc/funding/B6.7.wp09_language_extensions.txt
==============================================================================
--- pypy/trunk/doc/funding/B6.7.wp09_language_extensions.txt (original)
+++ pypy/trunk/doc/funding/B6.7.wp09_language_extensions.txt Fri Oct 10 19:25:37 2003
@@ -1,5 +1,13 @@
.. include:: crossreferences.asc
+:DELETE:BEGIN
+
+FIXME
+partecipants: Logilab, PBF, (DFKI?)
+time estimates: ?
+
+:DELETE:END
+
.. |title| replace:: Language Research and Extensions
.. |wp| replace:: WP09
.. |start| replace:: 0
@@ -22,21 +30,62 @@
**Objectives**
-XXX write me
+Leveraging PyPy flexibility implement language-integrated constraint
+satisfaction algorithms and inference engine to allow logic
+programming for Semantic Web applications. Also implement aspect
+oriented programming language features.
.. include:: wp-tableend.asc
.. include:: wp-tablebegin.asc
**Description of work**
-XXX write me
+**Task 1**
+
+Using the flexible architecture provided by the PyPy interpreter, we
+will first reimplement the current python-logic libraries available
+from Logilab to better integrate with the language and gain important
+execution speed-ups.
+
+:DELETE:BEGIN
+FIXME should we mention (where?) that this is going to be used
+by WP10_:
+
+This logic programming enabled python interpreter will then be
+used to further develop the projects related to Semantic Web
+applications that are on-going at Logilab and DFKI.
+:DELETE:END
+
+**Task 2**
+
+Using the flexible architecture provided by the PyPy interpreter,
+we will first reimplement the current aspect-oriented libraries
+available from Logilab, to better integrate with the language
+and greatly simplify the design and enhance the performance.
+
+:DELETE:BEGIN
+FIXME where should this go?
+This aspect enabled interpreter will be used to offer
+design-by-contract facilities as seen in the Eiffel programming
+language and the current aspect-oriented library. It will also
+allow us to implement advanced static checking and code
+correctness capabilities, thus furthering the work done with
+the pychecker and pylint tools.
+:DELETE:END
.. include:: wp-tableend.asc
.. include:: wp-tablebegin.asc
**Deliverables**
-XXX write me
+- DL??? Implementation of constraint satisfaction engine and
+ inference engine in PyPy
+
+- DL??? Implementation of aspect-oriented programming
+ capabilities in PyPy
+
+- DL??? Implementation of design-by-contract and advanced
+ static checking capabilities.
.. include:: wp-tableend.asc
.. include:: wp-tablebegin.asc
Modified: pypy/trunk/doc/funding/B6.7.wp10_app_language_ext.txt
==============================================================================
--- pypy/trunk/doc/funding/B6.7.wp10_app_language_ext.txt (original)
+++ pypy/trunk/doc/funding/B6.7.wp10_app_language_ext.txt Fri Oct 10 19:25:37 2003
@@ -2,18 +2,12 @@
:DELETE:BEGIN:
-participants are Logilab and PBF
+FIXME
+participants: Logilab and DFKI
+time estimates:
+roughly 1,5 person each --> 3 person total for 1 year (?)
-possible: Alex Martelli with Strakt or PBF ?
-
-FIXME_NICO: Title was
-Aspect Oriented Programming and static checking
-
-Is this the right place for this? Please change as you see fit.
-
-Also, part of the work description should be moved into
-the introduction, it is a little too verbose here.
-(Just leave it in here for now)
+FIXME Semantic Web in the title ?
:DELETE:END:
@@ -39,37 +33,25 @@
**Objectives**
-Implement aspect oriented programming features to
-allow for more flexible ways to design software
-applications by better separating design concerns.
+The logic programming enabled Python interpreter produced in WP09_
+will then be used to further develop the projects related to Semantic
+Web applications that are on-going at Logilab and DFKI.
.. include:: wp-tableend.asc
.. include:: wp-tablebegin.asc
**Description of work**
-Using the flexible architecture provided by the PyPy interpreter,
-we will first reimplement the current aspect-oriented libraries
-available from Logilab, to better integrate with the language
-and greatly simplify the design and enhance the performance.
-
-This aspect enabled interpreter will be used to offer
-design-by-contract facilities as seen in the Eiffel programming
-language and the current aspect-oriented library. It will also
-allow us to implement advanced static checking and code
-correctness capabilities, thus furthering the work done with
-the pychecker and pylint tools.
+FIXME_DFKI should fill this in...
.. include:: wp-tableend.asc
.. include:: wp-tablebegin.asc
**Deliverables**
-- DL??? Implementation of aspect-oriented programming
- capabilities in PyPy
-
-- DL??? Implementation of design-by-contract and advanced
- static checking capabilities.
+- DL??? Assessment of benefits obtained from using PyPy over
+ current tools to further develop Semantic Web projects
+ at Logilab and DFKI.
.. include:: wp-tableend.asc
.. include:: wp-tablebegin.asc
Deleted: /pypy/trunk/doc/funding/B6.7.wp90_constraint_prog.txt
==============================================================================
--- /pypy/trunk/doc/funding/B6.7.wp90_constraint_prog.txt Fri Oct 10 19:25:37 2003
+++ (empty file)
@@ -1,70 +0,0 @@
-.. include:: crossreferences.asc
-
-:DELETE:BEGIN:
-
-participants are Logilab and DFKI
-
-roughly 1,5 person each
-
---> 3 person total for 1 year (?)
-
-:DELETE:END:
-
-.. |title| replace:: Constraint programming for the Semantic Web
-.. |wp| replace:: WP90
-.. |start| replace:: |e|
-.. |p1| replace:: X
-.. |m1| replace:: 0
-.. |p2| replace:: Y
-.. |m2| replace:: 0
-.. |p3| replace:: Z
-.. |m3| replace:: 0
-.. |p4| replace:: |e|
-.. |m4| replace:: |e|
-.. |p5| replace:: |e|
-.. |m5| replace:: |e|
-.. |p6| replace:: |e|
-.. |m6| replace:: |e|
-
-.. include:: wp-toptable.asc
-
-.. include:: wp-tablebegin.asc
-
-**Objectives**
-
-Implement constraint satisfaction algorithms and
-inference engine to allow logic programming for
-Semantic Web applications.
-
-.. include:: wp-tableend.asc
-.. include:: wp-tablebegin.asc
-
-**Description of work**
-
-Using the flexible architecture provided by the PyPy interpreter,
-we will first reimplement the current python-logic libraries
-available from Logilab to better integrate with the language
-and gain important execution speed-ups.
-
-This logic programming enabled python interpreter will then be
-used to further develop the projects related to Semantic Web
-applications that are on-going at Logilab and DFKI.
-
-.. include:: wp-tableend.asc
-.. include:: wp-tablebegin.asc
-
-**Deliverables**
-
-- DL??? Implementation of constraint satisfaction engine and
- inference engine in PyPy
-
-- DL??? Assessment of benefits obtained from using PyPy over
- current tools to further develop Semantic Web projects
- at Logilab and DFKI.
-
-.. include:: wp-tableend.asc
-.. include:: wp-tablebegin.asc
-
-**Milestones and Expected Result**
-
-.. include:: wp-tableend.asc
More information about the Pypy-commit
mailing list