Programming with Abstract Data Types (1974)

Cached

Download Links

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

Active Bibliography

1191 On the Criteria To Be Used in Decomposing Systems into Modules – D. L. Parnas - 1972
Presented is the Data Independent Accessing Model (DIAM)- a – unknown authors
16 On the Construction of Persistent Programming Environments – Alan Dearle - 1988
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
10 A Formal Foundation for Concurrent Object Oriented Programming – Radu Grosu, Alle Rechte Vorbehalten, Radu Grosu - 1994
On Understanding Data . . . – William R. Cook - 2009
be UNRELATE(*) = * where TYP.E(*) is node or arc and x(*) does exist. – If Xk Is - 102
26 Real-time Simulation of a Set Machine on a RAM – Robert Paige, Robert Paige - 1994
Toward a Theory of Encoded Data Structures and Data Translation – Ben Shneiderman, Stuart C. Shapiro - 1975
STRUCTURED DATA STRUCTURES* – Ben Shnelderman, Peter Scheuermann
6 IUHM, a Hypermedia-based Model for Integrating Open Services, Data and Metadata – Marc Nanard, Jocelyne Nanard, Peter King - 2003
26 Viewing A Program Transformation System At Work – Robert Paige - 1994
29 An Analyzable Annotation Language – Sarfraz Khurshid , Darko Marinov, Daniel Jackson - 2002
The CEO Project: An Introduction – Chris Partridge - 2002
A Hierchical Design Methodology – For Data Base, Jerry Baker, Raymond T. Yeh
Network Working Group G. H. Mealy Request for Comments: 195 HARV NIC 7140 16 July, 1971 Categories: D.4, D.7 – Data Computers Data
STORED IN LARGE DATA BANKS – E F. Codd - 1969
Request for Comments: 195 – H. Mealy
11 On Ontology, ontologies, Conceptualizations, Modeling Languages – Giancarlo Guizzardi - 2007