Programming Languages and Systems

From MaRDI portal

Revision as of 03:06, 7 March 2024 by Import240305080351 (talk | contribs) (Created automatically from import240305080351)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5493398

Jump to:navigation, search

DOI10.1007/11575467zbMath1159.68362MaRDI QIDQ5493398

Nick Benton

Publication date: 20 October 2006

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (4)

Specification and verification challenges for sequential object-oriented programs ⋮ A compositional natural semantics and Hoare logic for low-level languages ⋮ A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators ⋮ Certificates and Separation Logic

This page was built for publication: Programming Languages and Systems

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5493398&oldid=30055933"