1997 |
16 | | Erik Johansson,
Christer Jonsson,
Thomas Lindgren,
Johan Bevemyr,
Håkan Millroth:
A Pragmatic Approach to Compilation of Erlang.
PLILP 1997: 419-420 |
1995 |
15 | | Thomas Lindgren,
Johan Bevemyr,
Håkan Millroth:
Compiler Optimizations in Reform Prolog: Experiments on the KSR-1 Multiprocessor.
Euro-Par 1995: 553-564 |
14 | | Håkan Millroth:
Tradeoffs Explicit and Omplicit Parallelism (Tutorial Abstract).
ILPS 1995: 614 |
13 | | Magnus Nordin,
Thomas Lindgren,
Håkan Millroth:
IGOR: A Tool for Developing Prolog Dataflow Analyzers
SAS 1995: 420-421 |
12 | | Håkan Millroth:
SLDR-Resolution: Parallelizing Structural Recursion in Logic Programs.
J. Log. Program. 25(2): 93-117 (1995) |
1993 |
11 | | Johan Bevemyr,
Thomas Lindgren,
Håkan Millroth:
Reform Prolog: The Language and Its Implementation.
ICLP 1993: 283-298 |
10 | | Johan Bevemyr,
Thomas Lindgren,
Håkan Millroth:
Exploiting Recursion-Parallelism in Prolog.
PARLE 1993: 279-290 |
1992 |
9 | | Jonas Barklund,
Håkan Millroth:
Providing Iteration and concurrency in Logic Programs Through Bounded Quantifications.
FGCS 1992: 817-824 |
8 | | Johan Bevemyr,
Thomas Lindgren,
Håkan Millroth:
Exploiting Recursion-Parallelism in Prolog: Preliminary Results.
IJCSLP Workshop on Concurrent and Parallel Implementations 1992 |
7 | | Håkan Millroth:
Reform Compilation for Nonlinear Recursion.
LPAR 1992: 160-171 |
1991 |
6 | | Håkan Millroth:
Reforming Compilation of Logic Programs.
ISLP 1991: 485-499 |
1990 |
5 | | Håkan Millroth:
Using the Reform Inference System for Parallel Prolog.
Dagstuhl Seminar on Parallelization in Inference Systems 1990: 182-194 |
4 | | Sten-Åke Tärnlund,
Håkan Millroth:
Parallel Reform Computations.
Dagstuhl Seminar on Parallelization in Inference Systems 1990: 371 |
1987 |
3 | | Jonas Barklund,
Håkan Millroth:
Hash Tables in Logic Programming.
ICLP 1987: 411-427 |
2 | | Jonas Barklund,
Håkan Millroth:
Integrating Complex Data Structures in Prolog.
SLP 1987: 415-425 |
1986 |
1 | | Jonas Barklund,
Håkan Millroth:
Garbage Cut for Garbage Collection of Iterative Prolog Programs.
SLP 1986: 276-283 |