Publisher
Association for Computing Machinery (ACM)
Reference10 articles.
1. Garbage Collection of Linked Data Structures
2. On-the-fly garbage collection
3. An application of a method for analysis of cyclic programs;FRANCEZ N;IEEE Trans. $ofiw. Eng.,1978
4. FRANCEZ N. AND PNUELI A. A proof method for cyclic programs. Acta In{. 9 (1978) 133-157. FRANCEZ N. AND PNUELI A. A proof method for cyclic programs. Acta In{. 9 (1978) 133-157.
5. An exercise in proving parallel programs correct
Cited by
69 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example;Formal Aspects of Computing;2019-06
2. A Refinement Proof for a Garbage Collector;From Reactive Systems to Cyber-Physical Systems;2019
3. Transactional Sapphire;ACM Transactions on Programming Languages and Systems;2018-12-31
4. Block-free concurrent GC: stack scanning and copying;ACM SIGPLAN Notices;2018-07-19
5. General Lessons from a Rely/Guarantee Development;Dependable Software Engineering. Theories, Tools, and Applications;2017