Programming Languages and Systems

DOI10.1007/b102225zbMath1116.68381OpenAlexW2796564118MaRDI QIDQ5464061

Scott F. Smith, Christian Skalka

Publication date: 17 August 2005

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

Algebras for Parameterised Monads ⋮ The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification ⋮ Automated temporal verification for algebraic effects ⋮ A program logic for resources ⋮ Types and trace effects for object orientation

This page was built for publication: Programming Languages and Systems