Joachim Niehren, Tim Priesnitz  Home/Search
Context
Related
| ps.unisb.de/Papers/abstracts/pdl.ps Cached: PS.gz PS This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PDF Image Update HelpPS.gz PS From: ps.unisb.de/Papers/abstracts/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We establish a new relationship between subtype constraints and modal logic. It implies uniformly that satisfiability of structural subtype constraints with ordered constants, function and recursive types is DEXPTIME-complete, and PSPACE-complete without recursive types. This answers an open question raised by Tiuryn and Wand in 1993, and yields a new simpler proof to a result of Tiuryn and Frey at the same time. (Update)
Active bibliography (related documents): More All
1.0: Non-Structural Subtype Entailment in Automata Theory - Niehren, Priesnitz (2001) (Correct)
0.7: The First-Order Theory of Subtyping Constraints - Su, Aiken, Niehren, Priesnitz (Correct)
0.5: First-Order Theory of Subtyping Constraints - Su, Aiken, Niehren, Priesnitz (Correct)
Similar documents based on text: More All
0.7: The First-Order Theory of Subtype Constraints - Su, Aiken, Niehren.. (Correct)
0.5: Entailment of Non-Structural Subtype Constraints - Niehren, Priesnitz (1999) (Correct)
0.2: Underspecified Beta Reduction - Manuel Bodirsky Katrin (2001) (Correct)
BibTeX entry: (Update)
@misc{ niehren-subtype,
author = "Joachim Niehren and Tim Priesnitz",
title = "Subtype Constraints in Modal Logic",
url = "citeseer.ist.psu.edu/685053.html" }
Citations (may not include all citations):362 Dynamic Logic - Harel, Kozen et al. - 2000
241 Decidability of second-order theories and automata on infint.. (context) - Rabin - 1969
229 Foundations for Programming Languages (context) - Mitchell - 1996
195 Propositional dynamic logic of regular programs (context) - Fischer, Ladner - 1979
129 ACM Transactions on Programming Languages and Systems (context) - Amadio, Cardelli et al. - 1993
85 Type inference with simple subtypes (context) - Mitchell - 1991
72 Sound polymorphic type inference for objects - Eifrig, Smith et al. - 1995
64 Types and programming languages (context) - Pierce - 2002
54 Complexity of Modal Logics (context) - Spaan - 1993
45 Haskell overloading is DEXPTIME-complete (context) - Seidl - 1994
43 Subtype inequalities (context) - Tiuryn - 1992
30 Theoretical Computer Science (context) - Fuh, Mishra et al. - 1990
29 The complexity of subtype entailment for simple types - Henglein, Rehof - 1997
22 Modal Logic - Blackburn, de Rijke et al. - 2001
20 Satisfying subtype inequalities in polynomial space - Frey - 2002
20 Type reconstruction with recursive types and atomic subtypin.. (context) - Tiuryn, Wand - 1993
18 Type Inference with Non-structural Subtyping - Palsberg, Wand et al. - 1997
16 Satisfiability of inequalities in a poset - Pratt, Tiuryn - 1996
15 Type inference in the presence of subtyping: from theory to .. (context) - Pottier - 1998
13 Constraint automata and the complexity of recursive subtype .. - Henglein, Rehof - 1998
10 Structural subtyping of non-recursive types is decidable - Kuncak, Rinard - 2003
7 First-order theory of subtyping constraints - Su, Aiken et al. - 2002
6 Deterministic propositional dynamic logic: Finite models (context) - Ben-Ari, Halpern et al. - 1982
6 cient inference of partial types (context) - Kozen, Palsberg et al. - 1994
5 Entailment of non-structural subtype constraints - Niehren, Priesnitz - 1999
4 Non-structural subtype entailment in automata theory - Niehren, Priesnitz - 2001
3 The complexity of poor man's logic (context) - Hemaspaandra - 2000
Documents on the same site (http://www.ps.uni-sb.de/Papers/abstracts/): More
Set-Based Failure Analysis for Logic Programs and.. - Podelski, Charatonik, .. (1999) (Correct)
Type Inference for First-Class Messages with Feature Constraints - Müller, Nishimura (Correct)
Entailment of Non-Structural Subtype Constraints - Niehren, Priesnitz (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC