Advanced techniques for logic program specialisation

Authors:
Michael Leuschel
Affiliations:
Department of Computer Science, K.U. Leuven, Celestijnenlaan 200 A, B‐3001 Heverlee, Belgium E‐mail: michael@cs.kuleuven.ac.be
Venue:
AI Communications
Year:
1997

Citing 0
Cited 3

Using regular approximations for generalisation during partial evalution

PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Logic program specialisation through partial deduction: Control issues

Theory and Practice of Logic Programming
Constraint Propagation for First-Order Logic and Inductive Definitions

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Availability on the WWW: http://www.cs.kuleuven.ac.be/∼michael.