Jung, RalfRalfJungLepigre, RodolpheRodolpheLepigreParthasarathy, GauravGauravParthasarathyRapoport, MariannaMariannaRapoportTimany, AminAminTimanyDreyer, DerekDerekDreyerJacobs, BartBartJacobs2021-11-262021-11-022021-11-2620202475-1421WOS:000685202400046https://imec-publications.be/handle/20.500.12860/37609The Future is Ours: Prophecy Variables in Separation LogicJournal article10.1145/3371113WOS:000685202400046LINEARIZABILITY