There is a newer version of this record available.

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": []
}
467
50
views
downloads
All versions This version
Views 467301
Downloads 5011
Data volume 47.6 GB21.8 GB
Unique views 360243
Unique downloads 3311

Share

Cite as