< Back to previous page

Project

Declarative methods in computer science.

To cope with the need to build increasingly large and complex software systems, there is a growing demand for declarative approaches which abstract away unnecessary details and focus on the functionality of the systems. The network wants to further promote the development of such approaches which emerge from work in databases, functional and logic programming.
Date:1 Jan 2016 →  31 Dec 2020
Keywords:LOGIC PROGRAMMING, DATABASES, SOFTWARE SYSTEMS, FUNCTIONAL PROGRAMMING, DECLARATIVE APPROACHES
Disciplines:Applied mathematics in specific fields, Artificial intelligence, Cognitive science and intelligent systems
Project type:Collaboration project