A Lattice-theoretical Basis for a Specification Language

Authors:
Ralph-Johan Back;Joakim von Wright
Affiliations:
-;-
Venue:
Proceedings of the International Conference on Mathematics of Program Construction, 375th Anniversary of the Groningen University
Year:
1989

Citing 0
Cited 3

Angelic Nondeterminism and Unifying Theories of Programming

Electronic Notes in Theoretical Computer Science (ENTCS)
Alternating states for dual nondeterminism in imperative programming

Theoretical Computer Science
Algebra of monotonic boolean transformers

SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract