Pages that link to "Item:Q5713938"
From MaRDI portal
The following pages link to Logic Based Program Synthesis and Transformation (Q5713938):
Displaying 6 items.
- A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
- Refunctionalization at work (Q923881) (← links)
- Inter-deriving semantic artifacts for object-oriented programming (Q980939) (← links)
- A static simulation of dynamic delimited control (Q2464731) (← links)
- A functional correspondence between monadic evaluators and abstract machines for languages with computational effects (Q2566031) (← links)
- From Reduction-Based to Reduction-Free Normalization (Q3649133) (← links)
