CITATION — REFERENCE ENTRY
def-stepwise-lifting · zhang2025fft
- Citation
- zhang2025fft
- Claim ID
- def-stepwise-lifting
- Assertion
- Stepwise semantics lifting reverses the code-generation (lowering) process: given a low-level scientific kernel, it applies a chain of inverse rewrites through intermediate representations (icode → Σ-SPL → SPL) to derive a high-level mathematical specification, with proof obligations discharged at each step.
- Quote
We propose to reverse the well-established code generation (i.e., lowering) process to stepwisely lift the semantics of the source code.
- Quote language
- en
- Locator
- figure: Figure 1
Available in