On the proof of correctness of a calendar program

Authors:
Leslie Lamport
Affiliations:
SRI International, Menlo Park, CA
Venue:
Communications of the ACM
Year:
1979

Citing 3
Cited 2

Test data as an aid in proving program correctness

Communications of the ACM
An analysis of algorithms for the Dutch National Flag Problem

Communications of the ACM
The specification and proof of correctness of interactive programs

Proceedings of the International Conference on Mathematical Studies of Information Processing

Testability of Software Components

IEEE Transactions on Software Engineering
Representing calendrical algorithms and data in Prolog and Prolog III languages

ACM SIGPLAN Notices

Quantified Score

Hi-index	48.22

Visualization

Abstract