Data types, abstract data types and their specification problem
type: Item
instance of: scholarly article
title: Data types, abstract data types and their specification problem
zbMATH Open document ID: 0393.68022
DOI: 10.1016/0304-3975(79)90059-8
author: M. E. Majster
published in: Theoretical Computer Science
publication date: 1979-01-01T00:00:00Z
Mathematics Subject Classification ID: 68P05
zbMATH DE Number: 3610708
zbMATH Keywords: Abstract Data Types
zbMATH Keywords: Specification Problem
describes a project that uses: Simula 67
MaRDI profile type: Publication
full work available at URL: 0304-3975(79)90059-8
OpenAlex ID: W2052771056
cites work: Extended directed graphs, a formalism for structured data and data structures
cites work: Q4178466
cites work: Q5680985
cites work: Toward an understanding of data structures
cites work: Data graphs and addressing schemes
cites work: An axiomatic definition of the programming language Pascal
cites work: The verification and synthesis of data structures
cites work: Q5674963
cites work: Heterogeneous algebras
cites work: Data Types as Lattices
cites work: A relational model of data for large shared data banks
cites work: Abstract data types and the development of data structures
cites work: Q5812175
cites work: Q5573961
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: Q5331549
cites work: Q5609363
description: scientific article; zbMATH DE number 3610708