ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
Memory Management: An Abstract Formulation of Incremental Tracing
TYPES '99 Selected papers from the International Workshop on Types for Proofs and Programs
Birrell's distributed reference listing revisited
ACM Transactions on Programming Languages and Systems (TOPLAS)
A general framework for certifying garbage collectors and their mutators
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
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
Dafny: an automatic program verifier for functional correctness
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Hi-index | 0.00 |