On selective and repetitive constructs

Authors:
R. F. Keller
Affiliations:
Iowa State University, Ames, IA
Venue:
ACM SIGPLAN Notices
Year:
1979

Citing 4
Cited 0

A Discipline of Programming

A Discipline of Programming
Toward a verification system for the programming language kl-1 using weakest preconditions.

Toward a verification system for the programming language kl-1 using weakest preconditions.
On control constructs for constructing programs

ACM SIGPLAN Notices
A general construction for expressing repetition

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.00

Visualization

Abstract