Generalized Boxings, Congruences and Partial Inlining
Abstract elided by the publisher.
Related papers
- Formally Optimal Boxing POPL 1994
- Inlining as staged computation JFP 2003
- Incremental Compilation via Partial Evaluation POPL 1991
- Interactive Theorem Proving Modulo Fuzzing CAV 2024
- Satisfiability modulo fuzzing: a synergistic combination of SMT solving and fuzzing OOPSLA 2022
- Class-Dictionary Specialization with Rank-2 Polymorphic Functions OOPSLA 2026
- Program specialization for execution monitoring JFP 2003
- Accelerated Bounded Model Checking Using Interpolation Based Summaries TACAS 2024