On the cubic bottleneck in subtyping and flow analysis

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1997, Pages 342-351

  Heintze, Nevin ^a   McAllester, David ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION THEORY; FLOWCHARTING; FORMAL LANGUAGES; PROBLEM SOLVING; THEOREM PROVING;

DATA FLOW ANALYSIS;

COMPUTATIONAL COMPLEXITY;

EID: 0030721929     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)