A Decision Procedure for a Class of Set Constraints

著者: Nevin Heintze, Joxan Jaffar
タイトル: A Decision Procedure for a Class of Set Constraints
日時: February 1991
カテゴリ: CMUTR

Category: CMUTR
Institution: Carnegie Mellon University, School of Computer
        Science
Number: CMU-CS-91-110
Bibtype: TechReport
Author: Nevin Heintze
        Joxan Jaffar
Month: feb
Title: A Decision Procedure for a Class of Set Constraints
Year: 1991
Key: Set constraints, Program analysis, decision procedures
Address: Pittsburgh, PA