Programming with Abstract Data Types (1974)

Cached

Download Links

by Barbara Liskov , Stephen Zilles
Venue:SIGPLAN Notices
Citations:136 - 5 self

Documents Related by Co-Citation

418 Proof of correctness of data representations – C A R Hoare - 1972
1179 On the Criteria To Be Used in Decomposing Systems into Modules – D. L. Parnas - 1972
131 Abstraction mechanisms in CLU – B Liskov, A Snyder, R Atkinson, C Schaffert - 1977
1266 Smalltalk-80: the language and its implementation – A Goldberg, D Robson - 1983
1492 The C++ Programming Language – Bjarne Stroustrup - 1995
1441 Object-oriented Software Construction – Bertrand Meyer - 2004
212 Encapsulation and Inheritance in Object-Oriented Programming Languages – Alan Snyder - 1986
225 Guardians and actions: Linguistic support for robust, distributed programs – B Liskov, R Scheifler - 1983
124 A technique for software module specification with examples – D L Parnas - 1972
109 An introduction to TrellIs/Owl – Craig Schaft’ert, Topher Cooper, Bruce Bullis, Mike Kilian, Carrie Wilpolt - 1986
472 Monitors: An Operating System Structuring Concept – C. A. R Hoare - 1974
192 Abstraction and Specification in Program Development – Barbara Liskov, John Guttag - 1986
88 Capability-Based Addressing – R S Fabry - 1974
221 Dimensions of Object-Based Language Design – P Wegner - 1987
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
62 Exception Handling in CLU – Barbara Liskov, Alan Snyder - 1979
18 et al.: CLU Reference Manual – B Liskov - 1981
84 Information distribution aspects of design methodology – D 1972a Parnas - 1971
895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996