Theories of Programming Languages

DOI10.1017/CBO9780511626364zbMath0972.68507OpenAlexW1530632793MaRDI QIDQ4226069

John C. Reynolds

Publication date: 19 January 1999

Full work available at URL: https://doi.org/10.1017/cbo9780511626364

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15)

Related Items (22)

Executable structural operational semantics in Maude ⋮ The regular-language semantics of second-order idealized ALGOL ⋮ A Realizability Interpretation for Intersection and Union Types ⋮ Simplifying proofs in Fitch-style natural deduction systems ⋮ Refinement-Based Verification of Communicating Unstructured Code ⋮ Combining algebraic effects with continuations ⋮ Fairness and communication-based semantics for session-typed languages ⋮ Programming language semantics: It’s easy as 1,2,3 ⋮ Proving correctness of imperative programs by linearizing constrained Horn clauses ⋮ The existential fragment of second-order propositional intuitionistic logic is undecidable ⋮ Pointfree expression and calculation: From quantification to temporal logic ⋮ Structural operational semantics through context-dependent behaviour ⋮ Multi-task implementation of multi-periodic synchronous programs ⋮ Refunctionalization at work ⋮ Verification conditions for source-level imperative programs ⋮ On the Unusual Effectiveness of Logic in Computer Science ⋮ Full abstraction for polymorphic \(\pi \)-calculus ⋮ Unnamed Item ⋮ Husserl's Logical Grammar ⋮ An operational semantics for object-oriented concepts based on the class hierarchy ⋮ THE CONCEPTHORSEIS A CONCEPT ⋮ Vivid: a framework for heterogeneous problem solving

This page was built for publication: Theories of Programming Languages