Pages that link to "Item:Q3681904"
From MaRDI portal
The following pages link to Program transformations in a denotational setting (Q3681904):
Displaying 10 items.
- Inverse-limit and topological aspects of abstract interpretation (Q418811) (← links)
- Two-level semantics and abstract interpretation (Q911319) (← links)
- A security flow control algorithm and its denotational semantics correctness proof (Q1203126) (← links)
- MetaML and multi-stage programming with explicit annotations (Q1583363) (← links)
- Incorporating static analysis in a combinator-based compiler (Q1823653) (← links)
- Abstract Interpretation From a Denotational-semantics Perspective (Q2805148) (← links)
- Hoare Logic for Disjunctive Information Flow (Q3460862) (← links)
- Parallélisation sémantique (Q3479539) (← links)
- Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis<sup>†</sup> (Q4880526) (← links)
- Using transformations in the implementation of higher-order functions (Q4939691) (← links)