Automatic Detection of Uninitialized Variables

10 years 1 days 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. A Game Semantics of Linearly Used Continuations James Laird. A Monadic Multi-stage Metalanguage Eugenio Moggi, Sonia Fagorzi. CCM Java (Chair: Pierluigi San Pietro) Polyglot: An Extensible Compiler Framework for Java Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers. Scaling Java Points-to Analysis Using Spark Ond˘rej Lhoták, Laurie Hendren. Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences Etienne Gagnon, Laurie Hendren. Integrating Generations with Advanced Reference Counting Garbage Collectors Hezi Azatchi, Erez Petrank. TACASC ions and Counter-examples (Chair: Kim Larsen) Proof-like Counter-Examples Arie Gurfinkel, Marsha Chechik. -Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ran...
Thi Viet Nga Nguyen, François Irigoin, Cori
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where CC
Authors Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho
Comments (0)