Relational Inductive Shape Analysis Conference Proceeding

Overview

CU Boulder Authors

• Chang, Bor-Yuh Evan

publication date

• January 7, 2008

has restriction

• closed

Date in CU Experts

• October 17, 2013 8:36 AM

Full Author List

• Chang B-YE; Rival X

author count

• 2

citation count

• 53

presented at event

• 35th ACM-SIGPLAN-SIGACT Symposium on Principles of Programming Languages  Conference

Other Profiles

Digital Object Identifier (DOI)

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

International Standard Book Number (ISBN) 13

• 978-1-59593-689-9

Additional Document Info

start page

• 247

end page

• 260