A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization
Abstract elided by the publisher.
Related papers
- Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion CAV 2009
- Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions TOPLAS 2019
- Optimizing Symbolic Model Checking for Constraint-Rich Models CAV 1999
- Inline routines in VAXELN Pascal PLDI 1984
- Design of a Machine-Independent Optimizing System for Emulator Development TOPLAS 1980
- A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing Confluence ICFP 1997
- Parametric prediction of heap memory requirements ISMM 2008
- Efficient Symbolic Analysis for Optimizing Compilers CC 2001