Term rewriting and Hoare logic -- Coded rewriting
type: Item
instance of: scholarly article
title: Term rewriting and Hoare logic -- Coded rewriting
zbMATH Open document ID: 0998.68530
DOI: 10.1016/S0020-0190(96)00169-X
published in: Information Processing Letters
publication date: 1997-02-28T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 985454
zbMATH Keywords: Term rewriting
zbMATH Keywords: Coded rewriting
zbMATH Keywords: Algebras
zbMATH Keywords: Equations
zbMATH Keywords: Hoare logic
author: Yong Sun
describes a project that uses: ML
describes a project that uses: HOL
MaRDI profile type: Publication
cites work: Ten Years of Hoare's Logic: A Survey—Part I
cites work: The lambda calculus, its syntax and semantics
cites work: Q3934450
cites work: The Universal Field of Fractions of a Semifir I. Numerators and Denominators
cites work: Q4385532
cites work: Q5287513
cites work: Q5572358
cites work: Q3925859
cites work: An axiomatic basis for computer programming
cites work: Q4023825
cites work: Q5639839
cites work: Universal algebra in higher types
description: scientific article; zbMATH DE number 985454