Dan Sahlin

According to our database1, Dan Sahlin authored at least 20 papers between 1983 and 2005.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2005
Selective sweeping.
Softw. Pract. Exp., 2005

2001
3G and Beyond & Enabled Adaptive Mobile Multimedia Communication.
Proceedings of the Networking, 2001

2000
Reducing Sweep Time for a Nearly Empty Heap.
Proceedings of the POPL 2000, 2000

1999
Extending ERLANG for Safe Mobile Code Execution.
Proceedings of the Information and Communication Security, Second International Conference, 1999

1997
A Platform for Secure Mobile Agents.
Proceedings of the Second International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1997

A Compacting Garbage Collector for Unidirectional Heaps.
Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

1995
An Analyzer for a Concurrent Constraint Language.
Proceedings of the Logic Programming, 1995

Partial Evaluation of AKL.
Proceedings of the First International Workshop on Concurrent Constraint Programming, 1995

1993
Mixtus: An Automatic Partial Avaluator for Full Prolog.
New Gener. Comput., 1993

Demonstration: Static Analysis of AKL.
Proceedings of the Static Analysis, Third International Workshop, 1993

Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract).
Proceedings of the Principles and Practice of Constraint Programming, 1993

Towards Abstract Interpretation of AKL.
Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, 1993

1992
An Intuitionistic Predicate Logic Theorem Prover.
J. Log. Comput., 1992

1991
Determinacy Analysis for Full Prolog.
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

1990
The Mixtus Approach to Automatic Partial Evaluation of Full Prolog.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Finding the Least Fixed Point Using Wait-Declarations in Prolog.
Proceedings of the Programming Language Implementation and Logic Programming, 1990

1988
Garbage Collection for Prolog Based on WAM.
Commun. ACM, 1988

1985
Two-Mode Evaluation for Dealing with Implicit Interactions Between Logic Programs and Relational Data Bases.
Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985

1984
Efficient Implementation of Unification of Cyclic Structures.
Proceedings of the Implementations of Prolog. , 1984

1983
Evaluation of Logic Programs Based on Natural Deduction (DRAFT).
Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983


  Loading...