.. include:: crossreferences.asc

.. |title| replace:: Extend Language with Aspects and Contracts
.. |wp|    replace:: WP10
.. |start| replace:: 9
.. |p1|    replace:: Logilab
.. |m1|    replace:: 9
.. |p2|    replace:: DFKI
.. |m2|    replace:: 3
.. |p3|    replace:: |e|
.. |m3|    replace:: |e|
.. |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**

Leveraging PyPy flexibility implement aspect-oriented programming,
design-by-contract and advanced static checking capabilities.

.. include:: wp-tableend.asc
.. include:: wp-tablebegin.asc

**Description of work**


**Task 1**

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.

**Task 2**

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. 
This will also allow us to implement advanced static
checking and code correctness checking capabilities, thus furthering
the work done with the pychecker and pylint tools.

.. include:: wp-tableend.asc
.. include:: wp-tablebegin.asc

**Deliverables**

- D10.1 Implementation of aspect-oriented programming capabilities in PyPy

- D10.2 Implementation of design-by-contract and advanced static checking capabilities

.. include:: wp-tableend.asc
.. include:: wp-tablebegin.asc

**Milestones and Expected Result**

- Python interpreter exhibiting aspect-oriented programming,
  design-by-contract and advanced static checking capabilities.

.. include:: wp-tableend.asc