Static Analysis with Demand-Driven Value Refinement Journal Article

• Best Open Access

Overview

CU Boulder Authors

• Chang, Bor-Yuh Evan

publication date

• October 1, 2019

has restriction

• gold

Date in CU Experts

• February 1, 2020 7:47 AM

Full Author List

• Stein B; Nielsen BB; Chang B-YE; Moller A

author count

• 4

citation count

• 8

published in

• Proceedings of the ACM on Programming Languages  Journal

Other Profiles

Electronic International Standard Serial Number (EISSN)

• 2475-1421

Digital Object Identifier (DOI)

• https://doi.org/10.1145/3360566

Additional Document Info

volume

• 3

number

• ARTN 140