Cool: A Control-Flow Generator for System Analysis
Abstract elided by the publisher.
Related papers
- Units: Cool Modules for HOT Languages PLDI 1998
- COOL: Kernel Support for Object-Oriented Environments OOPSLA 1990
- Generic Model Checking for Modal Fixpoint Logics in COOL-MC VMCAI 2024
- Data Locality and Load Balancing in COOL PPoPP 1993
- Control-Flow Analysis and Type Systems SAS 1995
- Java-to-JavaScript translation via structured control flow reconstruction of compiler IR DLS 2015
- Pushdown flow analysis of first-class control ICFP 2011
- Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis POPL 1997