Language Boxes
Abstract elided by the publisher.
Related papers
- Boxes: A Symbolic Abstract Domain of Boxes SAS 2010
- Generalized Boxings, Congruences and Partial Inlining SAS 1994
- Coping with Outside-the-Box Attacks CAV 2008
- Probabilistic Verification for "Black-Box" Systems CAV 2005
- A Tool Box for Compiler Construction CC 1990
- Reducing the Cost of Object Boxing CC 2004
- Black-Box Equivalence Checking Across Compiler Optimizations APLAS 2017
- A Control Flow Analysis for Safe and Boxed Ambients ESOP 2004