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 |