|
СТ |
A Program Transformaton for Backwards Analysis of Logic Programs |
2004 |
Gallagher J. P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |
|
СТ |
Convex Hull Abstractions in Specialization of CLP Programs |
2003 |
Peralta J. C., Gallagher J. P. |
|
|
|
Lecture Notes in Computer Science |
20.09.2003 |
|
СТ |
Abstract Iterpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs |
2002 |
Gallagher J. P., Puebla G. |
|
|
|
Lecture Notes in Computer Science |
27.02.2002 |
|
СТ |
Imperative Program Specialisation: An Approach Using CLP |
2000 |
Peralta J. C., Gallagher J. P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.08.2000 |
|
СТ |
Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs |
1998 |
Lafave L., Gallagher J. P. |
|
|
|
Lecture Notes in Computer Science |
14.10.1998 |
|
СТ |
Analysis of Imperative Programs through Analysis of Constraint Logic Programs |
1998 |
Peralta J. C., Gallagher J. P., Saglam H. |
|
|
|
Lecture Notes in Computer Science |
01.10.1998 |
|
СТ |
A Transformation System for Definite Programs Based on Termination Analysis |
1994 |
Cook J., Gallagher J. P. |
|
|
|
Lecture Notes in Computer Science |
12.01.1995 |
|
СТ |
Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types |
1994 |
Marakakis E., Gallagher J. P. |
|
|
|
Lecture Notes in Computer Science |
12.01.1995 |
|
СТ |
Static Analysis for Logic Program Specialisation |
1992 |
Gallagher J. P. |
|
|
|
BIGRE |
11.11.1992 |
