A Path Sensitive Type System for Resource Usage Verification of C Like Languages - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han. A Path Sensitive Type System for Resource Usage Verification of C Like Languages. In Kwangkeun Yi, editor, Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings. Volume 3780 of Lecture Notes in Computer Science, pages 264-280, Springer, 2005. [doi]

This author has not been identified. Look up 'Hyun-Goo Kang' in GoogleThis author has not been identified. Look up 'Youil Kim' in GoogleThis author has not been identified. Look up 'Taisook Han' in GoogleThis author has not been identified. Look up 'Hwansoo Han' in Google

runs on WebDSL