Other Open Access

The Future is Ours: Prophecy Variables in Separation Logic -- Artifact

Jung, Ralf; Lepigre, Rodolphe; Parthasarathy, Gaurav; Rapoport, Marianna; Timany, Amin; Dreyer, Derek; Jacobs, Bart


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
195
20
views
downloads
All versions This version
Views 19578
Downloads 2015
Data volume 15.9 GB6.0 GB
Unique views 17371
Unique downloads 1410

Share

Cite as