CITATION — REFERENCE ENTRY
lifting-as-search · zhang2025fft
- Citation
- zhang2025fft
- Claim ID
- lifting-as-search
- Assertion
- Semantic lifting is structured as a search problem: given a low-level implementation, the goal is to find a high-level specification together with a correctness witness establishing that the two are semantically equivalent.
- Quote
lifting is structured as a search problem, where each step identifies the sequence of rule applications necessary to increase the abstraction level
- Quote language
- en
- Locator
- section: Section 3: Stepwise Semantics Lifting
Available in