Until now programming concepts related to time have been mainly developed in the context of imperative programming. In contrast a declarative programming style, since it reduces the gap between specifications and programs, facilitates the development, maintenance and modification of such programs.
Declarative programming is supported by both functional and logic languages.
Logic languages also have the advantage that they allow simple concurrent extensions and they can naturally be integrated with constraint programming. Moreover, due to their explicit logical nature, they allow quite simple methodologies for program correctness. For these reasons, we believe that logic languages are natural candidates to deal with the difficulties of time-critical applications. The objective of this working group is to investigate time-critical applications within the paradigm of concurrent logic and constraint languages. More specifically, the group focuses on the design and development of a declarative logic language based on extensions of concurrent constraint programming.