Predicative semantics of loops

Authors:
Theodore S. Norvell
Affiliations:
Memorial Univ. of Newfoundland, St. John's, Nfld., Canada
Venue:
Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi
Year:
1997

Citing 0
Cited 2

Refinement Semantics and Loop Rules

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Kleene under a Demonic Star

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract