Вы здесь

Martens B.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A General Criterion for Avoiding Infinite Unfolding during Partial Deduction of Logic Programs 1991 Bruynooghe M., De Schreye D., Martens B. Logic Programming: Proc./1991 Intern. Symp. 29.12.1994
СТ A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming 1992 Martens B., De Schreye D. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 19.12.1994
СТ A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming and its Extension to a Limited Form of Amalgamation 1992 De Schreye D., Martens B. Lecture Notes in Computer Science 03.02.1993
СТ Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance 1995 Martens B., Gallagher J. Logic Programming: Proc. of the Twelfth Intern. Conf. 13.05.1996
СТ Partial Deduction of the Ground Representation and its Application to Integrity Checking 1995 Leuschel M., Martens B. Logic Programming: Proc. of the 1995 Intern. Symp. 25.04.1996
СТ Controlling Conjunctive Partial Deduction 1996 Gluck R., Jorgensen J., Martens B., Sorensen M. H. Lecture Notes in Computer Science 20.11.1996
СТ Global Control for Partial Deduction through Characteristic Atoms and Global Trees 1996 Leuschel M., Martens B. Lecture Notes in Computer Science Partial Evaluation 10.10.1996
СТ Conjunctive Partial Deduction in Practice 1997 Jorgensen J., Leuschel M., Martens B. Lecture Notes in Computer Science 12.04.1997
СТ Controlling Generalization and Polyvariance in Partial Deduction of Normal Logic Programs 1998 Leuschel M., Martens B., De Schreye D. ACM Trans. on Programming Languages and Systems 30.07.1998
СТ To Parse or Not To Parse 1998 Vanhoof W., Martens B. Lecture Notes in Computer Science 14.10.1998
СТ Preserving Termination of Tabled Logic Programs While Unfolding 1998 Leuschel M., Martens B., Sagonas K. Lecture Notes in Computer Science 14.10.1998
СТ A Framework for Bottom Up Specialisation of Logic Programs 1998 Vanhoof W., De Schreye D., Martens B. Lecture Notes in Computer Science 13.10.1998
СТ Termination Analysis for Tabled Logic Programming 1998 Decorte S., De Schreye D., Leuschel M., Martens B., Sagonas K. Lecture Notes in Computer Science 14.10.1998