Automatic numeric abstractions for heap-manipulating programs

Magill, S.S.MagillTsai, M.-H.M.-H.TsaiLee, P.P.LeeYIH-KUEN TSAY2018-09-102018-09-102010http://www.scopus.com/inward/record.url?eid=2-s2.0-77950898584&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/356140Automatic numeric abstractions for heap-manipulating programsconference paper10.1145/1706299.1706326