*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 716

1

An Introduction to Data Representation Synthesis.
Hawkins, Peter ; Rinard, Martin ; Aiken, Alex ; et al.
Communications of the ACM. Dec2012, Vol. 55 Issue 12, p91-99. 9p. 2 Diagrams, 1 Chart, 4 Graphs.

DATA structures COMPUTER science COMPUTER programming COMPUTER operating syste... RELATIONAL databases DATABASE management
*Periodical*
2

Just Say 'A Class Defines a Data Type'.
Chenglie Hu
Communications of the ACM. Mar2008, Vol. 51 Issue 3, p19-21. 3p. 1 Illustration.

DATA structures PROGRAMMING languages OBJECT-oriented methods... ALGORITHMS COMPUTER science educati... ABSTRACT data types (Com...
*Periodical*
3

Local Reasoning for Global Invariants, Part II: Dynamic Boundaries.
BANERJEE, ANINDYA ; NAUMANN, DAVID A.
Journal of the ACM. Jun2013, Vol. 60 Issue 3, p1-73. 73p.

DATA protection COMPUTER software COMPUTER programming ABSTRACT data types (Com... MATHEMATICAL invariants COMPUTER logic
*Academic Journal*
4

Local Reasoning for Global Invariants, Part I: Region Logic.
BANERJEE, ANINDYA ; NAUMANN, DAVID A. ; ROSENBERG, STAN
Journal of the ACM. Jun2013, Vol. 60 Issue 3, p1-56. 56p.

INFORMATION processing DATA protection DATA integrity ABSTRACT data types (Com... MATHEMATICAL symmetry SEMANTICS
*Academic Journal*
5

Making Abstract Interpretations Complete.
Giacobazzi, Roberto ; Ranzato, Francesco
Journal of the ACM. Mar2000, Vol. 47 Issue 2, p361. 56p. 5 Diagrams.

MATHEMATICAL models ABSTRACT data types (Com... LATTICE theory
*Academic Journal*
6

Detangler: Visual Analytics for Multiplex Networks.
Renoust, B. ; Melançon, G. ; Munzner, T.
Computer Graphics Forum. Jun2015, Vol. 34 Issue 3, p321-330. 10p. 9 Diagrams, 1 Chart, 1 Graph.

DATA visualization ABSTRACT data types (Com...
*Academic Journal*
7

Why Don't Languages Support Multimedia All the Way Down?
Guzdial, Mark
Communications of the ACM. Dec2012, Vol. 55 Issue 12, p12-13. 2p.

PROGRAMMING languages MULTIMEDIA computer appl... MULTIMEDIA systems ABSTRACT data types (Com... COMPUTER programming edu... DIGITAL media
*Periodical*
8

Toward Mega programming.
Wiederhold, Gio ; Wegner, Peter ; Ceri, Stefano
Communications of the ACM. Nov92, Vol. 35 Issue 11, p89-99. 11p.

COMPUTER programming REAL-time computing INFORMATION services COMPUTER software COMPUTER networks ABSTRACT data types (Com...
*Periodical*
9

Program Design by Informal English Descriptions.
Abbott, Russell J. ; Horowitz, Ellis
Communications of the ACM. Nov83, Vol. 26 Issue 11, p882-894. 13p.

PROGRAMMING languages DATA structures COMPUTER programming ABSTRACT data types (Com... ADA (Computer program la...
*Periodical*
10

Abstract Data Types and Software Validation.
Guttag, John V. ; Horowitz, Ellis ; Musser, David R. ; et al.
Communications of the ACM. Dec1978, Vol. 21 Issue 12, p1048-1064. 17p. 9 Diagrams.

COMPUTER programming PROGRAMMING languages COMPUTER science ABSTRACT data types (Com... SOFTWARE validation AXIOMS
*Periodical*
11

A Language Extension for Expressing Constraints on Data Access.
Jones, Anita K. ; Liskov, Barbara H. ; Horning, J. J.
Communications of the ACM. May78, Vol. 21 Issue 5, p358-367. 10p. 2 Diagrams.

PROGRAMMING languages COMPUTER programming COMPUTER operating syste... ELECTRONIC data processi... COMPUTER software ABSTRACT data types (Com...
*Periodical*
12

An Interference Matching Technique for Inducing Abstractions.
Hayes-Roth, Frederick ; McDermott, John ; Montgomery, Christine A.
Communications of the ACM. May78, Vol. 21 Issue 5, p401-411. 11p. 5 Diagrams.

TRAINING DATA structures COMPUTER programming ALGORITHMS ABSTRACT data types (Com...
*Periodical*
13

Automatic Data Structure Selection: An Example and Overview.
Low, James R. ; Horning, J. J.
Communications of the ACM. May78, Vol. 21 Issue 5, p376-385. 10p.

DATA structures COMPUTER programmers ELECTRONIC data processi... AUTOMATION COMPUTER programming ABSTRACT data types (Com...
*Periodical*
14

An Experimental Evaluation of Data Type Conventions.
Gannon, J. D.
Communications of the ACM. Aug1977, Vol. 20 Issue 8, p584-595. 12p. 21 Charts.

PROGRAMMING languages DATA structures ERROR analysis in mathem... ABSTRACT data types (Com... DEBUGGING TYPEWRITING
*Periodical*
15

Abstraction Mechanisms in CLU.
Liskov, Barbara ; Snyder, Alan ; Atkinson, Russell ; et al.
Communications of the ACM. Aug1977, Vol. 20 Issue 8, p564-576. 13p. 8 Diagrams.

PROGRAMMING languages COMPUTER programmers ALGORITHMS COMPUTER software CLU (Computer program la... ABSTRACT data types (Com...
*Periodical*
16

Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators.
Shaw, Mary ; Wulf, William A. ; London, Ralph L.
Communications of the ACM. Aug1977, Vol. 20 Issue 8, p553-564. 12p.

PROGRAMMING languages COMPUTER programmers ALGORITHMS ALPHARD (Computer progra... ABSTRACT data types (Com... ITERATIVE methods (Mathe...
*Periodical*
17

Some Ideas on Data Types in High-Level Languages.
Gries, David ; Gehani, Narain ; Wegbreit, B.
Communications of the ACM. Jun77, Vol. 20 Issue 6, p414-420. 7p.

PROGRAMMING languages ALGORITHMS DATA structures ABSTRACT data types (Com... ITERATIVE methods (Mathe... NUMERICAL analysis
*Periodical*
18

Database Abstractions: Aggregation.
Smith, John Miles ; Smith, Diane C. P. ; Wegbreit, B.
Communications of the ACM. Jun77, Vol. 20 Issue 6, p405-413. 9p. 8 Diagrams.

RELATIONAL databases COMPUTER programming PROGRAMMING languages DATA structures INFORMATION storage & re... ABSTRACT data types (Com...
*Periodical*
19

Abstract Data Types and the Development of Data Structures.
Guttag, John ; Wegbreit, B.
Communications of the ACM. Jun77, Vol. 20 Issue 6, p396-404. 9p.

COMPUTER programming PROGRAMMING languages DATA structures COMPUTER software develo... ABSTRACT data types (Com... STRUCTURED programming
*Periodical*
20

The Treatment of Data Types in EL1.
Wegbreit, Ben ; Standish, T.A.
Communications of the ACM. May74, Vol. 17 Issue 5, p251-264. 14p.

PROGRAMMING languages ABSTRACT data types (Com...
*Periodical*

*Filter*