Verification of programs that destructively manipulated data

DOI10.1016/0167-6423(88)90026-3MaRDI QIDQ1104731zbMATHOpenAlexFDO

Authors Ian A. Mason

Publication date 1988

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(88)90026-3

zbMATH Keywords

semanticsstrong isomorphismequivalence relationsdestructively manipulated dataextensional relationsfirst-order functional programming languageintensional relationmemory structureverification proofs

Mathematics Subject Classification ID

Artificial intelligence (68T99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A vindication of program verification
• scientific article; zbMATH DE number 53100
• scientific article; zbMATH DE number 54048
• Verification of procedural programs
• Verification by gambling on program slices
• scientific article; zbMATH DE number 1808257
• Verifying programs with unreliable channels

Cited in

(4)

• scientific article; zbMATH DE number 7056232 (Why is no real title available?)
• Notions of computation and monads
• Equivalence in functional languages with effects
• Inferring the equivalence of functional programs that mutate data

This page was built for publication: Verification of programs that destructively manipulated data

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