HCM Network on
Abstract Interpretation for Declarative Languages
Human Capital and Mobility Networks are research projects, with
an emphasis on mobility and collaboration of researchers between
different European sites. In particular, they provide grants for
research visits to post-doctoral and experienced post-graduate
students.
The HCM Network " Abstract Interpretation for Declarative
Languages" ( ABILE) was launched 1 January 1995 for a
period of 3 years. The network consists of 13 research centers
in Europe, active on the topic of Abstract Interpretation of
Declarative Languages. It has a total budget of about 234.000
ECU. The network provides funding for the equivalent of 7 full
time guest researchers visiting nodes of the network for periods
of approximately 6 months each. Shorter or longer visits as well
as a higher or lower number of visits can also be supported
depending on individual needs, and salary variations.
The following topics will be specifically studied in the context of
the network:
- 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.
The deadline of the next call for visting positions is 31 March,
1996. The official call is available HERE .
Applications for visiting research positions in the context of
the network must include a full CV and a research proposal
including:
- node to be visited
- work to be achieved
- duration of the visit
and should be sent to Baudouin Le Charlier, coordinator of the
network. Applicants should previously contact the principal
investigator of their anticipated host site to prepare their
research proposal and to get financial information (since labour
costs depend on national legislation and may significantly vary
from one country to another). Two or more sites should be
mentioned in the application, in order of preference. To get
more information about the research which is pursued at each
node, the work programme of the network is available upon
request at the coordinator site. It is also available
HERE (in postscript).
Coordinating node:
- Namur (Contact: B. Le Charlier)
Associated nodes:
Ulf Nilsson
Wed Feb 28 09:48:57 MET 1996