Verification of programs that destructively manipulated data

DOI10.1016/0167-6423(88)90026-3zbMath0647.68020OpenAlexW1987160431MaRDI QIDQ1104731

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

equivalence relationssemanticsstrong isomorphismdestructively manipulated dataextensional relationsfirst-order functional programming languageintensional relationmemory structureverification proofs

Mathematics Subject Classification ID

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

Related Items (4)

Inferring the equivalence of functional programs that mutate data ⋮ Equivalence in functional languages with effects ⋮ Unnamed Item ⋮ Notions of computation and monads

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