Programming Systems Lab: Publications by Andreas Podelski

Programming Systems

Gert Smolka

Publications

Teaching

Software

Formalizations

2000

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

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

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

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.

1995

Operational Semantics of Constraint Logic Programs with Coroutining   (pdf)
Andreas Podelski, Gert Smolka
Proceedings of the 1995 International Conference on Logic Programming

Situated Simplification   (pdf)
Andreas Podelski, Gert Smolka
Proceedings of the 1st Conference on Principles and Practice of Constraint Programming

1994

A Feature-based Constraint System for Logic Programming with Entailment   (pdf)
Hassan Aït-Kaci, Andreas Podelski, Gert Smolka
Theoretical Computer Science

1993

Feature Automata and Recognizable Sets of Feature Trees   (pdf)
Joachim Niehren, Andreas Podelski
Theory and Practice of Software Development, International Joint Conference CAAP/FASE/TOOLS

Equational and Membership Constraints for Infinite Trees   (pdf)
Joachim Niehren, Andreas Podelski, Ralf Treinen
5th International Conference on Rewriting Techniques and Applications

Login to edit