Håkan Millroth

J. Log. Program., 1995

Tradeoffs Explicit and Omplicit Parallelism (Tutorial Abstract).

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1995

IGOR: A Tool for Developing Prolog Dataflow Analyzers

[BibT_eX]

[DOI]

Magnus Nordin

Proceedings of the Static Analysis, 1995

Compiler Optimizations in Reform Prolog: Experiments on the KSR-1 Multiprocessor.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par '95 Parallel Processing, 1995

1993

Exploiting Recursion-Parallelism in Prolog.

[BibT_eX]

[DOI]

Proceedings of the PARLE '93, 1993

Reform Prolog: The Language and Its Implementation.

[BibT_eX]

Proceedings of the Logic Programming, 1993

1992

Reform Compilation for Nonlinear Recursion.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning, 1992

Exploiting Recursion-Parallelism in Prolog: Preliminary Results.

[BibT_eX]

Proceedings of the Workshop on Concurrent and Parallel Implementations (sessions A and B), 1992

Providing Iteration and concurrency in Logic Programs Through Bounded Quantifications.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991

Reforming Compilation of Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

1990

Parallel Reform Computations.

[BibT_eX]

Sten-Åke Tärnlund

Proceedings of the Parallelization in Inference Systems, 1990

Using the Reform Inference System for Parallel Prolog.

[BibT_eX]

[DOI]

Proceedings of the Parallelization in Inference Systems, 1990

1987

Integrating Complex Data Structures in Prolog.

[BibT_eX]

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

Hash Tables in Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, 1987

1986

Garbage Cut for Garbage Collection of Iterative Prolog Programs.

[BibT_eX]