Logical and Operational Methods in the Analysis of Programs and Systems
Description
- Project Title:
- Logical and Operational Methods in the Analysis of Programs and Systems
- Acronym:
- LOMAPS
- Number:
- 8130
- Work Area:
- Theories and models for the design of heterogeneous systems
- Coordinator:
- Computer Science Department
Aarhus University
Ny Munkegade
DK- 8000 AARHUS C
- Coordinator Country:
- DK
- Partners
- ECRC GmbH D
Ecole Normale Supérieure F
CRI F
Università di Pisa I
SICS S
University of Cambridge UK
- Contact Point:
- Dr. Flemming Nielson
- Telephone:
- +45/89 42 33 63
- Fax:
- +45/86 13 57 25
- E-Mail:
- fnielson@daimi.aau.dk
- Keywords:
- program analysis, inference systems, operational semantics, multiparadigmatic languages
- Start Date:
- to be announced
- Duration:
- 36 months
- Status:
- starting
- Abstract:
- The LOMAPS project conducts basic research into methods and techniques for the analysis of performance and reliability of high-level programs and systems with emphasis on multi-paradigmatic languages.
AIMS
To study hybrid systems that exhibit one or more of the following characteristics: physical distribution, massive parallelism, combinations of computational paradigms, higher order communication, and multiple agents with dynamically evolving interconnection topology. The main tools and techniques to be used and further enhanced are Operational Semantics for the lucid description of systems and languages of such hybrid structure, and Inference Systems and other Logical Notions for the concise formulation of useful and correct analyses about the behaviour of systems.
APPROACH AND METHODS
The project involves partners from both industrial research laboratories and academia and from six countries: Denmark (DAIMI), France (ENS, CRI), Germany (ECRC), Italy (DIPISA), Sweden (SICS) and United Kingdom (CAMCL). Members of this team are well versed in the existing techniques for individual programming paradigms. Together they constitute the required base for developing the multiparadigmatic analysis, verification and transformation tools called for by current and planned applications of an industrial nature. The project complements existing ESPRIT Basic Research into the foundations of such multiparadigm languages by adding the considerations of efficiency that are vital for applications to survive in the market place: the formulaton of the workplan as well as the presence of industrial research laboratories and academic institutions will ensure the profitable interplay between "applicable theory" and "reliable practice" and will thus strengthen the opportunities for transferring know how to the European computer industry.
POTENTIAL
Our main technological objectives are the development of advanced analysis and verification techniques for software development. We are primarily motivated by their application in compilers and programming environments for multiparadigmatic programming languages implemented in a distributed setting. This is important because the market place is already beginning to see the arrival of "end-user" applications that require a multiparadigmatic approach: to handle multiple cooperating agents and to exploit the availability of massively parallel computing systems; examples include multi-media/multi-user systems and real-time process control systems.
Sven Müßig, last update 07-nov-1995. Your feedback is welcome.