Ziel
The major goal of SEMANTIQUE is to establish, by a mixture of theoretical investigation and practical experiments, techniques which will allow the automation of the software manufacturing process. Topics of interest to members of the Group include semantic foundations of program analysis and manipulation, program analysis, program generation and advanced implementation techniques.
Technology is being developed for manufacturing software under human guidance, but with minimal human involvement, with the aim of moving away from today's way of treating programs one at a time to treating them as anonymous members of classes, subject to mechancial transformation, optimization and other adaptations.
Previous work on program analysis has emphasized the abstract interpretation approach. This work has been important for providing frameworks for correctness proofs and for understanding the relationships between approaches. Unfortunately the higher order analyses have proved difficult to implement efficiently. Over the last 2 years, there has been a definite shift in the work to using nonstandard type inference systems for describing analyses; the implementation route for such analyses has been well studied. One tangible result of this work has been a fourfold increase in speed for Similix by reengineering the analyses to use constraint solving algorithms. Several new analysis techniques have been developed for analysis of concurrent languages such as Linda, Gamma and Concurrent ML. Other approaches are now being considered for program generation, as well as partial evaluation. In particular, a deeper understanding of Turchin's notion of supercompilation and its relationship to partial evaluation has been developed. A partial evaluator for a large subset of the C programming language has been implemented.
ACTIVITIES
The Group's expertise ranges across a broad spectrum from pure theory through to extensive practical experience of implementing semantics-based program manipulation tools. Hitherto, the main emphasis of our work has been on the development of techniques for static analysis of programs based on abstract interpretation and program generation using partial evaluation. Over the last year, however, much of our work on program analysis has been based on non-standard type inference and we are beginning to look at other approaches to program generation (eg Turchin's notion of supercompilation). We have also devoted more effort on non-functional languages, for example analysis of CML (Concurrent ML) and partial evaluation of C.
POTENTIAL
Semantics-based program analysis is at the interface between theory and practice. Since SEMANTIQUE is a Basic Research Working Group, the majority of our results take the form of scientific papers rather than artefacts. Nevertheless, our work on program generation is tested by means of prototype programs and the same is now true of our program analysis work in the context of the Glasgow Haskell Compiler. Similix and the Haskell compiler have been widely distributed. There are signs of growing industrial interest in the partial evaluation work.
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
- Technik und Technologie Maschinenbau Produktionstechnik
- Naturwissenschaften Informatik und Informationswissenschaften Software
- Sozialwissenschaften Soziologie industrielle Beziehungen Automatisierung
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Daten nicht verfügbar
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Daten nicht verfügbar
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Daten nicht verfügbar
Koordinator
SW7 2BZ LONDON
Vereinigtes Königreich
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.