Fixpoint Methods: This topic is concerned with a uniform treatment of fixpoint specification and solution which exploits the best aspects of ideas used in the current fragmentary views seen in imperative, logic and functional language groups.
Compilation and Optimisation: New issues in compilation and optimisation guided by abstract interpretation will be investigated: interaction and integration of the compiler and the static analyser, modularity of the analysis and new source-to-source program transformations, in particular, transformations yielding superlinear speedups.
Analysis of ``full'' Prolog and CLP: Frameworks providing a complete treatment of existing built-ins inside new abstract domains incorporating information about the search rule such as sure execution of cuts, determinacy of procedures, number of solutions, will be developed and implemented. They will be extended to practical CLP languages.
Analysis of Functional Logic Programs: New analysis frameworks adequate to the specific operational semantics of functional logic programs will be developed.
Concurrency: This topic includes methods and tools generally applicable to the analysis of concurrent systems. Application of these methods and tools to cc(FD) will be deeply investigated.