Semantics and program verification

MaRDI QIDQ2761214zbMATH OpenFDO

Authors Christoph Walther

Publication date 18 December 2001

Published in Teubner-Texte zur Informatik (Search for Journal in Brave)

zbMATH Keywords

functional languagessemantics verification

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 546874
• Theory of program structures: schemes, semantics, verification. 2nd printing
• Programmverifikation
• scientific article; zbMATH DE number 50008
• scientific article; zbMATH DE number 548908

Cited in

(5)

• scientific article; zbMATH DE number 3980456 (Why is no real title available?)
• Program semantics and verification technique for AI-centred programs
• scientific article; zbMATH DE number 546874 (Why is no real title available?)
• Mechanized semantics
• scientific article; zbMATH DE number 3866548 (Why is no real title available?)

This page was built for publication: Semantics and program verification

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