Amortised resource analysis with separation logic

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

77 Downloads (Pure)

1 Article

1 results

Filter

2011
Amortised resource analysis with separation logic
Atkey, R., 23 Jun 2011, In: Logical Methods in Computer Science. 7, 2, 17.
Research output: Contribution to journal › Article › peer-review

Open Access
File
34 Citations (Scopus)

23 Downloads (Pure)