dblp.uni-trier.dewww.uni-trier.de

Dan Sahlin Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2005
16EEYoo C. Chung, Soo-Mook Moon, Kemal Ebcioglu, Dan Sahlin: Selective sweeping. Softw., Pract. Exper. 35(1): 15-26 (2005)
2001
15EETheo Kanter, Tom Rindborg, Dan Sahlin: 3G and Beyond & Enabled Adaptive Mobile Multimedia Communication. ICN (1) 2001: 12-26
2000
14EEYoo 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
12EEKent 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
4EEDan 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

Coauthor Index

1Karen Appleby [3]
2Kent Boortz [10] [12]
3Per Brand [10]
4Lawrie Brown [13]
5Björn Carlson [10]
6Mats Carlsson [3]
7Yoo C. Chung [14] [16]
8Björn Danielsson [10]
9Kemal Ebcioglu [14] [16]
10Torkel Franzén [7] [10]
11Seif Haridi [1] [3] [7] [10]
12Sverker Janson [10]
13Theo Kanter [15]
14Torbjörn Keisu [10]
15Johan Montelius [10]
16Soo-Mook Moon [14] [16]
17Istvan P. Orci [2]
18Tom Rindborg [15]
19Thomas Sjöland [9] [10] [11]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)