2005 |
16 | EE | Yoo C. Chung,
Soo-Mook Moon,
Kemal Ebcioglu,
Dan Sahlin:
Selective sweeping.
Softw., Pract. Exper. 35(1): 15-26 (2005) |
2001 |
15 | EE | Theo Kanter,
Tom Rindborg,
Dan Sahlin:
3G and Beyond & Enabled Adaptive Mobile Multimedia Communication.
ICN (1) 2001: 12-26 |
2000 |
14 | EE | Yoo C. Chung,
Soo-Mook Moon,
Kemal Ebcioglu,
Dan Sahlin:
Reducing Sweep Time for a Nearly Empty Heap.
POPL 2000: 378-389 |
1999 |
13 | | Lawrie Brown,
Dan Sahlin:
Extending ERLANG for Safe Mobile Code Execution.
ICICS 1999: 39-53 |
1997 |
12 | EE | Kent Boortz,
Dan Sahlin:
A Compacting Garbage Collector for Unidirectional Heaps.
Implementation of Functional Languages 1997: 358- |
1995 |
11 | | Dan Sahlin,
Thomas Sjöland:
An Analyzer for a Concurrent Constraint Language.
ICLP 1995: 828 |
1993 |
10 | | Seif Haridi,
Sverker Janson,
Johan Montelius,
Torkel Franzén,
Per Brand,
Kent Boortz,
Björn Danielsson,
Björn Carlson,
Torbjörn Keisu,
Dan Sahlin,
Thomas Sjöland:
Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract).
PPCP 1993: 107-116 |
9 | | Dan Sahlin,
Thomas Sjöland:
Demonstration: Static Analysis of AKL.
WSA 1993: 282-283 |
8 | | Dan Sahlin:
Mixtus: An Automatic Partial Avaluator for Full Prolog.
New Generation Comput. 12(1): 7-51 (1993) |
1992 |
7 | | Dan Sahlin,
Torkel Franzén,
Seif Haridi:
An Intuitionistic Predicate Logic Theorem Prover.
J. Log. Comput. 2(5): 619-656 (1992) |
1991 |
6 | | Dan Sahlin:
Determinacy Analysis for Full Prolog.
PEPM 1991: 23-30 |
1990 |
5 | | Dan Sahlin:
The Mixtus Approach to Automatic Partial Evaluation of Full Prolog.
NACLP 1990: 377-398 |
4 | | Dan Sahlin:
Finding the Least Fixed Point Using Wait-Declarations in Prolog.
PLILP 1990: 151-158 |
1988 |
3 | | Karen Appleby,
Mats Carlsson,
Seif Haridi,
Dan Sahlin:
Garbage Collection for Prolog Based on WAM.
Commun. ACM 31(6): 719-741 (1988) |
1985 |
2 | | Istvan P. Orci,
Dan Sahlin:
Two-Mode Evaluation for Dealing with Implicit Interactions Between Logic Programs and Relational Data Bases.
Foundations of Knowledge Base Management (Xania) 1985: 345-371 |
1984 |
1 | | Seif Haridi,
Dan Sahlin:
Efficient Implementation of Unification of Cyclic Structures.
Implementations of Prolog 1984: 234-249 |