Programming Systems Lab: Publications by Michael Mehl

Saarland University Computer Science

Select author:


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


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


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


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


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


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

Legal notice, Privacy policy