Pages that link to "Item:Q3348896"
From MaRDI portal
The following pages link to Abstract Interpretation, Logical Relations, and Kan Extensions (Q3348896):
Displaying 17 items.
- Inverse image analysis generalises strictness analysis (Q751835) (← links)
- Head-strictness is not a monotonic abstract property (Q1190512) (← links)
- Properly injective spaces and function spaces (Q1295213) (← links)
- PCF extended with real numbers (Q1349926) (← links)
- Prelogical relations (Q1854557) (← links)
- Safety of abstract interpretations for free, via logical relations and Galois connections (Q1881270) (← links)
- On collecting semantics for program analysis (Q2182314) (← links)
- (Q3718128) (← links)
- Compositional characterization of observable program properties (Q4020510) (← links)
- On-line and off-line partial evaluation: semantic specifications and correctness proofs (Q4880487) (← links)
- Payoffs, Intensionality and Abstraction in Games (Q4922074) (← links)
- Differential logical relations, Part I: The simply-typed case (Q5091273) (← links)
- Strictness and totality analysis with conjunction (Q5096753) (← links)
- Domains for Higher-Order Games (Q5111275) (← links)
- Extracting Program Logics From Abstract Interpretations Defined by Logical Relations (Q5262946) (← links)
- On-the-Fly Techniques for Game-Based Software Model Checking (Q5458322) (← links)
- A domain-theoretic framework for robustness analysis of neural networks (Q6149907) (← links)
