Lifting On-Demand Analysis to Higher-Order Languages Conference Proceeding

Overview

CU Boulder Authors

• Chang, Bor-Yuh Evan

publication date

• October 22, 2023

has restriction

• closed

Date in CU Experts

• October 31, 2023 7:05 AM

Full Author List

• Schoepe D; Seekatz D; Stoilkovska I; Stucki S; Tattersall D; Bolignano P; Raimondi F; Chang B-YE

Full Editor List

• Hermenegildo MV; Morales JF

author count

• 8

citation count

• 0

published in

• Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  Journal

presented at event

• 30th International Static Analysis Symposium  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 0302-9743

Electronic International Standard Serial Number (EISSN)

• 1611-3349

Digital Object Identifier (DOI)

• https://doi.org/10.1007/978-3-031-44245-2_20

International Standard Book Number (ISBN) 13

• 978-3-031-44244-5

Additional Document Info

start page

• 460

end page

• 484

volume

• 14284