Objective
The main objective of GIPE was to investigate the possibilities of automatically generating interactive programming environments from language specifications.
Such an interactive environment was to be generated from a complete syntactic and semantic characterisation of the language to be used, formally expressed in a Language Definition Formalism (LDF). An inference rule-based approach and an algebraic approachwere considered as the starting point for the design of the LDF.
A prototype system was designed and implemented, consisting basically of an LDF compiler, a file system and a user interface.
The main objective of the project was to investigate the possibilities of automatically generating interactive programming environments from language specifications. Such an interactive environment was to be generated from a complete syntactic and semantic characterization of the language to be used, formally expressed in a language definition formalism (LDF). An inference rule based approach and an algebraic approach were considered as the starting point for the design of the LDF. A prototype system was designed and implemented, consisting of an LDF compiler, a file system and a user interface. A language for specifying static constraints declaratively, TYPOL, was defined, and the formalism compiled into Prolog for execution. Another important set of results concerns investigations into obtaining a method of enhancing first order algebraic data type specifications to support concrete syntax descriptions, using a sub-typing mechanism. Central to the system is the virtual tree processor (VTP), which was specified and implemented. Portability of developments is assured by a software development environment common to all partners, connecting Unix, LE-Lisp, C-Prolog, the VTP, and a virtual window manager
Significant progress was achieved by the GIPE project in several areas. A language for specifying static constraints declaratively, TYPOL, was defined, and the formalism compiled into Prolog for execution.
Another important set of results concerns investigations into obtaining a method of enhancing first-order algebraic data type specifications to support concrete syntax descriptions, using a sub-typing mechanism. Central to the system is the Virtual Tree Processor (VTP), which was specified and implemented.
A first version of the GIPE (Centaur) system presenting major improvements with regard to the MENTOR system (developed at INRIA) has been demonstrated to more than 50 research organisations. One direction of work, to be pursued in another project, is now the improvement of the person-machine interface. Portability of those developments is assured by a software development environment common to all partners, connecting Unix, LE-Lisp, C-Prolog, the VTP, and a virtual window manager.
Exploitation
The first version of CENTAUR has been distributed to academic and research laboratories, and 25 systems have already been installed.
The GIPE project resulted in a prototype system which will now be industrialised. The results should advance the state of practice of the software industry. The industrial applicability will also be demonstrated through well-targeted experiments. It is also intended to use some of GIPE's results in the definition of a software factory (EUREKA project ESF).
Fields of science (EuroSciVoc)
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Data not available
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Data not available
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Data not available
Coordinator
92126 Montrouge
France
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.