Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
Have you forgotten your password?
Home
College of Management / 管理學院
Information Management / 資訊管理學系
Automatic numeric abstractions for heap-manipulating programs
Details
Automatic numeric abstractions for heap-manipulating programs
Journal
Conference Record of the Annual ACM Symposium on Principles of Programming Languages
Pages
211-222
Date Issued
2010
Author(s)
Magill, S.
Tsai, M.-H.
Lee, P.
YIH-KUEN TSAY
DOI
10.1145/1706299.1706326
URI
http://www.scopus.com/inward/record.url?eid=2-s2.0-77950898584&partnerID=MN8TOARS
http://scholars.lib.ntu.edu.tw/handle/123456789/356140
Type
conference paper