The R+D Group MiST
(MultI-paradigm Software Technology)
(LightwEight Verification and debugging for Improving software
January 1, 2009 - December 31, 2012 (4 years)
The global aim of this project is the development of novel foundations
and applications of rigorous software technologies that contribute to
the expressivity, reliability, security and performance of software
systems and programming languages.
Our work will be mainly centered along the following four broad lines
Foundations for new extensions of multi-paradigm declarative
Development of rigorous techniques for improving the development
of highly reliable software.
Design of certified software tools for modeling and manipulating
Transfer of declarative technologies to other contexts and
paradigms like, e.g., databases and query languages.
From a scientific and methodological point of view, the project
covers (in a well balanced way) both theoretical aspects about the
foundations of the new proposals and practical aspects leading to
their effective implementation.
This project constitutes a natural evolution of previous coordinated
efforts by the three participating research teams. They all have a
considerable expertise in R+D projects focused on the areas of
multi-paradigm programming languages and rigorous software development
technologies, broad fields in which Spanish research has a solid