Programming Systems Lab: Publications by Martin Müller

Saarland University Computer Science

Select author:

2001

The First-Order Theory of Ordering Constraints over Feature Trees   (pdf)
Martin Müller, Joachim Niehren, Ralf Treinen
Discrete Mathematics and Theoretical Computer Science

2000

Ordering Constraints over Feature Trees Expressed in Second-order Monadic Logic   (pdf)
Martin Müller, Joachim Niehren
Information and Computation

Ordering Constraints over Feature Trees   (pdf)
Martin Müller, Joachim Niehren, Andreas Podelski
Constraints, an International Journal

Type Inference for First-Class Messages with Feature Constraints   (pdf)
Martin Müller, Susumu Nishimura
International Journal of Foundations of Computer Science

1999

Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs   (pdf)
Andreas Podelski, Witold Charatonik, Martin Müller
Proceedings of ESOP'99, the European Symposium of Programmin

Entailment of Atomic Set Constraints is PSPACE-Complete   (pdf)
Martin Müller, Joachim Niehren, Jean-Marc Talbot
Fourteenth Annual IEEE Symposium on Logic in Computer Sience

1998

The First-Order Theory of Ordering Constraints over Feature Trees   (pdf)
Martin Müller, Joachim Niehren, Ralf Treinen
Thirteenth annual IEEE Symposium on Logic in Computer Sience (LICS98)

Ordering Constraints over Feature Trees Expressed in Second-order Monadic Logic   (pdf)
Martin Müller, Joachim Niehren
International Conference on Rewriting Techniques and Applications

Type Inference for First-Class Messages with Feature Constraints   (pdf)
Martin Müller, Susumu Nishimura
Asian Computer Science Conference (ASIAN 98)

Set-based Failure Diagnosis for Concurrent Constraint Programming   (pdf)
Martin Müller
PhD Thesis, Universität des Saarlandes, Fachbereich Informatik

1997

Inclusion Constraints over Non-Empty Sets of Trees   (pdf)
Martin Müller, Joachim Niehren, Andreas Podelski
Theory and Practice of Software Development, International Joint Conference CAAP/FASE/TOOLS

Ordering Constraints over Feature Trees   (pdf)
Martin Müller, Joachim Niehren, Andreas Podelski
Proceedings of the Third International Conference on Principles and Practice of Constraint Programming

Finite Set Constraints in Oz   (pdf)
Tobias Müller, Martin Müller
13. Workshop Logische Programmierung

Set-based Error Diagnosis of Concurrent Constraint Programs   (pdf)
Andreas Podelski, Witold Charatonik, Martin Müller
Technical Report, \URL\tt http://www.ps.uni-sb.de/Paper/abstracts/Diagnosis-97.html. Submitted.

1996

Oz: Nebenläufige Programmierung mit Constraints   (pdf)
Martin Müller, Gert Smolka
KI - Künstliche Intelligenz

1995

Multi-Paradigm Programming in Oz   (pdf)
Martin Müller, Tobias Müller, Peter Van Roy
Visions for the Future of Logic Programming: Laying the Foundations for a Modern successor of Prolog

A Type is a Type is a Type   (pdf)
Martin Müller, Joachim Niehren
Joint COMPULOGNET/ELSNET/EAGLES Workshop on Computational Logic for Natural Language Processing

Constraints for Free in Concurrent Computation   (pdf)
Martin Müller, Joachim Niehren
Asian Computing Science Conference

1994

A Constraint-Based Recast of ML-Polymorphism   (pdf)
Martin Müller
8$^th$ # International Workshop on Unification


Login to edit


Legal notice, Privacy policy