Relational Semantics for Higher-Order Programs

DOI10.1007/11783596_5MaRDI QIDQ3618813zbMATH OpenOpenAlexFDO

Authors Kamal Aboul-Hosn, Dexter Kozen

Publication date 2 April 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11783596_5

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The impact of higher-order state and control effects on local relational reasoning
• The impact of higher-order state and control effects on local relational reasoning
• Typed Lambda Calculi and Applications
• scientific article; zbMATH DE number 1086633
• Relational semantics revisited

Cited in

(10)

• Weak \(n\)-ary relational products in allegories
• scientific article; zbMATH DE number 4193139 (Why is no real title available?)
• Program equivalence in a simple language with state
• Local Variable Scoping and Kleene Algebra with Tests
• Typed Lambda Calculi and Applications
• Capsules and closures
• Final semantics for a higher order concurrent language
• Shades of iteration: from Elgot to Kleene
• Synchronous Kleene algebra
• Local variable scoping and Kleene algebra with tests

This page was built for publication: Relational Semantics for Higher-Order Programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3618813)