Constructing specification morphisms
type: Item
instance of: scholarly article
title: Constructing specification morphisms
zbMATH Open document ID: 0804.68094
DOI: 10.1016/S0747-7171(06)80006-4
author: Douglas R. Smith
published in: Journal of Symbolic Computation
publication date: 1994-05-09T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 566067
zbMATH Keywords: software engineering
zbMATH Keywords: software development
zbMATH Keywords: specification morphisms
zbMATH Keywords: refinement
zbMATH Keywords: algebraic specifications
zbMATH Keywords: source specification
zbMATH Keywords: unskolemization
zbMATH Keywords: connections between specifications
describes a project that uses: Nuprl
describes a project that uses: DTRE
describes a project that uses: OBJ3
MaRDI profile type: Publication
cites work: On the algebraic definition of programming languages
cites work: Q5670174
cites work: A complete, nonredundant algorithm for reversed Skolemization
cites work: Q3995131
cites work: Q4052071
cites work: Q5584402
cites work: Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: The algebraic specification of abstract data types
cites work: Extracting information from resolution proof trees
cites work: Properties preserved under homomorphism
cites work: Q3690194
cites work: Special relations in automated deduction
cites work: Q4040458
cites work: Un-Skolemizing clause sets
cites work: Q3996676
cites work: Q4725720
cites work: Toward formal development of programs from algebraic specifications: Implementations revisited
cites work: Q5537599
cites work: Q3939266
cites work: Top-down synthesis of divide-and-conquer algorithms
cites work: Algorithm theories and design tactics
cites work: Q3780495
cites work: Q4385539
full work available at URL: s0747-7171(06)80006-4
OpenAlex ID: W2046489718
description: scientific article; zbMATH DE number 566067