The ESC Project

Efficient Symbolic Computing

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.

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

Project leader
Jacquet Jean-Marie

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

Funding body
Europe Commission: INTAS project under framework IV


Related web page
Official page