CITATION — REFERENCE ENTRY
pattern-matching-vs-verified-lifting · li2025stencil
- Citation
- li2025stencil
- Claim ID
- pattern-matching-vs-verified-lifting
- Assertion
- Syntax-guided pattern matching for code conversion relies on syntax rules and struggles with limited pattern coverage and a lack of semantic guarantees, in contrast to verified lifting which uses synthesis to derive a formally verified summary.
- Quote
Pattern matching relies on syntax rules to convert code into DSLs, but struggles with limited pattern coverage and a lack of semantic guarantees. In contrast, verified lifting uses synthesis to derive a formally verified summary.
- Quote language
- en
- Locator
- section: Section 1: Introduction
Available in