Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 1 - 20 von 852

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
Zeitschrift
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...
Zeitschrift
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
Fachzeitschrift
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
Fachzeitschrift
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
Fachzeitschrift
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...
Fachzeitschrift
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
Zeitschrift
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...
Zeitschrift
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...
Zeitschrift
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
Zeitschrift
11

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...
Zeitschrift
12

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...
Zeitschrift
13

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...
Zeitschrift
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
Zeitschrift
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...
Zeitschrift
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...
Zeitschrift
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
Zeitschrift
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...
Zeitschrift
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
Zeitschrift
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...
Zeitschrift

Filter