Relational inductive shape analysis Conference Proceeding

Overview

CU Boulder Authors

• Chang, Bor-Yuh Evan

publication date

• January 10, 2008

has restriction

• closed

Date in CU Experts

• February 1, 2017 4:25 AM

Full Author List

• Chang B-YE; Rival X

author count

• 2

citation count

• 21

published in

• ACM Sigplan Notices  Journal

presented at event

• 35th Annual ACM SIGPLAN/SIGACT Symposium on Principles of Programming Language  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 0362-1340

Electronic International Standard Serial Number (EISSN)

• 1558-1160

Digital Object Identifier (DOI)

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

Additional Document Info

start page

• 247

end page

• 260

volume

• 43

issue

• 1