A very general lattice-based language of commands, based on the primitive operations of substitution and test for equality, is constructed.
In this paper we show how basic specification languages can be constructed within the complete lattice of monotonic predicate transformers, using only very ...
Abstract: A very general lattice-based language of commands, based on the primitive operations of substitution and test for equality, is constructed.
ABSTRACT: In this paper, we focus on investigation of the predicate transformer semantics of the contract language introduced by Back and von Wright in their ...
Duality in Specification Languages: A Lattice Theoretical Approach (BaWr:lattice). Author: Back, Ralph-Johan and von Wright, Joakim Journal: Acta Informatica
People also ask
What is duality in language property?
What is duality of structure in nature of language?
A very basic lattice-based language of commands, based on the primitive operations of substitution and test for equality, is constructed.
Duality in specification languages: a lattice-theoretical approach. RJR Back, J von Wright. Acta Informatica 27, 583-625, 1990. 97, 1990. A method for refining ...
Author: Back R. J. R.,von Wright J. Publisher. Springer Science and Business Media LLC. Subject. Computer Networks and Communications,Information Systems ...
Duality in specification languages : a lattice-theoretical approach. 1 ... Duality in specification languages : a lattice-theoretical approach. DESC ...
Combining angels, demons and miracles in program specifications
www.sciencedirect.com › article › pii
We investigate dualities between the sublanguages and how they can be generated from simple primitive commands. The notions of total correctness and refinement ...