Pages that link to "Item:Q911319"

The following pages link to Two-level semantics and abstract interpretation (Q911319):

Displaying 15 items.

• Program verification: state of the art, problems, and results. I (Q466416) (← links)
• A security flow control algorithm and its denotational semantics correctness proof (Q1203126) (← links)
• The reduced relative power operation on abstract domains (Q1285656) (← links)
• Precise goal-independent abstract interpretation of constraint logic programs. (Q1395430) (← links)
• MetaML and multi-stage programming with explicit annotations (Q1583363) (← links)
• Kleene's Logic with equality (Q1603370) (← links)
• A new abstraction framework for affine transformers (Q2322316) (← links)
• Sound Bit-Precise Numerical Domains (Q2961585) (← links)
• Representing Control: a Study of the CPS Transformation (Q4279251) (← links)
• Representing Control: a Study of the CPS Transformation (Q4493071) (← links)
• On-line and off-line partial evaluation: semantic specifications and correctness proofs (Q4880487) (← links)
• Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis^† (Q4880526) (← links)
• Using transformations in the implementation of higher-order functions (Q4939691) (← links)
• Semantics-directed program analysis: A tool-maker's perspective (Q5030183) (← links)
• Extracting Program Logics From Abstract Interpretations Defined by Logical Relations (Q5262946) (← links)