Skip to main content

Semantics-Preserving Procedure Extraction

Raghavan Komondoor, Susan Horwitz

PDF DOI 10.1145/325694.325713 dblp BibTeX

Abstract

Procedure extraction is an important program transformation that can be used to make programs easier to understand and maintain, to facilitate code reuse, and to convert “monolithic” code to modular or object-oriented code. Procedure extraction involves the following steps:

Related papers

Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus APLAS 2021
A proof theory for machine code TOPLAS 2007
Graph-Based Procedural Abstraction CGO 2007
Procedure Linkage Optimization POPL 1973
Extraction and Mutation at a High Level: Template-Based Fuzzing for JavaScript Engines OOPSLA 2025
Adventure of a Lifetime: Extract Method Refactoring for Rust OOPSLA 2023
Misquoted No More: Securely Extracting F* Programs with IO ICFP 2026
Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortized Probabilistic Inference POPL 2023