Author:
Das Satyaki,Dill David L.,Park Seungjoon
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. C. Barrett, D. Dill, and J. Levitt. Validity checking for combinations of theories with equality. In M. Srivas and A. Camilleri, editors, Formal Methods In Computer-Aided Design, volume 1166 of Lecture Notes in Computer Science, pages 187–201. Springer-Verlag, November 1996. Palo Alto, California, November 6-8.
2. M. Ben-Ari. Algorithms for on-the-fly garbage collection. ACM Transactions on Programming Languages and Systems, 6(3):333–344, July 1984.
3. M. A. Col_on and T. E. Uribe. Generating finite-state abstractions of reactive systems using decision procedures. In Conference on Computer-Aided Verification, volume 1427 of Lecture Notes in Computer Science, pages 293–304. Springer-Verlag, 1998.
4. E. W. Dijkstra, L. Lamport, A. Martin, C. S. Scholten, and E. F. M. Steffens. On-the-fly garbage collection: An exercise in cooperation. Communications of the ACM, 21(11):966–75, November 1978.
5. D. Doligez and G. Gonthier. Portable, unobtrusive garbage collection for multi-processor systems. Proc. ACM Symp. on Principles of Programming Languages, January 1994.
Cited by
92 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Simplification Method of CPN Model Based on Data Abstraction;2024 27th International Conference on Computer Supported Cooperative Work in Design (CSCWD);2024-05-08
2. Mostly Automated Proof Repair for Verified Libraries;Proceedings of the ACM on Programming Languages;2023-06-06
3. Incremental predicate analysis for regression verification;Proceedings of the ACM on Programming Languages;2020-11-13
4. Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions;Lecture Notes in Computer Science;2019
5. Verifying equivalence of database-driven applications;Proceedings of the ACM on Programming Languages;2018-01