Dan Sahlin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1983–2000
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | POPL | Reducing Sweep Time for a Nearly Empty Heap. | Yoo C. Chung, Soo-Mook Moon, Kemal Ebcioglu, Dan Sahlin |
| 1999 | ICICS | Extending ERLANG for Safe Mobile Code Execution. | Lawrie Brown, Dan Sahlin |
| 1995 | ICLP | An Analyzer for a Concurrent Constraint Language. | Dan Sahlin, Thomas Sjland |
| 1993 | ICLP | Towards Abstract Interpretation of AKL. | Dan Sahlin, Thomas Sjland |
| 1993 | SAS | Demonstration: Static Analysis of AKL. | Dan Sahlin, Thomas Sjland |
| 1991 | PEPM | Determinacy Analysis for Full Prolog. | Dan Sahlin |
| 1983 | ICLP | Evaluation of Logic Programs Based on Natural Deduction (DRAFT). | Seif Haridi, Dan Sahlin |