Home > Publications > Reports > Informatics (CW) > 1996


CW245
Michael Codish, Bart Demoen and Kostis Sagonas
XSB as the natural habitat for general purpose program analysis
December 1996.
abstract.html / email to: B. Demoen

CW244
W. Joosen, B. Robben, J. Van Oeyen, F. Matthijs, S. Bijnens and P. Verbaeten
The power of MOPs for developing distributed applications
1996.
email to: W. Joosen

CW243
Michael Leuschel and Morten Heine Sorensen
Redundant Argument Filtering of Logic Programs
October 1996.
abstract.html / report.pdf / email to: M. Leuschel

CW242
J. Jorgensen, M. Leuschel and B. Martens
Conjunctive Partial Deduction in Practice
October 1996.
abstract.html / report.pdf / email to: M. Leuschel

CW241
W. Al-Ahmad and E. Steegmans
Beta: main features and comparison with other OOPLs.
December 1996.
abstract.html / email to: E. Steegmans

CW240
W. Al-Ahmad and E. Steegmans
Specialization of behavior comparison, critique and a new approach.
September 1996.
Appeared in Jounal of Object-Oriented Programming (JOOP)
abstract.html / email to: E. Steegmans

CW239
L. Dehaspe, W. Van Laer, and L. De Raedt
Claudien, the clausal discovery engine: user's guide 3.0
September 1996
abstract.html / report.pdf / email to: L. Dehaspe

CW238
L. De Raedt and L. Dehaspe
Clausal discovery
September 1996
abstract.html / report.pdf / email to: L. Dehaspe

CW237
M. Leuschel and D. De Schreye
Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters
July 1996
abstract.html / report.pdf / email to: M. Leuschel

CW236
W. Joosen, F. Matthijs, J. Van Oeyen, B. Robben, S. Bijnens, and P. Verbaeten
CORRELATE: High-Level Support for Traveling Agents
October 1996
abstract.html / report.pdf / email to: F. Matthijs

CW235
A. Mantsivoda
Positive negation and the completion paradigm
June 1996
abstract.html / email to: A. Mantsivoda

CW234
I. Abdrakhimov and A. Mantsivoda
The $SIGMA$-machine, its soundness and completeness
June 1996
abstract.html / email to: A. Mantsivoda

CW233
M. Bruynooghe, B. Demoen, D. Boulanger, M. Denecker, and A. Mulkers
A freeness and sharing analysis of logic programs based on a pre-interpretation
May 1996
abstract.html / email to: M. Bruynooghe

CW232
M. Leuschel and D. De Schreye
Logic program specialisation: how to be more specific
May 1996
Appeared in Programming Languages, Implementations, Logics, and Programs, H.Kuchen and S.D. Swierstra (eds.), LNCS 1140, Springer Verlag, pp.37-151
abstract.html / report.pdf / email to: M. Leuschel

CW231
M. Bruynooghe, G. Janssens, and A. Kagedal
Live-structure analysis for logic programming languages with declaration
May 1996
abstract.html / email to: M. Bruynooghe

CW230
R. Glück and J. Jorgensen
A program generator for multi-level specialization
July 1996
abstract.html / email to: ??

CW229
H. Blockeel and L. De Raedt
ISIDD: An interactive system for inductive database design
April 1996
abstract.html / email to: H. Blockeel

CW228
R. Glück and J. Jorgensen
Fast multi-level binding-time analysis for multiple program specialization
April 1996
abstract.html / email to: ??

CW227
M. Bruynooghe, G. Janssens, and B. Martens
Industrial applications of computational logic
March 1996
abstract.html / email to: M. Bruynooghe

CW226
R. Glück, J. Jorgensen, B. Martens, and M.H. Sorensen
Controlling conjunctive partial deduction of definite logic programs
1996
abstract.html / email to: B. Martens

CW225
M. Leuschel, D. De Schreye, and D De Waal
A conceptual embedding of folding into partial deduction: towards a maximal integration
February 1996
Appeared in Proceedings of the Joint International Conference and Symposium on Logic Programming JICSLP'96 Michael Maher (ed.), MIT Press, Bonn, 1996, pp.319-332.
abstract.html / email to: M. Leuschel

CW224
A. De Waal, M. Denecker, M. Bruynooghe, and M. Thielscher
The automatic generation of pre-interpretations for detecting unsolvable planning problems
February 1996
abstract.html / email to: M. Denecker

CW223
B. Martens, M. Bruynooghe, M. Denecker, L. De Raedt, D. De Schreye, and G. Janssens
A brief overview of logic programming research at the K.U.Leuven, with notes on its industrial relevance
January 1996
abstract.html / email to: B. Martens

CW222
S. Decorte, D. De Schreye and M Fabris
Integrating types in abstract interpretation based automatic termination anaysis of logic programs
January 1996
abstract.html / report.pdf / email to: S. Decorte

CW221
J. Jorgensen and M. Leuschel
Efficiently generating efficient generating extensions in Prolog
February 1996
abstract.html / report.pdf / email to: M. Leuschel