Proof Rules for the Programming Language Euclid

Authors:
Ralph L. London;John V. Guttag;James J. Horning;Butler W. Lampson;James G. Mitchell;Gerald J. Popek
Affiliations:
-;-;-;-;-;-
Venue:
Program Construction, International Summer Schoo
Year:
1978

Citing 0
Cited 3

Recollections about the development of Pascal

HOPL-II The second ACM SIGPLAN conference on History of programming languages
Roadmap for enhanced languages and methods to aid verification

Proceedings of the 5th international conference on Generative programming and component engineering
Linear maps

Proceedings of the 5th ACM workshop on Programming languages meets program verification

Quantified Score

Hi-index	0.00

Visualization

Abstract