Theories of Programming Languages
From MaRDI portal
Publication:4226069
DOI10.1017/CBO9780511626364zbMath0972.68507OpenAlexW1530632793MaRDI QIDQ4226069
Publication date: 19 January 1999
Full work available at URL: https://doi.org/10.1017/cbo9780511626364
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15)
Related Items
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
