Verification of programs that destructively manipulated data

DOI10.1016/0167-6423(88)90026-3zbMATH Open0647.68020OpenAlexW1987160431MaRDI QIDQ1104731FDOQ1104731

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

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

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)

Cited In (4)

• Inferring the equivalence of functional programs that mutate data
• Notions of computation and monads
• Equivalence in functional languages with effects
• Title not available (Why is that?)

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)