Вы здесь

Sondergaard H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Meta-circular Abstract Interpretation in Prolog 2002 Codish M., Sondergaard H. Lecture Notes in Computer Science 14.02.2003
СТ Boolean Constraints for Binding-Time Analysis 2001 Glynn K., Stuckey P. J., Sulzmann M., Sondergaard H. Lecture Notes in Computer Science 24.05.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
СТ Strictness Analysis as Finite-Domainn Constraint Solving 1999 Gabric T., Glynn K., Sondergaard H. Lecture Notes in Computer Science 16.04.1999
СТ 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
СТ Analysis of Constraint Logic Programs 1990 Marriott K., Sondergaard H. 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
СТ Bottom-up Abstract Interpretation of Logic Programs 1988 Marriott K., Sondergaard H. Logic Programming: Proc./Fifth Intern. Conf. and Symp. 03.10.1994
СТ Denotational Abstract Interpretation of Logic Programs 1994 Mariott K., Sondergaard H., Jones N. D. ACM Trans. Programming Languages and Systems 01.09.1994