Refinement and implementation

MaRDI QIDQ4702597zbMATH OpenFDO

Authors Hartmut Ehrig, Hans-Jörg Kreowski

Publication date 29 January 2001

zbMATH Keywords

data processing systems

Mathematics Subject Classification ID

Theory of software (68N99) Abstract data types; algebraic specification (68Q65)

Review text

The text refers to the development and implementation of successful data processing systems. It provides a detailed discussion of some typical examples of implementation of algebraic specifications, it introduces a general notion of implementation based on the semantic concepts of constructors and abstractors, it reviews several approaches related to this framework that are found in the literature, and it considers syntactic aspects. In particular, constructors and abstractors are described by syntactic means yielding a variety of notions of implementations with a full syntactic description. Finally, the composition of implementations where different possibilities are studied is considered, along with the compatibility of implementation concepts with horizontal structuring of specifications, including parameterized specifications and modules. For the entire collection see [Zbl 0973.68002].

Recommendations

• scientific article; zbMATH DE number 3936498
• Toward formal development of programs from algebraic specifications: Implementations revisited
• scientific article; zbMATH DE number 3995031
• scientific article; zbMATH DE number 3878342
• scientific article; zbMATH DE number 194509

Cited in

(4)

• Abstractions of data types
• Refinement to Imperative/HOL
• Mechanised support for sound refinement tactics
• Synthesis of implementations for divide-and-conquer specifications

This page was built for publication: Refinement and implementation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4702597)