Systematic derivation of incremental programs
type: Item
instance of: scholarly article
title: Systematic derivation of incremental programs
zbMATH Open document ID: 0827.68015
DOI: 10.1016/0167-6423(94)00031-9
author: Yanhong A. Liu
author: Tim Teitelbaum
published in: Science of Computer Programming
publication date: 1995-06-08T00:00:00Z
full work available at URL: https://hdl.handle.net/1813/6230
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 762127
zbMATH Keywords: non-incremental program
MaRDI profile type: Publication
OpenAlex ID: W2089171884
description: scientific article; zbMATH DE number 762127