Time Credits and Time Receipts in Iris-Reference-Cited by-同舟云学术

Time Credits and Time Receipts in Iris

Published:2019 Issue: Volume: Page:3-29
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Mével Glen,Jourdan Jacques-Henri,Pottier François

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-17184-1_1

Reference22 articles.

1. Atkey, R.: Amortised resource analysis with separation logic. Log. Methods Comput. Sci. 7(2:17) (2011). http://bentnib.org/amortised-sep-logic-journal.pdf

2. Birkedal, L.: Lecture11: CAS and spin locks, November 2017. https://iris-project.org/tutorial-pdfs/lecture11-cas-spin-lock.pdf

3. Brookes, S., O’Hearn, P.W.: Concurrent separation logic. SIGLOG News 3(3), 47–65 (2016). http://siglog.hosting.acm.org/wp-content/uploads/2016/07/siglognews9.pdf#page=49

4. Charguéraud, A., Pottier, F.: Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits. J. Autom. Reason. (2017). http://gallium.inria.fr/~fpottier/publis/chargueraud-pottier-uf-sltc.pdf

5. Lecture Notes in Computer Science;M Clochard,2016

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Thunks and Debits in Separation Logic with Time Credits;Proceedings of the ACM on Programming Languages;2024-01-05

2. Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols;Proceedings of the ACM on Programming Languages;2023-08-30

3. Automatic Amortized Resource Analysis with Regular Recursive Types;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26

4. Omnisemantics: Smooth Handling of Nondeterminism;ACM Transactions on Programming Languages and Systems;2023-03-08

5. A Calculus for Amortized Expected Runtimes;Proceedings of the ACM on Programming Languages;2023-01-09