DTAI

FWO: Program Analysis for better memory management and higher performance of HAL, a constraint logic programming language.

Period: 01-2003 → 12-2006
Subgroup: analysis
Type: project
Members:

• Maurice Bruynooghe
• Gerda Janssens
• Bart Demoen

The aim of the project is to study and design new analysis and implementation techniques for the logic contraint programming language HAL. The project will focus on different aspects of memory management and the new back-end for HAL. In particular, we will study compile time garbage collection, region based memory management, run time garbage collection, hybrid forms of memory management and memory saving techniques for the trailing operation. Furthermore, in the context of the new back-end for HAL, we will investigate debugging, the use of analysis information in an emulator and garbage collection.

← return to the projects