Published April 29, 2025 | Version v1
Software Open

Bottom-up Synthesis of Memory Mutations with Separation Logic (Artifact)

Creators

  • 1. ROR icon Technion – Israel Institute of Technology

Description

Docker image to replicate the results of "Bottom-up Synthesis of Memory Mutations with Separation Logic", in Proceedings of the 39th European Conference on Object-Oriented Programming (ECOOP 2025)

Files

Files (945.4 MB)

Name Size Download all
md5:78d047d62b3cf6970b1bfa0f2442a022
945.4 MB Download

Additional details

Related works

Is supplement to
Publication: 10.4230/LIPIcs.ECOOP.2025.7 (DOI)

Dates

Available
2025-04-28

Software

Repository URL
https://github.com/peleghila/sobeq