scientific article

From MaRDI portal

Revision as of 20:42, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3907050

Jump to:navigation, search

zbMath0457.68019MaRDI QIDQ3907050

Hartmut Ehrig, Peter Padawitz, Hans-Joerg Kreowski

Publication date: 1980

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

zbMATH Keywords

algebraic specification correctness criteria algebraic implementation of abstract data types

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (6)

Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors ⋮ Specifications, models, and implementations of data abstractions ⋮ Algebraic implementation of abstract data types ⋮ Compatibility of parameter passing and implementation of parameterized data types ⋮ Semantics of algorithmic languages ⋮ Unnamed Item

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3907050&oldid=17562509"