Вы здесь

Главная

Stuckey P. J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Generic Framework for Context-Sensitive Analysis of Modular Programs 2004 Puebla G., Correas J., Hermenegildo M. V., Bueno F., De La Banda M. G., Marriot K., Stuckey P. J. Lecture Notes in Computer Science Lecture Notes in Computer Science 31.07.2004
СТ Sound and Decidable Type Inference for Functional Dependencies 2004 Duck G. J., Peyton-Jones S., Stuckey P. J., Sulzmann M. Lecture Notes in Computer Science 23.04.2004
СТ 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
СТ Optimizing Compilation of Constraint Handling Rules 2001 Holzbaur C., De La Banda M. G., Jeffery D., Stuckey P. J. Lecture Notes in Computer Science 08.11.2001
СТ Effective Strictness Analysis with HORN Constraints 2001 Glynn K., Stuckey P. J., Sulzmann M. Lecture Notes in Computer Science 31.07.2001
СТ 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
СТ Boolean Constraints for Binding-Time Analysis 2001 Glynn K., Stuckey P. J., Sulzmann M., Sondergaard H. Lecture Notes in Computer Science 24.05.2001
СТ A Framework for Analysis of Typed Logic Programs 2001 Lagoon V., Stuckey P. J. Lecture Notes in Computer Science 06.04.2001
СТ Sharing and Groundness Dependencies in Logic Programs 1999 Codish M., Sondergaard H., Stuckey P. J. ACM Trans. on Programming Languages and Systems 27.04.2000
СТ 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
СТ Constraint Search Trees 1997 Stuckey P. J. Logic Programming 11.03.1998
СТ Models for Using Stochastic Constraint Solvers in Constraint Logic Programming 1996 Stuckey P. J., Tam V. Lecture Notes in Computer Science 20.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
СТ ELS-programs and the efficient evaluation of non-stratified programs by transformation to ELS 1995 Kemp D. B., Ramamohanarao K., Stuckey P. J. Lecture Notes in Computer Science Deductive and Object-Oriented Databases 28.12.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
СТ Magic Sets and Bottom-Up Evaluation of Well-Founded Models 1991 Kemp D. B., Stuckey P. J. Logic Programming: Proc./1991 Intern. Symp. 29.12.1994
СТ Semantics of Logic Programs with Aggregates 1991 Kemp D. B., Stuckey P. J. Logic Programming: Proc./1991 Intern. Symp. 29.12.1994
СТ Beyond Finite Domains 1994 Jaffar J., Maher M. J., Stuckey P. J., Yap R.H. C. Lecture Notes in Computer Science 22.12.1994
СТ Foundations of Aggregation Constraints 1994 Ross K. A., Srivastava D., Stuckey P. J., Sudarshan S. Lecture Notes in Computer Science 22.12.1994
СТ Query Restricted Bottom-Up Evaluation of Normal Logic Programs 1992 Kemp D. B., Stuckey P. J., Srivastava D. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 19.12.1994
СТ Meta Programming as Constraint Programming 1990 Lim P., Stuckey P. J. Logic Programming: Proc./1990 North American Conf. 24.11.1994
СТ Redundancy of Variables in CLP(R) 1993 Macdonald A. D., Stuckey P. J., Yap R.H. C. Logic Programming: Proc./1993 Intern. Symp. 20.09.1994
СТ Transforming Normal Logic Programs to Constraint Logic Programs 1992 Kanchanasut K., Stuckey P. J. Theoretical Computer Science 17.11.1992

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Integration of Constraint Programming, Artificial Intelligence, and Operations Research: Proc./18th International Conference, CPAIOR 2021, Vienna, Austria, July 2021 2021 Lecture Notes in Computer Science
  1. Stuckey P. J.
 20.08.2021
СБ Logic-Based Program Synthesis and Transformation: Revised Selected Papers/28th International Symposium, LOPSTR 2018, Frankfurt\Main, Germany, September 2018 2019 Lecture Notes in Computer Science
  1. Mesnard F.
  2. Stuckey P. J.
 20.03.2019
СБ Principles and Practice of Constraint Programming: Proc./14th International Conference, CP 2008. Sydney, Australia, September 2008 2008 Lecture Notes in Computer Science
  1. Stuckey P. J.
 03.10.2008
СБ Functional and Logic Programming: Proc./7th Intern. Symp., FLOPS 2004, Nara, Japan, April 2004 2004 Lecture Notes in Computer Science
  1. Kameyama Y.
  2. Stuckey P. J.
 07.05.2004
СБ Logic Programming: Proc./18th Intern. Conf., ICLP 2002, Copenhagen, Denmark, July-August 2002 2002 Lecture Notes in Computer Science
  1. Stuckey P. J.
 24.08.2002