Programming Systems Lab: Publications by Michael Mehl

Saarland University Computer Science

Select author:

1999

Efficient Logic Variables for Distributed Computing   (pdf)
Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, Gert Smolka
ACM Transactions on Programming Languages and Systems

The Oz Virtual Machine - Records, Transients, and Deep Guards   (pdf)
Michael Mehl
PhD Thesis, Technische Fakultät der Universität des Saarlandes

1998

Futures and By-need Synchronization   (pdf)
Michael Mehl, Christian Schulte, Gert Smolka
Technical Report, DRAFT

1997

Mobile Objects in Distributed Oz   (pdf)
Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, Ralf Scheidhauer
ACM Transactions on Programming Languages and Systems

1996

Integrating Efficient Records into Concurrent Constraint Programming   (pdf)
Peter Van Roy, Michael Mehl, Ralf Scheidhauer
International Symposium on Programming Languages, Implementations, Logics, and Programs

1995

An Abstract Machine for Oz   (pdf)
Michael Mehl, Ralf Scheidhauer, Christian Schulte
Technical Report, Also in: \em Proceedings of PLILP'95\/, Springer-Verlag, LNCS, Utrecht, The Netherlands

1991

Nichtmonotone Aspekte des fallbasierten Schliessens und deren Fundierung in Default-Logik mit Prioritäten   (pdf)
Michael Mehl
Technical Report, Diploma Thesis, Universität Kaiserslautern, Fachbereich Informatik, 1991. In German. Short Version \em Retrieval in Case-Based Reasoning using preferred subtheories appeared in G. Brewka, K. P. Jantke


Login to edit


Webmaster, Mon May 30 13:48:30 2016