Cited By
View all- Hawblitzel CPetrank E(2009)Automated verification of practical garbage collectorsACM SIGPLAN Notices10.1145/1594834.148093544:1(441-453)Online publication date: 21-Jan-2009
- Hawblitzel CPetrank EShao ZPierce B(2009)Automated verification of practical garbage collectorsProceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/1480881.1480935(441-453)Online publication date: 21-Jan-2009
- Monnier SStump AXi H(2007)The swiss coercionProceedings of the 2007 workshop on Programming languages meets program verification10.1145/1292597.1292604(33-40)Online publication date: 2-Oct-2007
- Show More Cited By