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...

• Type: Conference
• Year: 2003
• Where: CC
• Authors: Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho
• Keywords: Abstraction Refinement, CC 2003, Eugenio Moggi, Laurie Hendren, Programming Languages