|
СТ |
Partial Evaluation of the "Real Thing" |
1994 |
Leuschel M. |
|
|
|
Lecture Notes in Computer Science |
12.01.1995 |
|
СТ |
Ecological Partial Deduction: Preserving Characteristic Trees without Constraints |
1996 |
Leuschel M. |
|
|
|
Lecture Notes in Computer Science |
30.03.1996 |
|
СТ |
Partial Deduction of the Ground Representation and its Application to Integrity Checking |
1995 |
Leuschel M., Martens B. |
|
|
|
Logic Programming: Proc. of the 1995 Intern. Symp. |
25.04.1996 |
|
СТ |
Efficiently Generating Efficient Generating Extensions in Prolog |
1996 |
Jorgensen J., Leuschel M. |
Lecture Notes in Computer Science |
|
|
Partial Evaluation |
10.10.1996 |
|
СТ |
Global Control for Partial Deduction through Characteristic Atoms and Global Trees |
1996 |
Leuschel M., Martens B. |
Lecture Notes in Computer Science |
|
|
Partial Evaluation |
10.10.1996 |
|
СТ |
Logic Program Specialisation: How to Be More Specific |
1996 |
Leuschel M., De Schreye D. |
|
|
|
Lecture Notes in Computer Science |
20.11.1996 |
|
СТ |
Conjunctive Partial Deduction in Practice |
1997 |
Jorgensen J., Leuschel M., Martens B. |
|
|
|
Lecture Notes in Computer Science |
12.04.1997 |
|
СТ |
Towards Creating Specialized Integrity Checks Through Partial Evaluation of Meta-Interpreters |
1995 |
Leuschel M., De Schreye D. |
|
|
|
Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation |
13.08.1997 |
|
СТ |
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction |
1998 |
Bruynooghe M., Leuschel M., Sagonas K. |
|
|
|
Lecture Notes in Computer Science |
17.04.1998 |
|
СТ |
Controlling Generalization and Polyvariance in Partial Deduction of Normal Logic Programs |
1998 |
Leuschel M., Martens B., De Schreye D. |
|
|
|
ACM Trans. on Programming Languages and Systems |
30.07.1998 |
|
СТ |
Termination Analysis for Tabled Logic Programming |
1998 |
Decorte S., De Schreye D., Leuschel M., Martens B., Sagonas K. |
|
|
|
Lecture Notes in Computer Science |
14.10.1998 |
|
СТ |
Preserving Termination of Tabled Logic Programs While Unfolding |
1998 |
Leuschel M., Martens B., Sagonas K. |
|
|
|
Lecture Notes in Computer Science |
14.10.1998 |
|
СТ |
Improving Homeomorphic Enbedding for Online Termination |
1999 |
Leuschel M. |
|
|
|
Lecture Notes in Computer Science |
16.04.1999 |
|
СТ |
Sonic Partial Deduction |
1999 |
Martin J., Leuschel M. |
|
|
|
Perspectives of System Informatics: Preliminary Proc. of A.Ershov Third Intern. Conf. |
01.07.1999 |
|
СТ |
Advanced Logic Program Specialisation |
1999 |
Leuschel M. |
|
|
|
Lecture Notes in Computer Science |
15.12.1999 |
|
СТ |
Logic Program Specialization |
1999 |
Leuschel M. |
|
|
|
Lecture Notes in Computer Science |
15.12.1999 |
|
СТ |
Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification |
2000 |
Gluck R., Leuschel M. |
|
|
|
Lecture Notes in Computer Science |
18.02.2000 |
|
СТ |
Infinite State Model Checking by Abstract Interpretation and Program Specialisation |
2000 |
Leuschel M., Massart T. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.08.2000 |
|
СТ |
Program Specialisation and Abstract Interpretation Reconciled |
1998 |
Leuschel M. |
|
|
|
Logic Programming |
07.03.2001 |
|
СТ |
Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog |
2001 |
Leuschel M. |
|
|
|
Lecture Notes in Computer Science |
05.04.2001 |
|
СТ |
Homeomorphic Embedding for Online Termination of Symbolic Methods |
2002 |
Leuschel M. |
|
|
|
Lecture Notes in Computer Science |
14.02.2003 |
|
СТ |
Partial Evaluation of MATLAB |
2003 |
Eiphick D., Leuschel M., Cox S. |
|
|
|
Lecture Notes in Computer Science |
27.11.2003 |
|
СТ |
A Compiler Generator for Constraint Logic Programs |
2003 |
Craig S. -J., Leuschel M. |
|
|
|
Lecture Notes in Computer Science |
18.02.2004 |
|
СТ |
LIX: An Effective Self-applicable Partial Evaluator for Prolog |
2004 |
Craig S. -J., Leuschel M. |
|
|
|
Lecture Notes in Computer Science |
07.05.2004 |
|
СТ |
Binding-Time Analysis for Mercury |
2004 |
Vanhoof W., Bruynhooghe M., Leuschel M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.07.2004 |
|
СТ |
Specialising Interpreters Using Offline Partial Deduction |
2004 |
Leuschel M., Craig S. J., Bruynooghe M., Vanhoof W. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.07.2004 |
|
СТ |
Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce |
2004 |
Lehmann H., Leuschel M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |
