Skip to main content

Generation of Interactive Programming Environments II

Objective

The GIPE II project has used a generic interactive programming environment as a basis for work in two areas:

- design, implementation, and experimentation of real-size environments for industrial applications
- advanced research in the area of interactive environments, based on formal specifications.
The project planned to use a generic interactive programming environment as a basis for work in 2 areas:
design, implementation, and experimentation of real size environments for industrial applications;
advanced research in the area of interactive environments, based on formal specifications.

This project takes as a starting point the interactive programming environment generator that was the successful outcome of project 348 (GIPE). This system uses as input the complete formal discription of a programming language and produces a specific environment for that language. The resulting environment includes an editor, an interpreter/debuggger, and other tools, all of which have uniform graphics person machine interfaces.

The main result of the GIPE project has been to demonstrate that this technology is feasible. Its follow up, GIPE III, aims to make it mature by providing support for the construction of large formal language definitions, extending the functionality and performance of the generated environments, and demonstrating the approach in a number of selected industrial applications, such as the construction of a development environment for scientific computing and the development of an environment for the LOTOS specification language.

A distributed architecture for the Centaur system has been proposed which makes the system more modular and more appealing to potential customers. Progress has also been achieved on Centaur's interfaces (displays and printing).
The more advanced capabilities of the system are now being explored with the treatment of Fortran, which may lead in an increase of productivity for the parallel program creator and theorem prover communities.
This project takes as a starting point the interactive programming environment generator that was the successful outcome of project 348 (GIPE). This system uses as input the complete formal description of a programming language and produces a specific environment for that language. The resulting environment includes an editor, an interpreter/debugger, and other tools, all of which have uniform graphics user interfaces.

The main result of the GIPE project has been to demonstrate that this technology is feasible.

Its follow-up, GIPE II, aims to make it mature by providing support for the construction of large formal language definitions, extending the functionality and performance of the generated environments, and demonstrating the approach in a number of selected industrial applications, such as the construction of a development environment for scientific computing and the development of an environment for the LOTOS specification language.

Coordinator

Sema Group SA
Address
16-20 Rue Barbes
92126 Montrouge
France

Participants (9)

Bull SA
France
Address
Tour Bull 1 Place Carpeaux
92800 Puteaux
Gipsi SA
France
Address
2 Boulevard Vauban
78053 Saint-quentin-en-yvelines
Institut National de Recherche en Informatique et en Automatique - INRIA
France
Address
Domaine De Voluceau-rocquencourt
78153 Le Chesnay
ORGA F A MEYER
Germany
Address
Kurt-schumacher-straße 241
26389 Wilhelmshaven
PLANET SA
Greece
Address
Louise Riencourt St. 64
11523 Athenes
PTT NETHERLANDS RESEARCH
Netherlands
Address
, 570
9700 AN Groningen
STICHTING VOOR MATEMATISCH CENTRUM - CENTRUM VOOR WISKUNDE & INFORMATICA
Netherlands
Address
Kruislaan 413, 4079
1009 AB/10 Amsterdam
TECHNISCHE HOCHSCHULE DARMSTADT
Germany
Address
Magdalenenstraße 11C
64289 Darmstadt
UNIVERSITEIT VAN AMSTERDAM
Netherlands
Address
, 41882
1009 Amsterdam