SIGN IN
SIGN UP
Validating The Utility Of Abstraction Techniques
Full Text:
PDF
Buy this Article
Authors:
Mary Shaw
Gary Feldman
Robert Fitzgerald
Paul Hilfinger
Izumi Kimura
Ralph L. London
Jonathan Rosenberg
Wm. A. Wulf
1978 Article
Bibliometrics
· Downloads (6 Weeks): 1
· Downloads (12 Months): 11
· Downloads (cumulative): 125
· Citation Count: 1
Published in:
· Proceeding
ACM '78 Proceedings of the 1978 annual conference
Pages 106-110
ACM
New York, NY
, USA
©1978
table of contents
ISBN:0-89791-000-1
doi>
10.1145/800127.804076
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Share:
|
Tags:
abstract data types
abstract data types
abstraction and representation
correctness
data abstraction
design
encapsulation
formal specification
languages
modular decomposition
programming languages
programming methodology
proofs of correctness
types
validation
validation
verification
verification
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder