The following pages link to Theories of Programming Languages (Q4226069):
Displaying 21 items.
- Verification conditions for source-level imperative programs (Q465685) (← links)
- Pointfree expression and calculation: From quantification to temporal logic (Q633283) (← links)
- Structural operational semantics through context-dependent behaviour (Q638568) (← links)
- Multi-task implementation of multi-periodic synchronous programs (Q645055) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Simplifying proofs in Fitch-style natural deduction systems (Q851139) (← links)
- Combining algebraic effects with continuations (Q879352) (← links)
- Refunctionalization at work (Q923881) (← links)
- Vivid: a framework for heterogeneous problem solving (Q1045993) (← links)
- The regular-language semantics of second-order idealized ALGOL (Q1884909) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- Full abstraction for polymorphic \(\pi \)-calculus (Q2474052) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- On the Unusual Effectiveness of Logic in Computer Science (Q2736585) (← links)
- (Q2844060) (← links)
- A Realizability Interpretation for Intersection and Union Types (Q3179292) (← links)
- Refinement-Based Verification of Communicating Unstructured Code (Q4571128) (← links)
- Proving correctness of imperative programs by linearizing constrained Horn clauses (Q4593003) (← links)
- THE CONCEPT<i>HORSE</i>IS A CONCEPT (Q4961743) (← links)
- Husserl's Logical Grammar (Q5208099) (← links)
- Programming language semantics: It’s easy as 1,2,3 (Q6065508) (← links)
