Demand Control-Flow Analysis-Reference-Cited by-同舟云学术

Demand Control-Flow Analysis

Published:2019 Issue: Volume: Page:226-246
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Germane Kimball,McCarthy Jay,Adams Michael D.,Might Matthew

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-11245-5_11

Reference23 articles.

1. Ashley, J.M., Dybvig, R.K.: A practical and flexible flow analysis for higher-order languages. ACM Trans. Program. Lang. Syst. 20, 845–868 (1998)

2. Biswas, S.K.: A demand-driven set-based analysis. In: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1997. ACM (1997)

3. Darais, D., Labich, N., Nguyen, P.C., Van Horn, D.: Abstracting definitional interpreters (functional pearl). Proc. ACM Program. Lang. 1(ICFP), 12 (2017)

4. Duesterwald, E., Gupta, R., Soffa, M.L.: A practical framework for demand-driven interprocedural data flow analysis. ACM Trans. Program. Lang. Syst. (TOPLAS) 19(6), 992–1030 (1997)

5. Earl, C., Might, M., Van Horn, D.: Pushdown control-flow analysis of higher-order programs. In: Workshop on Scheme and Functional Programming (2010)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs;Proceedings of the ACM on Programming Languages;2024-08-15

2. Lifting On-Demand Analysis to Higher-Order Languages;Static Analysis;2023

3. Higher-order demand-driven symbolic evaluation;Proceedings of the ACM on Programming Languages;2020-08-02

4. A Set-Based Context Model for Program Analysis;Programming Languages and Systems;2020