Вы здесь

Marriott K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Efficient Analysis of Concurrent Constraint Logic Programs 1992 Codish M., Falaschi M., Marriott K., Winsborough W. BIGRE 05.11.1992
СТ Framework for Abstract Interpretation 1993 Marriott K. Acta Informatica 21.04.1993
СТ Suspension Analyses for Concurrent Logic Programs 1994 Codish M., Falaschi M., Marriott K. ACM Trans. Programming Languages and Systems 01.09.1994
СТ Suspension Analysis for Concurrent Logic Programs 1991 Codish M., Falaschi M., Marriott K. Logic Programming: Proc./Eighth Intern. Conf. 19.09.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
СТ Bottom-up Abstract Interpretation of Logic Programs 1988 Marriott K., Sondergaard H. Logic Programming: Proc./Fifth Intern. Conf. and Symp. 03.10.1994
СТ Most Specific Logic Programs 1988 Marriott K., Naish L., Lassez J. -L. Logic Programming: Proc./Fifth Intern.Conf. and Symp. 13.10.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
СТ A Characterization of Non-Floundering Logic Programs 1990 Marriott K., Sonderggard H., Dart P. Logic Programming: Proc./1990 North American Conf. 24.11.1994
СТ Analysis of Constraint Logic Programs 1990 Marriott K., Sondergaard H. Logic Programming: Proc./1990 North American Conf. 24.11.1994
СТ 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
СТ Parsing Visual Languages 1995 Chok S. S., Marriott K. Australian Computer Science Communications 11.07.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
СТ 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
СТ Parsing Visual Languages with Constraint Multiset Grammars 1995 Marriott K. Lecture Notes in Computer Science Programming Languages: Implementations, Logics and Programs 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
СТ 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
СТ 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
СТ 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
СТ 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
СТ 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
СТ 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
СТ 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 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
СТ 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

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Diagrammatic Representation and Inference: Proc./Third Intern. Conf., Diagrams 2004, Cambridge, UK, March 2004 2004 Lecture Notes in Artificial Intelligence
  1. Blackwell A.
  2. Marriott K.
  3. Shimojima A.
16.04.2004