Projection merging: Reducing redundancies in inclusion constraint graphs

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2000, Pages 81-95

  Su, Zhendong ^a   Fähndrich, Manuel ^a,b   Aiken, Alexander ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b NONE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; GRAPH THEORY; REDUNDANCY;

INCLUSION CONSTRAINT GRAPHS; PROJECTION MERGING;

PROGRAM DIAGNOSTICS;

EID: 0033725888     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)