A sharp proof rule for procedures in wp semantics

Authors:
A. Bijlsma;P. A. Matthews;J. G. Wiltink
Affiliations:
ETH, Eindhoven, The Netherlands;Aarhus Univ., Aarhus, Denmark;Hildebrandhove, Zoetermeer, The Netherlands
Venue:
Acta Informatica
Year:
1989

Citing 0
Cited 2

Derivation of recursive algorithms for CS2

SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
A proof outline logic for object-oriented programming

Theoretical Computer Science - Formal methods for components and objects

Quantified Score

Hi-index	0.00

Visualization

Abstract