Program composition via unification
type: Item
instance of: scholarly article
title: Program composition via unification
zbMATH Open document ID: 0822.68061
DOI: 10.1016/0304-3975(94)90093-0
author: Limor Fix
author: Nissim Francez
author: Orna Grumberg
published in: Theoretical Computer Science
publication date: 1994-08-29T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 626278
zbMATH Keywords: compositional proof systems
zbMATH Keywords: verification of programs
zbMATH Keywords: jigsaw operator
describes a project that uses: UNITY
MaRDI profile type: Publication
full work available at URL: 0304-3975(94)90093-0
OpenAlex ID: W1998032456
cites work: Q3862382
cites work: Q3898009
cites work: Q4692502
cites work: Q4036556
cites work: Program composition via unification
cites work: Predicative programming Part II
cites work: Communicating sequential processes
cites work: Q4733431
cites work: Q3700812
cites work: Program development by stepwise refinement
cites work: Q3681905
cites work: Specifying Concurrent Program Modules
Recommended article: Program composition via unification
Recommended article: Unifying program construction and modification
Recommended article: Q4364533
Recommended article: Q3823139
Recommended article: Q5830893
Recommended article: Compositional programming: theory and practice
Recommended article: Synthesis of rewrite programs by higher-order and semantic unification
Recommended article: Semantic synthesis of programs by matching compositions
Recommended article: Q3706480
description: scientific article; zbMATH DE number 626278