Papers
Saarland University
Informatics
Programming Systems
Home
People
Papers
Manual
Download
Contributions
Contact
Wiki
Bugs
Research Papers
On the Design and Semantics of Alice:
- Gert Smolka:
Concurrent Constraint Programming Based on Functional Programming,
Proceedings of the European Joint Conferences on Theory and Practice
of Software (ETAPS), 1998
- Gert Smolka:
From Concurrent Constraint Programming to Concurrent Functional
Programming with Transients,
lecture slides for the International Summer School on
Constraints in Computational Logics, 1999
- Gerhard Schneider:
ML mit Typklassen,
Diplomarbeit (in German), 2000
- Andreas Rossberg:
Defects in the
Revised Definition of Standard ML, Tech Report, 2001
- Jan Schwinghammer:
A Concurrent
Lambda Calculus with Promises and Futures, Diplomarbeit, 2002
- Andreas Rossberg:
Dynamic Opacity for Abstract
Types, Technical Report, 2002
- Andreas Rossberg:
Generativity and Dynamic
Opacity for Abstract Types,
Proceedings of the 5th International Conference on Principles and
Practice of Declarative Programming (PPDP), Uppsala, Sweden, 2003
- Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus,
Gert Smolka:
Alice Through the
Looking Glass,
Trends in Functional Programming, volume 5, Intellect 2006
- Andreas Rossberg:
The Definition of
Standard ML with Packages,
Technical report, 2005
- Joachim Niehren, Jan Schwinghammer, Gert Smolka:
A Concurrent
Lambda Calculus with Futures,
Proceedings of the 5th International Workshop on Frontiers in
Combining Systems, 2005
- Joachim Niehren, Jan Schwinghammer, Gert Smolka:
A Concurrent
Lambda Calculus with Futures (Revised version of FroCoS paper),
Theoretical Computer Science 364(3), 2006
- Andreas Rossberg:
The Missing Link -
Dynamic Components for ML,
Proceedings of the 11th International Conference on Functional
Programming, 2006
- Georg Neis:
A Semantics for Lazy
Types, Bachelor's Thesis, 2006
- Andi Scharfstein:
A Sandboxing
Infrastructure for Alice ML, Bachelor's Thesis, 2006
- Joachim Niehren, David Sabel, Manfred Schmidt-Schauß,
Jan Schwinghammer:
Observational Semantics for a
Concurrent Lambda Calculus with Reference Cells and Futures,
Proceedings of the 23rd Conference on Mathematical Foundations of
Programming Semantics, 2007
- Andreas Rossberg:
Typed Open Programming - A higher-order, typed approach to dynamic modularity and distribution,
PhD Thesis, 2007
On the Implementation:
- Leif Kornstaedt:
Alice in the Land
of Oz, Proceedings of the First Workshop on Multi-language
Infrastructure and Interoperability (BABEL), 2001
- Thorsten Brunklaus and Leif Kornstaedt:
A Virtual Machine for
Multi-Language Execution,
Technical Report, 2002
- Thorsten Brunklaus and Leif Kornstaedt:
Open Programming Services
for Virtual Machines: The Design of Mozart and SEAM,
Technical Report, 2003
- Guido Tack:
Linearisation,
Minimisation and Transformation of Data Graphs with Transients,
Diploma Thesis, 2003
- Niko Paltzer:
Efficient
Representation of Dynamic Types, Bachelor's Thesis, 2005
- Guido Tack, Leif Kornstaedt, Gert Smolka:
Generic
Pickling and Minimization,
Proceedings of the ACM-SIGPLAN Workshop on ML (ML 2005):79-103,
Elsevier 2005
- Christian Müller:
Run-Time Byte Code Compilation, Optimization, and Interpretation for Alice,
Diplomarbeit, 2006
- Leif Kornstaedt:
Design and
Implementation of a Programmable Middleware,
PhD Thesis, 2006
- Andreas Rossberg, Guido Tack, Leif Kornstaedt:
HOT
Pickles ...and how to serve them,
Submitted for publication, 2007
On Search and Constraints:
- Christian Schulte:
Programming Deep Concurrent Constraint Combinators,
Proceedings of the 2nd International Workshop on
Practical Aspects of Declarative Languages (PADL), 2000
- Christian Schulte:
Programming Constraint Services,
PhD thesis, 2001. Also available as Springer LNCS/LNAI 2302, ISBN
3-540-43371-6
- Christian Schulte & Peter Stuckey:
When Do Bounds and Domain Propagation Lead to the Same
Search Space,
Proceedings of the 3rd International Conference on Principles and
Practice of Declarative Programming (PPDP), Florence, Italy, 2001
- Guido Tack & Didier Le Botlan:
Compositional Abstractions for Search Factories,
Second International Mozart/Oz Conference (MOZ), 2004, LNCS 3389
- Christian Schulte & Guido Tack:
Views and Iterators for Generic Constraint
Implementations,
Fifth International Colloqium on Implementation of Constraint
and Logic Programming Systems, 2005
- Christian Schulte & Guido Tack:
Views and Iterators for Generic Constraint
Implementations (Revised version of CICLOPS paper),
Recent Advances in Constraints, LNCS 3978, Springer 2005
- Guido Tack, Christian Schulte, Gert Smolka:
Generating Propagators for Finite Set Constraints, Principles and Practice of Constraint Programming, LNCS 4204, Springer 2006
See also other papers by our group on constraints
and distribution.
Research Reports and Proposals
Stockhausen,
Mon Jul 23 16:11:03 2007