Verification of programs that destructively manipulated data
type: Item
instance of: scholarly article
title: Verification of programs that destructively manipulated data
zbMATH Open document ID: 0647.68020
DOI: 10.1016/0167-6423(88)90026-3
author: Ian A. Mason
published in: Science of Computer Programming
publication date: 1988-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T99
zbMATH DE Number: 4056979
zbMATH Keywords: destructively manipulated data
zbMATH Keywords: first-order functional programming language
zbMATH Keywords: semantics
zbMATH Keywords: memory structure
zbMATH Keywords: equivalence relations
zbMATH Keywords: extensional relations
zbMATH Keywords: intensional relation
zbMATH Keywords: strong isomorphism
zbMATH Keywords: verification proofs
MaRDI profile type: Publication
full work available at URL: 0167-6423(88)90026-3
OpenAlex ID: W1987160431
Recommended article: A Vindication of Program Verification
Recommended article: Q4003356
Recommended article: Q4004235
Recommended article: Q3012541
Recommended article: Verification by gambling on program slices
Recommended article: Q3149722
Recommended article: Verifying programs with unreliable channels
description: scientific article; zbMATH DE number 4056979