Avid: a system for the interactive development of verifiably correct programs

Authors:
Dean Blackmar Kraft
Affiliations:
-
Venue:
Avid: a system for the interactive development of verifiably correct programs
Year:
1981

Citing 0
Cited 3

Proofs as programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Incremental Context-Dependent Analysis for Language-Based Editors

ACM Transactions on Programming Languages and Systems (TOPLAS)
The Type Theory of PL/CV3

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.01

Visualization

Abstract