View in EDS PDF Full Text

Strong-separation Logic.

Saved in:
Bibliographic Details
Title: Strong-separation Logic.
Authors: PAGEL, JENS1, ZULEGER, FLORIAN1
Source: ACM Transactions on Programming Languages & Systems; Jul2022, Vol. 44 Issue 3, p1-40, 40p
Database: Applied Science & Technology Source
Description
ISSN:01640925
DOI:10.1145/3498847