СТ |
Control Flow Analysis of Prolog |
1995 |
Lindgren T. |
|
|
|
Logic Programming: Proc. of the 1995 Intern. Symp. |
25.04.1996 |
СТ |
A Continuation-Passing Style for Prolog |
1994 |
Lindgren T. |
|
|
|
Logic Programming. Proc. of the 1994 Intern. Symp. |
31.01.1996 |
СТ |
Igor: A tool for developing Prolog dataflow analyzers |
1995 |
Nordin M., Lindgren T., Milltroth H. |
Lecture Notes in Computer Science |
|
|
Static Analysis |
17.11.1995 |
СТ |
Compiler Optimizations in Refform Prolog: Experiments on the KSR-1 Multiprocessor |
1995 |
Lindgren T., Bevemyr J., Millroth H. |
Lecture Notes in Computer Science |
|
|
EURO-PAR 95 Parallel Processing |
20.10.1995 |
СТ |
A Simple and Efficient Copying Garbage Collector for Prolog |
1994 |
Bevemyr J., Lindgren T. |
|
|
|
Lecture Notes in Computer Science |
12.10.1994 |