Håkan Millroth

Publication Activity (10 Years)

Years Active: 1986-1997
Publications (10 Years): 0

Publications

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