< Back to previous page

Project

Declarative methods in computer science 2016-2020 (R-7914)

The demand for, on the one hand, increasingly large and complex software systems and, on the other hand, for an increase in durability and reliability of such systems challenges the IT. Contributions to a better control of such systems are largely the result of fundamental research aimed at developing "declarative methods," formalisms that allow to describe systems at a higher level of abstraction, allowing a better distinction between the "what" and "how" but still allow to perform calculations efficiently on the specified models. Logic plays an important role in such formalisms as well as in many domains. The scientific research community "Declarative methods in computer science" encourages the cooperation between the Flemish research groups who contribute to the development of such a declarative approach to computer problems. Also, it contributes to the development of international contacts and the cooperation and the pursuit of excellence in research.
Date:1 Jan 2016 →  31 Dec 2020
Keywords:declarative methods
Disciplines:Applied mathematics in specific fields
Project type:Collaboration project