DTAI Projects
FWO: Integration of program analysis into the Mercury system
Period: 01-2001 → 12-2002
Subgroup: analysis
Type: project
Members:
- Maurice Bruynooghe
- Gerda Janssens
The project aims at developing advanced techniques for the optimisation of the logic programming language Mercury and at integrating them into the Mercury system. More specific, the project focusses upon:
* Detection and reuse of unused memory cells through liveness analysis of data structures.
* Partial deduction using an off-line specialisation method.
* Improving the current termination analysis and extending it for tabled predicates.
← return to the projects
