Dan Sahlin

20 papers A* 1B 2C 2Journal 4Unranked 10
YearRankTypeTitle / Venue / Authors
2005 J jnl
Selective sweeping.
Softw. Pract. Exp.
Yoo C. Chung, Soo-Mook Moon, Kemal Ebcioglu, Dan Sahlin
2001 — conf
3G and Beyond & Enabled Adaptive Mobile Multimedia Communication.
ICN (1)
Theo Kanter, Tom Rindborg, Dan Sahlin
2000 A* conf
Reducing Sweep Time for a Nearly Empty Heap.
POPL
Yoo C. Chung, Soo-Mook Moon, Kemal Ebcioglu, Dan Sahlin
1999 C conf
Extending ERLANG for Safe Mobile Code Execution.
ICICS
Lawrie Brown, Dan Sahlin
1997 — conf
A Compacting Garbage Collector for Unidirectional Heaps.
Implementation of Functional Languages
Kent Boortz, Dan Sahlin
1997 — conf
A Platform for Secure Mobile Agents.
PAAM
Johan Arthursson, Jakob Engblom, Ing-Marie Jonsson, Rehan Mirza, Gustaf Naeser, Mikael Olsson, Robert Ottenhag, Dan Sahlin, Maria Schmid, Bertil Spolander, Elham Zolfonoon
1995 B conf
An Analyzer for a Concurrent Constraint Language.
ICLP
Dan Sahlin, Thomas Sjöland
1995 — conf
Partial Evaluation of AKL.
CCP
Dan Sahlin
1993 — conf
Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract).
PPCP
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
1993 — conf
Demonstration: Static Analysis of AKL.
WSA
Dan Sahlin, Thomas Sjöland
1993 J jnl
Mixtus: An Automatic Partial Avaluator for Full Prolog.
New Gener. Comput.
Dan Sahlin
1993 — conf
Towards Abstract Interpretation of AKL.
ICLP Workshop on Concurrent Constraint Programming
Dan Sahlin, Thomas Sjöland
1992 J jnl
An Intuitionistic Predicate Logic Theorem Prover.
J. Log. Comput.
Dan Sahlin, Torkel Franzén, Seif Haridi
1991 C conf
Determinacy Analysis for Full Prolog.
PEPM
Dan Sahlin
1990 — conf
Finding the Least Fixed Point Using Wait-Declarations in Prolog.
PLILP
Dan Sahlin
1990 — conf
The Mixtus Approach to Automatic Partial Evaluation of Full Prolog.
NACLP
Dan Sahlin
1988 J jnl
Garbage Collection for Prolog Based on WAM.
Commun. ACM
Karen Appleby, Mats Carlsson, Seif Haridi, Dan Sahlin
1985 — conf
Two-Mode Evaluation for Dealing with Implicit Interactions Between Logic Programs and Relational Data Bases.
Foundations of Knowledge Base Management (Xania)
Istvan P. Orci, Dan Sahlin
1984 — ch.
Efficient Implementation of Unification of Cyclic Structures.
Implementations of Prolog
Seif Haridi, Dan Sahlin
1983 B conf
Evaluation of Logic Programs Based on Natural Deduction (DRAFT).
Logic Programming Workshop
Seif Haridi, Dan Sahlin