Wrappers to the Rescue
No abstract available.
DOI 10.1007/bfb0054101
Related papers
- Automated Generation of Code Contracts: Generative AI to the Rescue? GPCE 2024
- Generic Wrappers ECOOP 2000
- Generating Smart Wrapper Libraries for Arbitrary APIs SLE 2009
- Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications APLAS 2017
- Short note: Strict unwraps make worker/wrapper fusion totally correct JFP 2011
- The worker/wrapper transformation JFP 2009
- Worker/wrapper/makes it/faster ICFP 2014
- Hayroll: A Modular Wrapper for Translating C Macros and Conditional Compilation to Rust PLDI 2026