|
СТ |
To the Gates of HAL: A HAL Tutorial |
2002 |
Banda M. G., Demoen B., Marriott K., Stuckey P. J. |
|
|
|
Lecture Notes in Computer Science |
25.10.2002 |
|
СТ |
A Model for Inter-module Analysis and Optimizing Compilation |
2001 |
Bueno F., De La Banda M. G., Hermenegildo M., Marriott K., Puebla G., Stuckey P. J. |
|
|
|
Lecture Notes in Computer Science |
23.06.2001 |
|
СТ |
Optimizing Compilation of CLP(R) |
1998 |
Kelly A. D., Marriott K., Macdonald A., Stukey P. J., Yap R. |
|
|
|
ACM Trans. on Programming Languages and Systems |
21.06.1999 |
|
СТ |
A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications |
1998 |
Marriott K., Chok S. S., Finlay A. |
|
|
|
Lecture Notes in Computer Science |
26.11.1998 |
|
СТ |
Effectiveness of Optimizing Compilation for CLP(R) |
1996 |
Kelly A. D., Macdonald A., Marriott K., Stuckey P. J., Yap R.H. C. |
|
|
|
Logic Programming |
12.03.1998 |
|
СТ |
Optimization of Logic Programs with Dynamic Scheduling |
1997 |
Puebla G., De La Banda M. G., Marriott K., Stuckey P. J. |
|
|
|
Logic Programming |
11.03.1998 |
|
СТ |
Independence in Dynamically Scheduled Logic Languages |
1996 |
De La Banda M. G., Hermenegildo M., Marriott K. |
Lecture Notes in Computer Science |
|
|
Algebraic and Logic Programming |
05.11.1996 |
|
СТ |
Incremental Analysis of Logic Programs |
1995 |
Hermenegildo M., Puebla G., Marriott K., Stuckey P. J. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
13.05.1996 |
|
СТ |
Efficient Analysis of Logic Programs with Dynamic Scheduling |
1995 |
De La Banda M. G., Marriott K. |
|
|
|
Logic Programming: Proc. of the 1995 Intern. Symp. |
25.04.1996 |
|
СТ |
An Optimizing Compiler for CLP (R) |
1995 |
Kelly A. D., Macdonald A., Marriott K., Sondergaard H., Stuckey P. J., Yap R.H. C. |
Lecture Notes in Computer Science |
|
|
Principles and Practice of Constraint Programming - CP 95 |
16.11.1995 |
|
СТ |
A Confluent Cakculus for Concurrent Constraint Programming with Guarded Choice |
1995 |
Marriott K., Odersky M. |
Lecture Notes in Computer Science |
|
|
Principles and Practice of Constraint Programming - CP 95 |
16.11.1995 |
|
СТ |
Parsing Visual Languages with Constraint Multiset Grammars |
1995 |
Marriott K. |
Lecture Notes in Computer Science |
|
|
Programming Languages: Implementations, Logics and Programs |
16.11.1995 |
|
СТ |
Confluence in Concurrent Constraint Programming |
1995 |
Falaschi M., Gabbrielli M., Marriott K., Palamidessi C. |
Lecture Notes in Computer Science |
|
|
Algebraic Methodology and Software Technology |
13.09.1995 |
|
СТ |
Parsing Visual Languages |
1995 |
Chok S. S., Marriott K. |
|
|
|
Australian Computer Science Communications |
11.07.1995 |
|
СТ |
Understanding Finiteness Analysis Using Abstract Interpretation |
1992 |
Bigot P. A., Debray S., Marriott K. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
|
СТ |
Analysis of Constraint Logic Programs |
1990 |
Marriott K., Sondergaard H. |
|
|
|
Logic Programming: Proc./1990 North American Conf. |
24.11.1994 |
|
СТ |
A Characterization of Non-Floundering Logic Programs |
1990 |
Marriott K., Sonderggard H., Dart P. |
|
|
|
Logic Programming: Proc./1990 North American Conf. |
24.11.1994 |
|
СТ |
Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation |
1994 |
Armstrong T., Marriott K., Schachte P., Sondergaard H. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
|
СТ |
Most Specific Logic Programs |
1988 |
Marriott K., Naish L., Lassez J. -L. |
|
|
|
Logic Programming: Proc./Fifth Intern.Conf. and Symp. |
13.10.1994 |
|
СТ |
Bottom-up Abstract Interpretation of Logic Programs |
1988 |
Marriott K., Sondergaard H. |
|
|
|
Logic Programming: Proc./Fifth Intern. Conf. and Symp. |
03.10.1994 |
|
СТ |
Independence in Constraint Logic Programms |
1993 |
Garcia De La Banda M., Hermenegildo M., Marriott K. |
|
|
|
Logic Programming: Proc./1993 Intern. Symp. |
20.09.1994 |
|
СТ |
Suspension Analysis for Concurrent Logic Programs |
1991 |
Codish M., Falaschi M., Marriott K. |
|
|
|
Logic Programming: Proc./Eighth Intern. Conf. |
19.09.1994 |
|
СТ |
Suspension Analyses for Concurrent Logic Programs |
1994 |
Codish M., Falaschi M., Marriott K. |
|
|
|
ACM Trans. Programming Languages and Systems |
01.09.1994 |
|
СТ |
Framework for Abstract Interpretation |
1993 |
Marriott K. |
|
|
|
Acta Informatica |
21.04.1993 |
|
СТ |
Efficient Analysis of Concurrent Constraint Logic Programs |
1992 |
Codish M., Falaschi M., Marriott K., Winsborough W. |
|
|
|
BIGRE |
05.11.1992 |
