Login / Signup

Fractional resources in unbounded separation logic.

Thibault DardinierPeter MüllerAlexander J. Summers
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases