LOMAPS is an acronym for Logical and Operational Methods in the Analysis of Programs and Systems . It is an ESPRIT BRA project on the development of advanced methods for analysing and verifying properties of multiparadigmatic programming languages like functional languages with concurrency primitives and of hybrid systems that exhibit physical distribution, massive parallelism, combinations of computational paradigms, higher order communication, or 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.
The action involves partners from both industrial research laboratories and academia and from six countries. University of Aarhus is the coordinator; contact Flemming Nielson.