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
-
- University of Leuven - Department of Computer Science,
Leuven, Belgium
(Prof. Maurice Bruynooghe)
- University of Paris VI and VII - LITP,
Paris, France
(Prof. Maurice Nivat)
- University of Bristol,
Bristol, United Kingdom
(Prof. John Gallagher)
- City University,
London, United Kingdom
(Prof. David Gilbert)
- INRIA,
Paris, France
(Prof. Philippe Codognet)
- University of Lisbon - Department of Computer Science,
Lisbon, Portugal
(Prof. Luis Monteiro)
- University of Passau - Department of Computer Science,
Passau, Germany
(Prof. Sergei Gorlatch)
- University of Pisa - Department of Computer Science,
Pisa, Italy
(Prof. Antonio Brogi)
- University of Rome - Department of Computer Science,
Rome, Italy
(Prof. Alberto Pettorosi)
- University of Vienna - Department of Computer Science,
Vienna, Austria
(Prof. Ulrich Neumerkel)
- Armenian Academy of Science,
Yerevan, Armenia
(Prof. Yuri Shoukourian)
- Belarusian Academy of Science,
Minsk, Belarus
(Prof. Arkadij Zakrevskij)
- Irkutsk University,
Irkutsk, Russia
(Prof. Andrei Mantsivoda)
- Moscow Engineering Physics Institute,
Moscow, Russia
(Prof. Nikolai Ilinski)
- Russian Academy of Science,
Moscow, Russia
(Prof. Edouard Lioubinski)
- Russian Academy of Science,
St. Petersburg, Russia
(Prof. Evgeny Dantsin)
- Ukrainian Academy of Science,
Kiev, Ukraine
(Prof. Alexander Letichevsky)
- International Software Technology Center,
Kiev, Ukraine
(Dr. Michael Reviakin)
- Related web page
- Official page