MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Structured Specifications and Implementation of Nondeterministic Data Types Micha/l Walicki

Download:
Download as a PDF | Download as a PS
by Universitetet I Bergen, Manfred Broy
http://www.ii.uib.no/~michal/Broy/TR.ps
Add To MetaCart

Abstract:

The use of nondeterminism in specifications, as distinct from underspecification, is motivated by an example in the context of data refinement. A simple formalism for specifying nondeterministic data types is introduced. Its semantics is given in terms of the existing formalisms of relations, multialgebras, sets of functions and oracles by means of appropriate translation rules. Nondeterministic data refinement is studied from the syntactic and semantic perspective, and the correctness of the suggested proof obligations is proved. More general, the implementation relation and parameterisation of nondeterministic data types are discussed and the standard theorems of vertical and horizontal composition are generalized to the nondeterministic case. 1

Citations

378 Conditional rewriting logic as a unified model of concurrency – Meseguer - 1992
151 Toward formal development of programs from algebraic specifications: Implementations revisited – Sannella, Tarlecki - 1988
53 Unified algebras and institutions – Mosses - 1989
40 CAT, a system for the structured elaboration of correct programs from structured specifications – Goguen, Burstall - 1980
38 Functional specification of time sensitive communicating systems – Broy - 1990
25 A complete calculus for the multialgebraic and functional semantics of nondeterminism – Walicki, Meldal - 1995
20 Compositional relational semantics for indeterminate dataflow networks – Stark - 1989
17 A Mathematical Approach to Nondeterminism in Data Types – Hesselink - 1988
17 Non-Determinism in Algebraic Specifications and Algebraic Programs – Hussmann - 1993
13 Algebras and Complete Calculi of Identities and Inclusions – Multialgebras - 1995
12 Algebraic Specifications of Nondeterminism – Walicki - 1993
8 Nondeterminism in abstract data types – Subrahmanyam - 1981
7 Referential Opacity in Nondeterministic Data Refinement – Qian, Goldberg - 1993
5 On the algebraic specification of nondeterministic programming languages – Broy, Wirsing - 1981
5 Pers as types, inductive types and types with laws – Voermans - 1991
2 Relational programming laws in boom hierarchy of types – Hoogendik - 1992
2 Reasoning and Rewriting with Set-Relations I – Kriauciukas, Walicki - 1994
2 Generated Models and !-rule: the nondeterministic case – Walicki, Meldal - 1995
View or Download | Add to My Collection | Correct Errors