Relational Semantics for Higher-Order Programs

DOI10.1007/11783596_5zbMath1235.68048OpenAlexW1592521678MaRDI QIDQ3618813

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

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

Related Items (4)

Local variable scoping and Kleene algebra with tests ⋮ Capsules and Closures ⋮ Synchronous Kleene algebra ⋮ Weak \(n\)-ary relational products in allegories

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