Communications of the ACM, volume 20, issue 6, pages 396-404

Abstract data types and the development of data structures

JOHN GUTTAG ¹

Show full list: 1 author

Hide authors affiliations Show authors affiliations: 1 affiliation

Univ. of Southern California, Los Angeles |

Publication type: Journal Article

Publication date: 2002-07-27

Association for Computing Machinery (ACM)

Journal: Communications of the ACM

scimago Q1

SJR: 2.957

CiteScore: 16.1

Impact factor: 11.1

ISSN: 00010782, 15577317

DOI: 10.1145/359605.359618

Copy DOI

General Computer Science

Abstract

Abstract data types can play a significant role in the development of software that is reliable, efficient, and flexible. This paper presents and discusses the application of an algebraic technique for the specification of abstract data types. Among the examples presented is a top-down development of a symbol table for a block structured language; a discussion of the proof of its correctness is given. The paper also contains a brief discussion of the problems involved in constructing algebraic specifications that are both consistent and complete.

Found 0

Clear filter

By date By citations

Found 0

Clear filter

By date By citations

Top-30

Journals

	5 10 15 20 25 30 35
Lecture Notes in Computer Science	Lecture Notes in Computer Science, 33, 11.74% Lecture Notes in Computer Science 33 publications, 11.74%
ACM SIGPLAN Notices	ACM SIGPLAN Notices, 12, 4.27% ACM SIGPLAN Notices 12 publications, 4.27%
IEEE Transactions on Software Engineering	IEEE Transactions on Software Engineering, 12, 4.27% IEEE Transactions on Software Engineering 12 publications, 4.27%
Informatik zwischen Wissenschaft und Gesellschaft	Informatik zwischen Wissenschaft und Gesellschaft, 11, 3.91% Informatik zwischen Wissenschaft und Gesellschaft 11 publications, 3.91%
Software - Practice and Experience	Software - Practice and Experience, 8, 2.85% Software - Practice and Experience 8 publications, 2.85%
ACM Transactions on Programming Languages and Systems	ACM Transactions on Programming Languages and Systems, 6, 2.14% ACM Transactions on Programming Languages and Systems 6 publications, 2.14%
Communications of the ACM	Communications of the ACM, 5, 1.78% Communications of the ACM 5 publications, 1.78%
Journal of Systems and Software	Journal of Systems and Software, 5, 1.78% Journal of Systems and Software 5 publications, 1.78%
ACM Transactions on Database Systems	ACM Transactions on Database Systems, 4, 1.42% ACM Transactions on Database Systems 4 publications, 1.42%
Science of Computer Programming	Science of Computer Programming, 4, 1.42% Science of Computer Programming 4 publications, 1.42%
Computer Physics Communications	Computer Physics Communications, 3, 1.07% Computer Physics Communications 3 publications, 1.07%
ACM Transactions on Software Engineering and Methodology	ACM Transactions on Software Engineering and Methodology, 3, 1.07% ACM Transactions on Software Engineering and Methodology 3 publications, 1.07%
Computer	Computer, 3, 1.07% Computer 3 publications, 1.07%
Information Processing Letters	Information Processing Letters, 3, 1.07% Information Processing Letters 3 publications, 1.07%
Computer Languages	Computer Languages, 3, 1.07% Computer Languages 3 publications, 1.07%
IFAC Proceedings Volumes	IFAC Proceedings Volumes, 3, 1.07% IFAC Proceedings Volumes 3 publications, 1.07%
Topics in Information Systems	Topics in Information Systems, 3, 1.07% Topics in Information Systems 3 publications, 1.07%
CAD Computer Aided Design	CAD Computer Aided Design, 2, 0.71% CAD Computer Aided Design 2 publications, 0.71%
Information and Software Technology	Information and Software Technology, 2, 0.71% Information and Software Technology 2 publications, 0.71%
Data and Knowledge Engineering	Data and Knowledge Engineering, 2, 0.71% Data and Knowledge Engineering 2 publications, 0.71%
ACM Transactions on Information Systems	ACM Transactions on Information Systems, 2, 0.71% ACM Transactions on Information Systems 2 publications, 0.71%
SIGMOD Record	SIGMOD Record, 2, 0.71% SIGMOD Record 2 publications, 0.71%
SIAM Journal on Computing	SIAM Journal on Computing, 2, 0.71% SIAM Journal on Computing 2 publications, 0.71%
Acta Informatica	Acta Informatica, 2, 0.71% Acta Informatica 2 publications, 0.71%
Journal of Computer Science and Technology	Journal of Computer Science and Technology, 2, 0.71% Journal of Computer Science and Technology 2 publications, 0.71%
IEEE Transactions on Computers	IEEE Transactions on Computers, 2, 0.71% IEEE Transactions on Computers 2 publications, 0.71%
Information Systems	Information Systems, 2, 0.71% Information Systems 2 publications, 0.71%
Computer Networks and ISDN Systems	Computer Networks and ISDN Systems, 2, 0.71% Computer Networks and ISDN Systems 2 publications, 0.71%
Software Testing Verification and Reliability	Software Testing Verification and Reliability, 2, 0.71% Software Testing Verification and Reliability 2 publications, 0.71%
	5 10 15 20 25 30 35

Publishers

	10 20 30 40 50 60 70
Springer Nature	Springer Nature, 68, 24.2% Springer Nature 68 publications, 24.2%
Elsevier	Elsevier, 49, 17.44% Elsevier 49 publications, 17.44%
Institute of Electrical and Electronics Engineers (IEEE)	Institute of Electrical and Electronics Engineers (IEEE), 46, 16.37% Institute of Electrical and Electronics Engineers (IEEE) 46 publications, 16.37%
Association for Computing Machinery (ACM)	Association for Computing Machinery (ACM), 43, 15.3% Association for Computing Machinery (ACM) 43 publications, 15.3%
Wiley	Wiley, 13, 4.63% Wiley 13 publications, 4.63%
IGI Global	IGI Global, 6, 2.14% IGI Global 6 publications, 2.14%
Taylor & Francis	Taylor & Francis, 6, 2.14% Taylor & Francis 6 publications, 2.14%
Society for Industrial and Applied Mathematics (SIAM)	Society for Industrial and Applied Mathematics (SIAM), 2, 0.71% Society for Industrial and Applied Mathematics (SIAM) 2 publications, 0.71%
World Scientific	World Scientific, 1, 0.36% World Scientific 1 publication, 0.36%
Hindawi Limited	Hindawi Limited, 1, 0.36% Hindawi Limited 1 publication, 0.36%
	10 20 30 40 50 60 70

We do not take into account publications without a DOI.
Statistics recalculated only for publications connected to researchers, organizations and labs registered on the platform.
Statistics recalculated weekly.

Are you a researcher?

Create a profile to get free access to personal recommendations for colleagues and new articles.

Metrics

n/a Field Citation Ratio

n/a Relative Citation Ratio

Cite this

GOST |

Cite this

GOST Copy

GUTTAG J. Abstract data types and the development of data structures // Communications of the ACM. 2002. Vol. 20. No. 6. pp. 396-404.

GOST all authors (up to 50) Copy

GUTTAG J. Abstract data types and the development of data structures // Communications of the ACM. 2002. Vol. 20. No. 6. pp. 396-404.

RIS |

Cite this

RIS Copy

TY - JOUR

DO - 10.1145/359605.359618

UR - https://doi.org/10.1145/359605.359618

TI - Abstract data types and the development of data structures

T2 - Communications of the ACM

AU - GUTTAG, JOHN

PY - 2002

DA - 2002/07/27

PB - Association for Computing Machinery (ACM)

SP - 396-404

IS - 6

VL - 20

SN - 0001-0782

SN - 1557-7317

ER -

BibTex |

Cite this

BibTex (up to 50 authors) Copy

@article{2002_GUTTAG,

author = {JOHN GUTTAG},

title = {Abstract data types and the development of data structures},

journal = {Communications of the ACM},

year = {2002},

volume = {20},

publisher = {Association for Computing Machinery (ACM)},

month = {jul},

url = {https://doi.org/10.1145/359605.359618},

number = {6},

pages = {396--404},

doi = {10.1145/359605.359618}

}

MLA

Cite this

MLA Copy

GUTTAG, JOHN. “Abstract data types and the development of data structures.” Communications of the ACM, vol. 20, no. 6, Jul. 2002, pp. 396-404. https://doi.org/10.1145/359605.359618.

Found error?

Message

Support chat

Publisher

Association for Computing Machinery (ACM)

Journal

Communications of the ACM

scimago Q1

SJR

2.957

CiteScore

16.1

Impact factor

11.1

ISSN

00010782 (Print)

15577317 (Electronic)