[{"data": {"name": "Automatic numeric abstractions for heap-manipulating programs", "@type": "ScholarlyArticle", "genre": "journal-article", "author": [{"name": "Stephen Magill", "@type": "Person"}, {"name": "Ming-Hsien Tsai", "@type": "Person"}, {"name": "Peter Lee", "@type": "Person"}, {"name": "Yih-Kuen Tsay", "@type": "Person"}], "@context": "http://schema.org/", "encoding": [{"@type": "MediaObject", "contentUrl": "http://www.cs.cmu.edu/~smagill/papers/magill-popl10.pdf", "encodingFormat": "application/pdf"}], "publisher": {"name": "Association for Computing Machinery (ACM)", "@type": "Organization"}, "identifier": [{"@type": "PropertyValue", "value": "10.1145/1707801.1706326", "propertyID": "DOI"}, {"@type": "PropertyValue", "value": "CCdCWJj3yo32D-CT9c81jsDpq81-CDg5M79u9YJMP-CRveAX4hCBfrw", "propertyID": "ISCC"}], "datePublished": "2010-01-17"}, "schema": "schema.org", "mediatype": "application/ld+json"}]