scientific article

zbMath0433.68014MaRDI QIDQ3871894

Manfred Broy, Martin Wirsing

Publication date: 1980

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

abstract data typessemantics of programming languages

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01)

Related Items (10)

Structured algebraic specifications: A kernel language ⋮ A theory for nondeterminism, parallelism, communication, and concurrency ⋮ Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors ⋮ While-programs with nondeterministic assignments and the logic ALNA ⋮ On the implementation of abstract data types by programming language constructs ⋮ Partial abstract types ⋮ Abstract data types and algebraic semantics of programming languages ⋮ Unnamed Item ⋮ A constructive method for abstract algebraic software specification ⋮ A systematic study of models of abstract data types

This page was built for publication: