On the complexity of set-based analysis

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 1997, Pages 150-163

  Heintze, Nevin ^a   McAllester, David ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; PROGRAMMING THEORY;

MONOVARIANT PROGRAMS; POLYMORPHIC PROGRAMS; SET BASED ANALYSIS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0030709170     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/258948.258963     Document Type: Conference Paper

References (16)