CW327
T. Schrijvers, B. Demoen, M. Garcia de la Banda, P. Stuckey
Trailing Analysis for HAL
December 2001
abstract.html / report.pdf / email to: T. Schrijvers

CW326
T. Schrijvers, B. Demoen
An improvement to PARMA variable trailing
December 2001
abstract.html / report.pdf / email to: T. Schrijvers

CW325
S. Verdoolaege, F. Catthoor, M. Bruynooghe, G. Janssens
A heuristic for improving the regularity of accesses by global loop transformations in the polyhedral model
November 2001
abstract.html / report.pdf (245K) / email to: S. Verdoolaege

CW324
J. Dockx, M. van Dooren, E. Steegmans
Different implementations in Java of a nested loop and their proofs
December 2001
abstract.html / report.pdf / email to: J. Dockx

CW323
J. Dockx, K. Mertens, N. Smeets, E. Steegmans
A Java Meta model in detail
December 2001
abstract.html / report.pdf / email to: J. Dockx

CW322
S. Cohen, Y. Kanza, Y. Kogan, W. Nutt, Y. Sagiv, A. Serebrenik
EquiX---A search and query language for XML
October 2001
abstract.html / report.pdf / email to: A. Serebrenik

CW321
B. Vanhaute, B. De Decker
Supporting flexibile construction of agents through an explicit agent model
April 2001
abstract.html / report.pdf / email to: B. Vanhaute

CW320
M. Denecker, V. Marek, M. Truszczynski
Ultimate approximations
September 2001
abstract.html / report.pdf / email to: M. Denecker

CW319
R. Vandeginste, B. Demoen
The implementation of a new segment preserving and/or (multi-)generational copying garbage collection for a WAM and its approximation
July 2001
abstract.html / report.pdf / email to: R. Vandeginste

CW318
B. Vanhaute, B. De Win, B. De Decker
Building frameworks in aspectJ
July 2001
abstract.html / report.pdf / email to: B. Vanhaute

CW317
B. De Win,J. Van den Bergh, F. Matthijs, W. Joosen
A generic payment system architecture
July 2001
abstract.html / report.pdf / email to: B. De Win

CW316
B. De Win
On the anonymity of electronic cash
July 2001
abstract.html / report.pdf / email to: B. De Win

CW315
B. Demoen, M. Garcia de la Banda, P. Stuckey
Type class support for HAL in hProlog
June 2001
abstract.html / report.pdf / email to: B. Demoen

CW314
I. Sora, F. Matthijs
Automatic composition of software systems from components with anonymous dependencies
May 2001
abstract.html / report.pdf / email to: I. Sora

CW313
I. Sora, S. Michiels, F. Matthijs
Policies for dynamic stack composition
February 2001
abstract.html / report.pdf / email to: I. Sora

CW312
B. Demoen, P.-L. Nguyen
Odd Prolog benchmarking
June 2001
abstract.html / report.pdf / email to: B. Demoen

CW311
S. Dzeroski, L. De Raedt, K. Driessens
Relational Reinforcement Learning
May 2001
abstract.html / report.pdf / email to: K. Driessens

CW310
N. Mazur, P. Ross, G. Janssens, M. Bruynooghe
Practical aspects for a working compile time garbage collection system for Mercury
May 2001
abstract.html / report.pdf / email to: N. Mazur

CW309
S. Motte, F. Piessens, F. Grumiaux, M. Vauclair
Secure digital music
May 2001
abstract.html / report.pdf / email to: F. Piessens

CW308
A. Serebrenik and D. De Schreye
Inference of termination conditions for numerical loops
May 2001
abstract.html / report.pdf / email to: A. Serebrenik

CW307
F. Suykens and Y.D. Willems
Path differentials and applications
May 2001
abstract.html / report.pdf / email to: F. Suykens

CW306
A. Serebrenik and D. De Schreye
On termination of meta-programs
February 2001
abstract.html / report.pdf / email to: A. Serebrenik

CW305
H. Blockeel and J. Struyf
Efficient algorithms for decision tree cross-validation
February 2001
abstract.html / report.pdf / email to: H. Blockeel

CW304
O. Arieli and M. Denecker
Circumscriptive approaches to paraconsistent reasoning
January 2001
abstract.html / report.pdf / email to: O. Arieli