Searching for authors named "Michael Leuschel" – sorted by Relevance.
68 documents found, showing 1 through 10.
Next 10 →
-
Partial Deduction System
- …The ecce Partial Deduction System Michael Leuschel K.U. Leuven, Department of Computer Science…
- Cited by 5 (1 self) – Add To MetaCart
-
Program specialisation and abstract interpretation reconciled
- …Program Specialisation and Abstract Interpretation Reconciled Michael Leuschel 1 Department…
- Cited by 27 (13 self) – Add To MetaCart
-
Logic program specialisation
- …Advanced Logic Program Specialisation 1 Introduction Michael Leuschel Department of Electronics…
- Cited by 12 (10 self) – Add To MetaCart
-
Homeomorphic Embedding for Online Termination
- …Homeomorphic Embedding for Online Termination Michael Leuschel mal@(email omitted); Declarative…
- Cited by 46 (7 self) – Add To MetaCart
-
Partial Evaluation of the "Real Thing"
- …Partial Evaluation of the "Real Thing" Michael Leuschel K.U. Leuven, Department of Computer…
- Cited by 13 (3 self) – Add To MetaCart
-
Advanced Techniques for Logic Program Specialisation
- …Advanced Techniques for Logic Program Specialisation Michael Leuschel Department of Computer…
- Cited by 25 (13 self) – Add To MetaCart
-
Extending Homeomorphic Embedding in the Context of Logic Programming
- …Extending Homeomorphic Embedding in the Context of Logic Programming Michael Leuschel Report CW 252…
- Cited by 2 (1 self) – Add To MetaCart
-
Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints
- …Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints Michael Leuschel…
- Cited by 24 (14 self) – Add To MetaCart
-
Logic program specialisation through partial deduction: Control issues
- … specialisation through partial deduction: Control issues MICHAEL LEUSCHEL Department of Electronics & Computer…
- Cited by 36 (9 self) – Add To MetaCart
-
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering
- …Forward Slicing by Conjunctive Partial Deduction and Argument Filtering ⋆ Michael Leuschel 1…
- Cited by 4 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
