Sciweavers

BCS
2008
14 years 1 months ago
Object representatives: a uniform abstraction for pointer information
on Abstraction Implementation Related Work and Conclusion Object representatives: a uniform ion for pointer information Eric Bodden, Patrick Lam and Laurie Hendren September 2008 ...
Eric Bodden, Patrick Lam, Laurie J. Hendren
CC
2003
Springer
250views System Software» more  CC 2003»
14 years 5 months ago
Automatic Detection of Uninitialized Variables
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
Thi Viet Nga Nguyen, François Irigoin, Cori...