Programming Systems Lab: Publications by Tim Priesnitz

Saarland University Computer Science

Select author:

2006

First-Order Theory of Subtyping Constraints   (pdf)
Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
ACM Transactions on Programming Languages and Systems

2005

The Complexity of Subtype Satisfiability over Posets   (pdf)
Joachim Niehren, Tim Priesnitz, Zhendong Su
14th European Symposium on Programming

2004

Subtype Satisfiability and Entailment   (pdf)
Tim Priesnitz
PhD Thesis

2003

Non-Structural Subtype Entailment in Automata Theory   (pdf)
Joachim Niehren, Tim Priesnitz
Information and Computation

2002

First-Order Theory of Subtyping Constraints   (pdf)
Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
The 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

2001

Non-Structural Subtype Entailment in Automata Theory   (pdf)
Joachim Niehren, Tim Priesnitz
Fourth International Symposium on Theoretical Aspects of Computer Software

2000

Entailment von nicht-strukturellen Teiltyp-Constraints   (pdf)
Tim Priesnitz
Master's Thesis, Diplomarbeit. Fachbereich Informatik, Universität des Saarlandes

1999

Entailment of Non-Structural Subtype Constraints   (pdf)
Joachim Niehren, Tim Priesnitz
Asian Computing Science Conference


Login to edit


Webmaster, Mon May 30 13:48:30 2016