The ESC Project

Title
Efficient Symbolic Computing

Description
The objective of the project is to set up a research network with eight nodes in four member states of the Former Soviet Union and eleven nodes in seven member states of the European Union. The research undertaken focusses on efficient symbolic computing with efficiency understood at the levels of implementations, algorithms and development of code. The research encompasses both theory and practice. It is organised in seven tasks including theoretical foundations, program construction and transformation methodologies, program analysis techniques, implementation, programming environments, language design, and applications.

Keywords
Symbolic programming, Semantics, Programming methodologies, Programming environments, Implementation, Theoretical computer science.

Project leader
Jacquet Jean-Marie

Duration
01/12/94 -> 01/04/99

Funding body
Europe Commission: INTAS project under framework IV

Collaboration

Related web page
Official page