[{"data": {"name": "Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version)", "@type": "ScholarlyArticle", "genre": "journal-article", "author": [{"name": "Martin Bodin", "@type": "Person"}, {"name": "Thomas Jensen", "@type": "Person"}, {"name": "Alan Schmitt", "@type": "Person"}], "@context": "http://schema.org/", "encoding": [{"@type": "MediaObject", "contentUrl": "https://arxiv.org/pdf/1309.5149", "encodingFormat": "application/pdf"}, {"@type": "MediaObject", "contentUrl": "http://arxiv.org/pdf/1309.5149", "encodingFormat": "application/pdf"}], "publisher": {"name": "Open Publishing Association", "@type": "Organization"}, "identifier": [{"@type": "PropertyValue", "value": "10.4204/eptcs.129.23", "propertyID": "DOI"}, {"@type": "PropertyValue", "value": "CCjmA5g482mpW-CTgqo1Fc2jgnC-CDmjm3PUw6ABA-CR78DHkLLJK8m", "propertyID": "ISCC"}], "datePublished": "2013-09-19"}, "schema": "schema.org", "mediatype": "application/ld+json"}]