Logical and Operational Methods in the Analysis of Programs and Systems

LOMAPS - 8130

Work Area: Theories and Models for the Design of Heterogeneous Systems

Keywords program analysis, inference systems, operational semantics, multiparadigmatic languages

Start Date: to be announced / Status: starting

[ participants / contact ]

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.


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.


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.

Further information about LOMAPS is available from the LOMAPS home page <URL:http://www.daimi.aau.dk/~bra8130>.


Computer Science Department - DK
Aarhus University
Ny Munkegade


Ecole Normale Supérieure - F
Università di Pisa - I
University of Cambridge - UK


Dr. Flemming Nielson
tel +45/89 42 33 63
fax +45/86 13 57 25
e-mail: fnielson@daimi.aau.dk

LTR synopses home page LTR work area index LTR acronym index LTR number index LTR Projects index
All synopses home page all acronyms index all numbers index

LOMAPS - 8130, August 1994

please address enquiries to the ESPRIT Information Desk

html version of synopsis by Nick Cook