Verifying Reference Counting Implementations
Michael Emmi
◽
Ranjit Jhala
◽
Eddie Kohler
◽
Rupak Majumdar
2006 ◽
Vol 34
(1)
◽
pp. 3-10
◽
Scott Friedman
◽
Praveen Krishnamurthy
◽
Roger Chamberlain
◽
Ron K. Cytron
◽
Jason E. Fritts
2004 ◽
Vol 39
(1)
◽
pp. 210-219
◽
Michael Hyman
◽
Phani Vaddadi
Jangseop Shin
◽
Donghyun Kwon
◽
Jiwon Seo
◽
Yeongpil Cho
◽
Yunheung Paek
Gaspard Férey
◽
Natarajan Shankar