Objectif
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).
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Données non disponibles
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Données non disponibles
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Données non disponibles
Coordinateur
92126 Montrouge
France
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.