Вы здесь

Winsborough W.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Transparent And-Parallelism in the Presence of Shared Free Variables 1988 Winsborough W., Waern A. Logic Programming: Proc./Fifth Intern. Conf. and Symp. 03.10.1994
СТ Copy Avoidance through Compile-Time Analysis and Local Reuse 1991 Foster I., Winsborough W. Logic Programming: Proc./1991 Intern. Symp. 04.01.1995
СТ Efficient Analysis of Concurrent Constraint Logic Programs 1992 Codish M., Falaschi M., Marriott K., Winsborough W. BIGRE 05.11.1992
СТ Update in Place: Overview of the Siva project 1993 Gudjonsson G., Winsborough W. Logic Programming: Proc./1993 Intern. Symp. 20.09.1994
СТ Live-Structure Dataflow Analysis for Prolog 1994 Mulkers A., Winsborough W., Bruynooghe M. ACM Trans. Programming Languages and Systems 27.05.1994
СТ Demand Transformation Analysis for Concurrent Constraint Programs 1996 Falaschi M., Hicks P., Winsborough W. Logic Programming 12.03.1998
СТ Annotated Structure Shape Graphs for Abstract Analysis of Prolog 1996 Weyer G., Winsborough W. Lecture Notes in Computer Science 20.11.1996