Dan Sahlin

Publication Activity (10 Years)

Years Active: 1983-2005
Publications (10 Years): 0

Publications

Yoo C. Chung, Soo-Mook Moon, Kemal Ebcioglu, Dan Sahlin
Selective sweeping. Softw. Pract. Exp. 35 (1) (2005)
Theo Kanter, Tom Rindborg, Dan Sahlin
3G and Beyond & Enabled Adaptive Mobile Multimedia Communication. ICN (1) (2001)
Yoo C. Chung, Soo-Mook Moon, Kemal Ebcioglu, Dan Sahlin
Reducing Sweep Time for a Nearly Empty Heap. POPL (2000)
Lawrie Brown, Dan Sahlin
Extending ERLANG for Safe Mobile Code Execution. ICICS (1999)
Kent Boortz, Dan Sahlin
A Compacting Garbage Collector for Unidirectional Heaps. Implementation of Functional Languages (1997)
Johan Arthursson, Jakob Engblom, Ing-Marie Jonsson, Rehan Mirza, Gustaf Naeser, Mikael Olsson, Robert Ottenhag, Dan Sahlin, Maria Schmid, Bertil Spolander, Elham Zolfonoon
A Platform for Secure Mobile Agents. PAAM (1997)
Dan Sahlin
Partial Evaluation of AKL. CCP (1995)
Dan Sahlin, Thomas Sjöland
An Analyzer for a Concurrent Constraint Language. ICLP (1995)
Dan Sahlin, Thomas Sjöland
Demonstration: Static Analysis of AKL. WSA (1993)
Dan Sahlin, Thomas Sjöland
Towards Abstract Interpretation of AKL. ICLP Workshop on Concurrent Constraint Programming (1993)
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)
Dan Sahlin
Mixtus: An Automatic Partial Avaluator for Full Prolog. New Gener. Comput. 12 (1) (1993)
Dan Sahlin, Torkel Franzén, Seif Haridi
An Intuitionistic Predicate Logic Theorem Prover. J. Log. Comput. 2 (5) (1992)
Dan Sahlin
Determinacy Analysis for Full Prolog. PEPM (1991)
Dan Sahlin
The Mixtus Approach to Automatic Partial Evaluation of Full Prolog. NACLP (1990)
Dan Sahlin
Finding the Least Fixed Point Using Wait-Declarations in Prolog. PLILP (1990)
Karen Appleby, Mats Carlsson, Seif Haridi, Dan Sahlin
Garbage Collection for Prolog Based on WAM. Commun. ACM 31 (6) (1988)
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)
Seif Haridi, Dan Sahlin
Evaluation of Logic Programs Based on Natural Deduction (DRAFT). Logic Programming Workshop (1983)