Now showing items 1-2 of 2

    • A Complete Gentzen-style Axiomatization for Set Constraints 

      Cheng, Allan; Kozen, Dexter (Cornell University, 1995-05)
      Set constraints are inclusion relations between expressions denoting sets of ground terms over a ranked alphabet. They are the main ingredient in set-based program analysis. In this paper we provide a Gentzen-style ...
    • Some Notes on Rational Spaces 

      Cheng, Allan; Kozen, Dexter (Cornell University, 1996-03)
      Set constraints are inclusions between expressions denoting set of ground terms over a finitely ranked alphabet $\Sigma$. Rational spaces are topological spaces obtained as spaces of runs of topological ...