Safe Stream-Based Programming with Refinement Types Conference Proceeding

Overview

CU Boulder Authors

• Chang, Bor-Yuh Evan

publication date

• September 3, 2018

has restriction

• bronze

Date in CU Experts

• February 1, 2019 10:31 AM

Full Author List

• Stein B; Clapp L; Sridharan M; Chang B-YE

Full Editor List

• Huchard M; Kastner C; Fraser G

author count

• 4

citation count

• 3

published in

• Proceedings / IEEE International Conference, Automated Software Engineering ; sponsored by IEEE Computer Society, NASA Ames Research Center, in cooperation with AAAI, ACM SIGART and SIGSOFT. IEEE International Automated Software Enginee...  Journal

presented at event

• 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE)  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 1527-1366

Digital Object Identifier (DOI)

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

Additional Document Info

start page

• 565

end page

• 576