2008 |
45 | EE | Quan Phan,
Zoltan Somogyi,
Gerda Janssens:
Runtime support for region-based memory management in Mercury.
ISMM 2008: 61-70 |
2007 |
44 | EE | Quan Phan,
Gerda Janssens:
Static Region Analysis for Mercury.
ICLP 2007: 317-332 |
43 | EE | Peter Vanbroekhoven,
Gerda Janssens,
Maurice Bruynooghe,
Francky Catthoor:
A practical dynamic single assignment transformation.
ACM Trans. Design Autom. Electr. Syst. 12(4): (2007) |
42 | EE | K. C. Shashidhar,
Maurice Bruynooghe,
Francky Catthoor,
Gerda Janssens:
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code
CoRR abs/0710.4689: (2007) |
41 | EE | Remko Tronçon,
Gerda Janssens:
A Delta Debugger for ILP Query Execution
CoRR abs/cs/0701105: (2007) |
40 | EE | Remko Tronçon,
Gerda Janssens,
Bart Demoen,
Henk Vandecasteele:
Fast Frequent Querying with Lazy Control Flow Compilation.
TPLP 7(4): 481-498 (2007) |
2006 |
39 | EE | Quan Phan,
Gerda Janssens:
Towards Region-Based Memory Management for Mercury Programs.
ICLP 2006: 433-435 |
38 | EE | Remko Tronçon,
Gerda Janssens,
Bart Demoen,
Henk Vandecasteele:
Fast Frequent Querying with Lazy Control Flow Compilation
CoRR abs/cs/0601072: (2006) |
2005 |
37 | EE | Remko Tronçon,
Gerda Janssens:
Analyzing & debugging ILP data mining query execution.
AADEBUG 2005: 105-110 |
36 | EE | Peter Vanbroekhoven,
Gerda Janssens,
Maurice Bruynooghe,
Francky Catthoor:
Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis.
APLAS 2005: 330-346 |
35 | EE | K. C. Shashidhar,
Maurice Bruynooghe,
Francky Catthoor,
Gerda Janssens:
Verification of Source Code Transformations by Program Equivalence Checking.
CC 2005: 221-236 |
34 | EE | K. C. Shashidhar,
Maurice Bruynooghe,
Francky Catthoor,
Gerda Janssens:
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code.
DATE 2005: 1310-1315 |
2004 |
33 | EE | Remko Tronçon,
Gerda Janssens,
Henk Vandecasteele:
Fast Query Evaluation with (Lazy) Control Flow Compilation.
ICLP 2004: 240-253 |
2003 |
32 | EE | Sven Verdoolaege,
Maurice Bruynooghe,
Gerda Janssens,
Francky Catthoor:
Multi-dimentsional Incremetal Loops Fusion for Data Locality.
ASAP 2003: 17-27 |
31 | EE | Henk Vandecasteele,
Gerda Janssens:
An Open Ended Tree
CoRR cs.PL/0312027: (2003) |
30 | EE | K. C. Shashidhar,
Maurice Bruynooghe,
Francky Catthoor,
Gerda Janssens:
An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs.
J. UCS 9(3): 248-269 (2003) |
29 | EE | Vítor Santos Costa,
Ashwin Srinivasan,
Rui Camacho,
Hendrik Blockeel,
Bart Demoen,
Gerda Janssens,
Jan Struyf,
Henk Vandecasteele,
Wim Van Laer:
Query Transformations for Improving the Efficiency of ILP Systems.
Journal of Machine Learning Research 4: 465-491 (2003) |
28 | | Henk Vandecasteele,
Gerda Janssens:
An Open Ended Tree.
TPLP 3(3): 377-385 (2003) |
2002 |
27 | EE | Nancy Mazur,
Gerda Janssens,
Wim Vanhoof:
Collecting Potential Optimisations.
LOPSTR 2002: 109-110 |
26 | EE | Remko Tronçon,
Maurice Bruynooghe,
Gerda Janssens,
Francky Catthoor:
Storage Size Reduction by In-place Mapping of Arrays.
VMCAI 2002: 167-181 |
25 | EE | K. C. Shashidhar,
Maurice Bruynooghe,
Francky Catthoor,
Gerda Janssens:
Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations.
Electr. Notes Theor. Comput. Sci. 65(2): (2002) |
24 | EE | Hendrik Blockeel,
Luc Dehaspe,
Bart Demoen,
Gerda Janssens,
Jan Ramon,
Henk Vandecasteele:
Improving the Efficiency of Inductive Logic Programming Through the Use of Query Packs.
J. Artif. Intell. Res. (JAIR) 16: 135-166 (2002) |
2001 |
23 | EE | Nancy Mazur,
Peter Ross,
Gerda Janssens,
Maurice Bruynooghe:
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury.
ICLP 2001: 105-119 |
22 | EE | Nancy Mazur,
Peter Ross,
Gerda Janssens,
Maurice Bruynooghe:
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury
CoRR cs.PL/0110037: (2001) |
2000 |
21 | EE | Nancy Mazur,
Gerda Janssens,
Maurice Bruynooghe:
A Module Based Analysis for Memory Reuse in Mercury.
Computational Logic 2000: 1255-1269 |
20 | EE | Hendrik Blockeel,
Luc Dehaspe,
Bart Demoen,
Gerda Janssens,
Jan Ramon,
Henk Vandecasteele:
Executing Query Packs in ILP.
ILP 2000: 60-77 |
19 | EE | Hendrik Blockeel,
Bart Demoen,
Gerda Janssens,
Henk Vandecasteele,
Wim Van Laer:
Two Advanced Transormations for Improving the Efficiency of an ILP system.
ILP Work-in-progress reports 2000 |
18 | | Danny De Schreye,
Maurice Bruynooghe,
Bart Demoen,
Marc Denecker,
Gerda Janssens,
Bern Martens:
Project Report on LP+: A Second Generation Logic Programming Language.
AI Commun. 13(1): 13-18 (2000) |
1999 |
17 | EE | Henk Vandecasteele,
Bart Demoen,
Gerda Janssens:
A Finite Domain CLP Solver on Top of Mercury.
New Trends in Constraints 1999: 256-273 |
1998 |
16 | EE | Gerda Janssens,
Konstantinos F. Sagonas:
On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems.
TAPD 1998: 118-126 |
1997 |
15 | | Maurice Bruynooghe,
Gerda Janssens,
Andreas Kågedal:
Live-Structure Analysis for Logic Programming Languages with Declarations.
ICLP 1997: 33-47 |
1996 |
14 | EE | Maria J. García de la Banda,
Manuel V. Hermenegildo,
Maurice Bruynooghe,
Veroniek Dumortier,
Gerda Janssens,
Wim Simoens:
Global Analysis of Constraint Logic Programs.
ACM Trans. Program. Lang. Syst. 18(5): 564-614 (1996) |
1995 |
13 | | Anne Mulkers,
Wim Simoens,
Gerda Janssens,
Maurice Bruynooghe:
On the Practicality of Abstract Equation Systems.
ICLP 1995: 781-795 |
12 | | Gerda Janssens,
Maurice Bruynooghe,
Veroniek Dumortier:
A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs.
ILPS 1995: 336-350 |
1994 |
11 | | Gerda Janssens,
Wim Simoens:
On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs.
CC 1994: 172-187 |
10 | | Veroniek Dumortier,
Gerda Janssens:
Towards a Practical Full Mode Inference System for CLP(H, N).
ICLP 1994: 569-583 |
9 | | Gerda Janssens,
Maurice Bruynooghe,
Vincent Englebert:
Abstracting Numerical Values in CLP(H, N).
PLILP 1994: 400-414 |
1993 |
8 | | Veroniek Dumortier,
Gerda Janssens,
Maurice Bruynooghe,
Michael Codish:
Freeness Analysis in the Presence of Numerical Constraints.
ICLP 1993: 100-115 |
1992 |
7 | | Maurice Bruynooghe,
Gerda Janssens:
Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs.
META 1992: 294-307 |
1991 |
6 | | Maurice Bruynooghe,
Veroniek Dumortier,
Gerda Janssens:
Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions.
PDK 1991: 309-317 |
5 | | Gerda Janssens,
Maurice Bruynooghe:
On Abstracting the Procedural Behaviour of Logic Programs.
RCLP 1991: 240-262 |
1989 |
4 | | André Mariën,
Gerda Janssens,
Anne Mulkers,
Maurice Bruynooghe:
The Impact of Abstract Interpretation: An Experiment in Code Generation.
ICLP 1989: 33-47 |
1988 |
3 | | Gerda Janssens,
Bart Demoen,
André Mariën:
Improving the Register Allocation of WAM by Recording Unification.
ICLP/SLP 1988: 1388-1402 |
2 | | Maurice Bruynooghe,
Gerda Janssens:
An Instance of Abstract Interpretation Integrating Type and Mode Inferencing.
ICLP/SLP 1988: 669-683 |
1987 |
1 | | Maurice Bruynooghe,
Gerda Janssens,
Alain Callebaut,
Bart Demoen:
Abstract Interpretation: Towards the Global Optimization of Prolog Programs.
SLP 1987: 192-204 |