John Guttag. Abstract data types and the development of data structures. Commun. ACM, 20(6):396--404, 1977. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Validation of the Link Layer Protocol of the IEEE-1394 Serial.. - Sighireanu (1997) (8 citations) (Correct)
Object-oriented Issues - A Literature Review - Nierstrasz (Correct)
Specifying Concurrent Objects as Communicating Processes - Misra (1990) (6 citations) (Correct)
The ASTOOT Approach to Testing Object-Oriented Programs - Doong, Frankl (1994) (56 citations) (Correct)
Test Oracles - Baresi, Young (2001) (1 citation) (Correct)
Tools for Testing Object-Oriented Programs - Frankl, Doong (1990) (8 citations) (Correct)
Object Oriented Modeling of a Robotized Manufacturing Cell - Elia, Gaved, Menga (1993) (Correct)
Notes on Refinement, Interpolation and Uniformity. - Dimitrakos, Maibaum (Correct)
Elimination of Negation in Term Algebras - Lassez, Maher, Marriott (1991) (6 citations) (Correct)
Objects and Subtyping in a Functional Perspective - Odersky (1992) (Correct)
A RAISE tutorial - George (1998) (Correct)
Prototyping an Intensity-Based Vision Recognition System - Scaife (1995) (Correct)
Requirement Capture, Formal Description and Verification of .. - Sighireanu, Turner (Correct)
A Hidden Agenda - Goguen, Malcolm (2000) (11 citations) (Correct)
A User Interface Framework for Object-Oriented Database Systems - Sawyer (1990) (1 citation) (Correct)
Induction Proofs with Partial Functions - Giesl (1998) (Correct)
Metamorphosis: An Integrated Object Oriented Requirements.. - Júnior (1996) (Correct)
LOTOS NT User Manual - Sighireanu (2000) (Correct)
Specification and Verification of the Co4 Distributed Knowledge.. - Pecheur (1997) (1 citation) (Correct)
Polytypic Functional Programming and Data Abstraction - Iglesias (2006) (Correct)
Effective Visualisation for Comprehending Object-Oriented.. - Pacione (2004) (Correct)
Exploration of Complex Objects structure for Knowledge.. - Valtchev, Missaoui (Correct)
Effective Visualisation for Comprehending Object-Oriented.. - Pacione (2004) (Correct)
Formal Description and Analysis of a Bounded . . . - Mateescu (Correct)
Part Geometry Data In The Amrf - Tu, Hopp (1987) (1 citation) (Correct)
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC