Вы здесь

King A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Schedule Analysis of Concurrent Logic Programs 1992 King A., Soper P. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 19.12.1994
СТ Ordering Optimisations for Concurrent Logic Programs 1992 King A., Soper P. Lecture Notes in Computer Science 05.08.1992
СТ A Synergistic Analysis for Sharing and Groundness which Traces Linearity 1994 King A. Lecture Notes in Computer Science 13.05.1994
СТ Lower-bound Time-complexity Analysis of Logic Programs 1997 King A., Shen K., Benoy F. Logic Programming 05.03.1998
СТ Typed Norms for Typed Logic Programs 1997 Martin J. C., King A., Soper P. Lecture Notes in Computer Science 12.04.1997
СТ Analysis of Logic Programs with Delay 1998 Heaton A., Hill P., King A. Lecture Notes in Computer Science 14.10.1998
СТ Termination of Logic Programs with Block Declarations Running in Several Modes 1998 Smaus J. -G., Hill P., King A. Lecture Notes in Computer Science 13.10.1998
СТ Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations 1999 Smaus J. -G., Hill P., King A. Lecture Notes in Computer Science 16.04.1999
СТ Quotienting Share for Dependency Analysis 1999 King A., Smaus J. -G., Hill P. Lecture Notes in Computer Science 07.04.1999
СТ Mode Analysis Domains foe Typed Logic Programs 2000 Smaus J. -G., Hill P. M., King A. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.08.2000
СТ Implementing Groudness Analysis with Definite Boolean Functions 2000 Howe J. M., King A. Lecture Notes in Computer Science 25.04.2000
СТ Backward Type Inference Generalises Type Checking 2002 Lu L., King A. Lecture Notes in Computer Science 31.10.2002
СТ Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling 2003 Genaim S., King A. Lecture Notes in Computer Science 16.04.2003
СТ On the Inference of Natural Level Mappings 2004 Martin J. C., King A. Lecture Notes in Computer Science Lecture Notes in Computer Science 31.07.2004
СТ Analyzing Logic Programs by Reasoning Backwards 2004 Howe J. M., King A., Lu L. Lecture Notes in Computer Science Lecture Notes in Computer Science 31.07.2004