Pages that link to "Item:Q1599645"
From MaRDI portal
The following pages link to Constraint-based partial evaluation for imperative languages (Q1599645):
Displaying 4 items.
- Fast narrowing-driven partial evaluation for inductively sequential programs (Q2936786) (← links)
- Generating action compilers by partial evaluation (Q4895553) (← links)
- Scrapping your inefficient engine (Q5176949) (← links)
- Schema-Guided Synthesis of Imperative Programs by Constraint Solving (Q5458801) (← links)