Combining algebraic specifications and procedural tools for correct program development
type: Item
instance of: scholarly article
title: Combining algebraic specifications and procedural tools for correct program development
zbMATH Open document ID: 0692.68015
published in: Programming and Computer Software
publication date: 1988-01-01T00:00:00Z
Mathematics Subject Classification ID: 68P05
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 4133476
zbMATH Keywords: algebraic specifications
zbMATH Keywords: abstract data types
author: Irina A. Lomazova
MaRDI profile type: Publication
Recommended article: Q3723679
Recommended article: Building program construction and verification tools from algebraic principles
Recommended article: Q3339261
Recommended article: Essential concepts of algebraic specification and program development
Recommended article: Q4721633
Recommended article: Toward formal development of programs from algebraic specifications: Implementations revisited
Recommended article: Q3723680
Recommended article: A constructive method for abstract algebraic software specification
Recommended article: Q2723910
Recommended article: Q4712650
description: scientific article; zbMATH DE number 4133476