Validating The Utility Of Abstraction Techniques

Authors:
Mary Shaw;Gary Feldman;Robert Fitzgerald;Paul Hilfinger;Izumi Kimura;Ralph L. London;Jonathan Rosenberg;Wm. A. Wulf
Affiliations:
-;-;-;-;-;-;-;-
Venue:
ACM '78 Proceedings of the 1978 annual conference
Year:
1978

Citing 11
Cited 1

Early experience with Mesa

Communications of the ACM
Abstraction and verification in Alphard: defining and specifying iteration and generators

Communications of the ACM
Abstraction mechanisms in CLU

Communications of the ACM
The architecture of concurrent programs

The architecture of concurrent programs
Software Tools

Software Tools
Gypsy: A language for specification and implementation of verifiable programs

Proceedings of an ACM conference on Language design for reliable software
CLU REFERENCE MANUAL

CLU REFERENCE MANUAL
Specification, verification, and implementation of concurrent programs.

Specification, verification, and implementation of concurrent programs.
A system for incrementally designing and verifying programs.

A system for incrementally designing and verifying programs.
Report on the programming language Euclid

ACM SIGPLAN Notices
Constructing verified and reliable communications processing systems

ACM SIGSOFT Software Engineering Notes

Capsules: A data abstraction facility for Pascal

ACM '81 Proceedings of the ACM '81 conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

A number of recent research efforts have been based on the hypothesis that encapsulation techniques, formal specification, and verification lead to significant improvements in program quality. As we gain experience with the language facilities produced by this research, we should attempt to validate that hypothesis. This paper poses this validation as the next major task in this area and outlines some ways to address it.