September 30, 2020 Journal article Open Access

Sifis Lagouvardos; Neville Grech; Ilias Tsatiris; Yannis Smaragdakis

Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:creator>Sifis Lagouvardos</dc:creator>
  <dc:creator>Neville Grech</dc:creator>
  <dc:creator>Ilias Tsatiris</dc:creator>
  <dc:creator>Yannis Smaragdakis</dc:creator>
  <dc:date>2020-09-30</dc:date>
  <dc:description>This is the artifact for the paper:
Precise Static Modeling of Ethereum "Memory",
Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, and Yannis Smaragdakis.
In Proceedings of the ACM in Programming Languages (OOPSLA) 2020

For more details, see file README.md.</dc:description>
  <dc:identifier>https://zenodo.org/record/4059797</dc:identifier>
  <dc:identifier>10.5281/zenodo.4059797</dc:identifier>
  <dc:identifier>oai:zenodo.org:4059797</dc:identifier>
  <dc:language>eng</dc:language>
  <dc:relation>doi:10.5281/zenodo.4059796</dc:relation>
  <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:rights>http://www.opensource.org/licenses/bsd-license.php</dc:rights>
  <dc:subject>ethereum</dc:subject>
  <dc:subject>EVM</dc:subject>
  <dc:subject>static analysis</dc:subject>
  <dc:title>Precise Static Modeling of Ethereum "Memory" (artifact)</dc:title>
  <dc:type>info:eu-repo/semantics/article</dc:type>
  <dc:type>publication-article</dc:type>
</oai_dc:dc>