ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
Total-Correctness Refinement for Sequential Reactive Systems
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Memory Management: An Abstract Formulation of Incremental Tracing
TYPES '99 Selected papers from the International Workshop on Types for Proofs and Programs
A Mechanized Proof Environment for the Convenient Computations Proof Method
Formal Methods in System Design
Birrell's distributed reference listing revisited
ACM Transactions on Programming Languages and Systems (TOPLAS)
Correctness-preserving derivation of concurrent garbage collection algorithms
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Lock-free parallel and concurrent garbage collection by mark&sweep
Science of Computer Programming
CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
A general framework for certifying garbage collectors and their mutators
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Garbage collector verification for proof-carrying code
Journal of Computer Science and Technology
Local reasoning about a copying garbage collector
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automated verification of practical garbage collectors
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Reusable verification of a copying collector
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
Specification and Verification of Concurrent Programs Through Refinements
Journal of Automated Reasoning
Hi-index | 0.00 |