The following pages link to (Q3774923):
Displaying 50 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Flag-based big-step semantics (Q516041) (← links)
- Making ``stricterness'' more relevant (Q656871) (← links)
- Theo: An interactive proof development system (Q688727) (← links)
- Simplifying proofs in Fitch-style natural deduction systems (Q851139) (← links)
- The calculus of context relations (Q918720) (← links)
- Inter-deriving semantic artifacts for object-oriented programming (Q980939) (← links)
- Coinductive big-step operational semantics (Q1012129) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Vivid: a framework for heterogeneous problem solving (Q1045993) (← links)
- Co-induction in relational semantics (Q1177158) (← links)
- Order-sorted inductive types (Q1286367) (← links)
- A strict functional language with cyclic recursive data (Q1355753) (← links)
- The complexity of the evaluation of complex algebra expressions (Q1376410) (← links)
- Encoding transition systems in sequent calculus (Q1398474) (← links)
- A semantic framework for proof evidence (Q1701039) (← links)
- Type-directed specialization of polymorphism. (Q1854317) (← links)
- Evolution of rule-based programs (Q1878711) (← links)
- Modular structural operational semantics (Q1878712) (← links)
- A denotational semantics of textually aligned SPMD programs (Q2011201) (← links)
- Reasoning about iteration and recursion uniformly based on big-step semantics (Q2154025) (← links)
- Whither semantics? (Q2286732) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- Verifiable agent dialogues (Q2372183) (← links)
- A two-level logic approach to reasoning about computations (Q2392484) (← links)
- A stable programming language (Q2492185) (← links)
- Semantic essence of AsmL (Q2571205) (← links)
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (Q2633503) (← links)
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466) (← links)
- Implicit Propagation in Structural Operational Semantics (Q2810689) (← links)
- Constructing the Views Framework (Q2814615) (← links)
- Aspect-Oriented Action Semantics Descriptions (Q2866741) (← links)
- Bi-inductive Structural Semantics (Q2871828) (← links)
- A Rewriting Logic Approach to Operational Semantics (Extended Abstract) (Q2871834) (← links)
- Token-passing Nets for Functional Languages (Q2873684) (← links)
- The Laws of Programming Unify Process Calculi (Q2908555) (← links)
- Calculating Certified Compilers for Non-deterministic Languages (Q2941174) (← links)
- From Rewriting Logic, to Programming Language Semantics, to Program Verification (Q2945730) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- Action Semantics in Retrospect (Q3184743) (← links)
- Converting between Combinatory Reduction Systems and Big Step Semantics (Q3184752) (← links)
- A Calculus for Language Transformations (Q3297783) (← links)
- Inter-deriving Semantic Artifacts for Object-Oriented Programming (Q3511441) (← links)
- From Reduction-Based to Reduction-Free Normalization (Q3649133) (← links)
- Computation semantics of the functional scientific workflow language Cuneiform (Q4577807) (← links)
- Abstract allocation as a unified approach to polyvariance in control-flow analyses (Q4625159) (← links)
- Demonstrating Lambda Calculus Reduction (Q4917067) (← links)
- Incremental and Modular Context-sensitive Analysis (Q4957220) (← links)
- The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus (Q4972064) (← links)
- Formalizing Operational Semantic Specifications in Logic (Q4982629) (← links)
