Håkan Millroth

16 papers B 4Journal 1Unranked 11
YearRankTypeTitle / Venue / Authors
1997 — conf
A Pragmatic Approach to Compilation of Erlang.
PLILP
Erik Johansson, Christer Jonsson, Thomas Lindgren, Johan Bevemyr, Håkan Millroth
1995 — conf
Compiler Optimizations in Reform Prolog: Experiments on the KSR-1 Multiprocessor.
Euro-Par
Thomas Lindgren, Johan Bevemyr, Håkan Millroth
1995 B conf
IGOR: A Tool for Developing Prolog Dataflow Analyzers
SAS
Magnus Nordin, Thomas Lindgren, Håkan Millroth
1995 J jnl
SLDR-Resolution: Parallelizing Structural Recursion in Logic Programs.
J. Log. Program.
Håkan Millroth
1995 — conf
Tradeoffs Explicit and Omplicit Parallelism (Tutorial Abstract).
ILPS
Håkan Millroth
1993 — conf
Exploiting Recursion-Parallelism in Prolog.
PARLE
Johan Bevemyr, Thomas Lindgren, Håkan Millroth
1993 B conf
Reform Prolog: The Language and Its Implementation.
ICLP
Johan Bevemyr, Thomas Lindgren, Håkan Millroth
1992 — conf
Exploiting Recursion-Parallelism in Prolog: Preliminary Results.
IJCSLP Workshop on Concurrent and Parallel Implementations
Johan Bevemyr, Thomas Lindgren, Håkan Millroth
1992 — conf
Providing Iteration and concurrency in Logic Programs Through Bounded Quantifications.
FGCS
Jonas Barklund, Håkan Millroth
1992 B conf
Reform Compilation for Nonlinear Recursion.
LPAR
Håkan Millroth
1991 — conf
Reforming Compilation of Logic Programs.
ISLP
Håkan Millroth
1990 — conf
Parallel Reform Computations.
Dagstuhl Seminar on Parallelization in Inference Systems
Sten-Åke Tärnlund, Håkan Millroth
1990 — conf
Using the Reform Inference System for Parallel Prolog.
Dagstuhl Seminar on Parallelization in Inference Systems
Håkan Millroth
1987 B conf
Hash Tables in Logic Programming.
ICLP
Jonas Barklund, Håkan Millroth
1987 — conf
Integrating Complex Data Structures in Prolog.
SLP
Jonas Barklund, Håkan Millroth
1986 — conf
Garbage Cut for Garbage Collection of Iterative Prolog Programs.
SLP
Jonas Barklund, Håkan Millroth