A demand-driven adaptive type analysis

DOI10.1145/581478.581487MaRDI QIDQ2949194zbMATH OpenOpenAlexFDO

Authors Danny Dubé, Marc Feeley

Publication date 7 October 2015

Published in Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/581478.581487

zbMATH Keywords

demand-driven analysisstatic analysistype analysis

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Flexible type analysis
• Flexible representation analysis
• Order-of-demand analysis for lazy languages
• Demand analysis with partial predicates
• scientific article; zbMATH DE number 1953279

Cited in

(4)

• Flexible type analysis
• scientific article; zbMATH DE number 2011470 (Why is no real title available?)
• scientific article; zbMATH DE number 2087559 (Why is no real title available?)
• Flexible representation analysis

This page was built for publication: A demand-driven adaptive type analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2949194)