Pages that link to "Item:Q1012129"

The following pages link to Coinductive big-step operational semantics (Q1012129):

Displaying 24 items.

• Flag-based big-step semantics (Q516041) (← links)
• Structural operational semantics through context-dependent behaviour (Q638568) (← links)
• Transfinite semantics in the form of greatest fixpoint (Q843215) (← links)
• Proving correctness of a compiler using step-indexed logical relations (Q1744423) (← links)
• A list-machine benchmark for mechanized metatheory (Q1945921) (← links)
• Non-well-founded deduction for induction and coinduction (Q2055840) (← links)
• Integrating induction and coinduction via closure operators and proof cycles (Q2096458) (← links)
• Mechanized semantics for the clight subset of the C language (Q2655325) (← links)
• A formally verified compiler back-end (Q2655327) (← links)
• Probabilistic operational semantics for the lambda calculus (Q2905328) (← links)
• Generalizing Inference Systems by Coaxioms (Q2988632) (← links)
• Idealized coinductive type systems for imperative object-oriented programs (Q3006157) (← links)
• (Q3121528) (← links)
• Trace-Based Coinductive Operational Semantics for While (Q3183540) (← links)
• Translation Correctness for First-Order Object-Oriented Pattern Matching (Q3498433) (← links)
• (Q5028421) (← links)
• Soundness Conditions for Big-Step Semantics (Q5041092) (← links)
• Modular Relaxed Dependencies in Weak Memory Concurrency (Q5041113) (← links)
• (Q5109521) (← links)
• Flexible coinductive logic programming (Q5140017) (← links)
• Characteristic formulae for liveness properties of non-terminating CakeML programs (Q5875446) (← links)
• Formal verifications of call-by-need and call-by-name evaluations with mutual recursion (Q6536314) (← links)
• Checking equivalence of corecursive streams: an inductive procedure (Q6589842) (← links)
• Inductive and coinductive predicate liftings for effectful programs (Q6653761) (← links)