СТ |
A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languages |
1995 |
Bigot P. A., Debray S. K. |
|
|
|
Logic Programming: Proc. of the 1995 Intern. Symp. |
24.04.1996 |
СТ |
An Efficient and Portable Sequential Implementation of Janus |
1992 |
Gudeman D., de Bosschere K., Debray S. K. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
СТ |
Estimating the Computational Cost of Logic Programs |
1994 |
Debray S. K., Garcia P. L., Hermenegildo M., Lin N. -W. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
СТ |
Static Analysis of Parallel Logic Programs |
1988 |
Debray S. K. |
|
|
|
Logic Programming: Proc./Fifth Intern. Conf. and Symp. |
03.10.1994 |
СТ |
Automatic Complexity Analysis of Logic Programs |
1991 |
Debray S. K., Lin N. -W. |
|
|
|
Logic Programming: Proc./Eight Intern. Conf. |
23.09.1994 |
СТ |
Reasoning About Naming Systems |
1993 |
Bowman M., Debray S. K., Peterson L. L. |
|
|
|
ACM Trans. Programming Languages and Systems |
15.02.1994 |
СТ |
Cost Analysis of Logic Programs |
1993 |
Debray S. K., Lin N. -W. |
|
|
|
ACM Trans. Programming Languages and Systems |
15.02.1994 |
СТ |
Compiler Optimizations for Low-level Redundancy Elimination: An Application of Meta-level Prolog Primitives |
1992 |
Debray S. K. |
|
|
|
Lecture Notes in Computer Science |
03.02.1993 |
СТ |
Efficient Dataflow Analysis of Logic Programs |
1992 |
Debray S. K. |
|
|
|
J. of the ACM |
10.12.1992 |
СТ |
On the Complexity of Dataflow Analysis of Logic Programs |
1992 |
Debray S. K. |
|
|
|
Lecture Notes in Computer Science |
07.08.1992 |