Inferring the equivalence of functional programs that mutate data
type: Item
instance of: scholarly article
title: Inferring the equivalence of functional programs that mutate data
zbMATH Open document ID: 0768.68092
DOI: 10.1016/0304-3975(92)90301-U
published in: Theoretical Computer Science
publication date: 1992-12-16T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 78176
zbMATH Keywords: constrained equivalence of programs with effects
zbMATH Keywords: formal system
zbMATH Keywords: single- conclusion consequence relation
zbMATH Keywords: induction
author: Ian A. Mason
author: Carolyn Talcott
MaRDI profile type: Publication
cites work: Solvable cases of the decision problem
cites work: Side effects and aliasing can have simple axiomatic descriptions
cites work: Q3490989
cites work: Model theory
cites work: The revised report on the syntactic theories of sequential control and state
cites work: Q3992705
cites work: Verification of programs that destructively manipulated data
cites work: Equivalence in functional languages with effects
cites work: Q3202991
cites work: Q3332227
cites work: Fast Decision Procedures Based on Congruence Closure
cites work: Reasoning About Recursively Defined Data Structures
cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus
description: scientific article; zbMATH DE number 78176