Abstraction mechanisms in CLU
Data up to Jan 2025
Total Citations Per Year
Abstract
References (22)
The Art of Computer Programming
1968 • 16,727 citations
Proof of correctness of data representations
1972 • 959 citations
Program development by stepwise refinement
1971 • 883 citations
Notes on structured programming
1970 • 861 citations
Programming with abstract data types
1974 • 753 citations
The programming language pascal
1971 • 725 citations
Program development by stepwise refinement
1983 • 698 citations
Programming-in-the large versus programming-in-the-small
1975 • 596 citations
Abstract data types and software validation
1978 • 413 citations
A program data flow analysis procedure
1976 • 400 citations
Programming with abstract data types
1974 • 386 citations
Specification techniques for data abstractions
1975 • 367 citations
An Introduction to the Construction and Verification of Alphard Programs
1976 • 322 citations
Information distribution aspects of design methodology
1971 • 308 citations
Specification techniques for data abstractions
1975 • 255 citations
Protection in programming languages
1973 • 195 citations
Programming-in-the large versus programming-in-the-small
1975 • 64 citations
Automatic correction of syntax-errors in programming languages
1975 • 63 citations
The verification and synthesis of data structures
1975 • 57 citations
Bolt, Beranek and Newman
2017 • 37 citations
Module interconnection in programming systems supporting abstraction.
1976 • 17 citations
Information Processing
2022 • 2 citations
Cited By (0)
No citing papers found in database