Login / Signup

Theorems for free from separation logic specifications.

Lars BirkedalThomas Dinsdale-YoungArmaël GuéneauGuilhem JaberKasper SvendsenNikos Tzevelekos
Published in: Proc. ACM Program. Lang. (2021)
Keyphrases