×

zbMATH — the first resource for mathematics

Type-base flow analysis: from polymorphic subtyping to CFL-reachability. (English) Zbl 1323.68226
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’01, London, UK, January 17–19, 2001. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-336-7). 54-66 (2001).

MSC:
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68N15 Theory of programming languages
68N18 Functional programming and lambda calculus
68Q45 Formal languages and automata
PDF BibTeX XML Cite
Full Text: DOI