Proceedings of Conference on Data: abstraction, definition and structure; march 22 - 24, 1976
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | Undetermined |
| Veröffentlicht: |
New York
1976
|
| Schriftenreihe: | Sigplan notices
11 : special issue FDT 8,2 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Einzelaufnahme eines Zs.-Heftes |
| Beschreibung: | V, 160 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV002146115 | ||
| 003 | DE-604 | ||
| 005 | 20000316 | ||
| 007 | t | ||
| 008 | 890928s1976 |||| 10||| und d | ||
| 035 | |a (OCoLC)630806951 | ||
| 035 | |a (DE-599)BVBBV002146115 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | |a und | ||
| 049 | |a DE-91G | ||
| 111 | 2 | |a Conference on Data |d 1976 |c Salt Lake City, Utah |j Verfasser |0 (DE-588)816875-1 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of Conference on Data |b abstraction, definition and structure; march 22 - 24, 1976 |c Conference on Data <1976, Salt Lake City, Utah> ; Association for Computing Machinery / Special Interest Group on Programming Languages* |
| 264 | 1 | |a New York |c 1976 | |
| 300 | |a V, 160 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Sigplan notices |v 11 : special issue | |
| 490 | 0 | |a FDT |v 8,2 | |
| 500 | |a Einzelaufnahme eines Zs.-Heftes | ||
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 710 | 2 | |a Association for Computing Machinery |b Special Interest Group on Programming Languages |e Verfasser |0 (DE-588)75333-6 |4 aut | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001407788&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001407788 | ||
Datensatz im Suchindex
| _version_ | 1804116600648892416 |
|---|---|
| adam_text | Proceedings
of
CONFERENCE ON DATA:
Abstraction, Definition and Structure
March 22 - 2A, 1976
Salt Lake City, Utah
Special Interest Group on Programming Languages (SIGPLAN)
Special Interest Group on Management of Data (SIGMOD)
Association for Computing Machinery (ACM)
ULB Darmstadt
19227740
TABLE OF CONTENTS
SESSION I: THE ABSTRACTION ISSUE
Chairman: Martin I Wolfe, U S Army Electronics Command, Fort Monmouth, N J
An Outline of a Mathematical Model for the Definition and Manipulation of Data 1
Bengt Nordstrom
The Use of Abstract Data Types to Simplify Program Modifications 12
Theodore A Linden
The System for Business Automation: Programming Language 24
Mosh£ M Zloof and S Peter de Jong
SESSION II: IMPLEMENTATION
Chairman: Howard Lee Morgan, University of Pennsylvania
Embedding a Relational Data Sublanguage in a General Purpose Programming Language 25
Eric Allman, Michael Stonebraker, and Gerald Held
Abstract Data Types in the Model Programming Language 36
Robert T Johnson, and James B Morris
High Level Domain Definition in a Relational Data Base System 47
Dennis J McLeod
SESSION III: PANEL - WHITHER DATA ABSTRACTION?
Chairman: Stephen Zilles, IBM Research, San Jose, Ca
Data Abstractions for Data Bases 58
Michael Hammer
Some Desirable Properties of Data Abstraction Facilities 60
J J Horning
Toward Foundations for the Understanding of Type 63
Douglas T Ross
Research Directions in Abstract Data Structures 66
Mary Shaw
A Next Step in Data Structuring for Programming Languages 69
Jim Mitchell and Ben Wegbreit
SESSION IV: DESIGNING DATA ABSTRACTIONS
Chairman: Jay F Nunamaker, Jr , University of Arizona
Data Base Abstraction 71
John Miles Smith and Diane C P Smith
Abstract Data Types and the Development of Data Structures 72
John Guttag
From Information Structures to DBTG Data Structures 73
J A Bubenko, jr , S Berild, E Lindencrona-Ohlin, and S Nachmens
♦
iv
SESSION V: POINTERS AND ASSOCIATIVE ACCESS
Chairman: Michael Hammer, MIT, Project MAC
A Technique for Implementing a Set Processor 86
W T Hardgrave
Programming without Pointer Variables 95
Richard B Kieburtz
On the Use of Bit Maps for Multiple Key Retrieval 108
Oscar Vallarino
Correctness of Data Representations: Pointers in High Level Languages 115
D M Berry, Z Erlich, and C J Lucena
SESSION VI: DEFINING NEW DATA TYPES
Chairman: James B Morris, Los Alamos Scientific Laboratories
Some Ideas on Data Types in High Level Languages 120
David Gries and Narain Gehani
DIAM II and Levels of Abstraction 121
Michael E Senko
Towards the Construction of Verifiable Software Systems 141
L Flon and A N Habermann
Abstract Types Defined as Classes of Variables 149
D L Parnas, John E Shore, and David Weiss
SESSION VII: PANEL - WHITHER DATA BASE DESIGN?
Chairman: James P Fry, University of Michigan
Panel Members: Ben Shneiderman, Indiana University
Peter Dressen, Honeywell
Donna Sheppard, Crown Zellerbach
Toby J Teorey, University of Michigan
(no papers included in the proceedings)
SESSION VIII: LANGUAGE ISSUES
Chairman: James J Horning, University of Toronto
A High-level Data Manipulation Language for Hierarchical Data Structures 155
Barron C Housel and Nan C Shu
A Data Type Encapsulation Scheme Utilizing Base Language Operators 170
Mark B Wells and Fred L Cornwall
Visibility and Types 179
CHA Koster
SESSION IX: PANEL - THE TWO VIEWS OF DATA ABSTRACTION, DEFINITION, AND STRUCTURE:
LANGUAGES AND DATA BASES
Chairman: Elliott I Organick, University of Utah
Panel Members: E F Codd, IBM Research
Henry F Ledgard, University of Massachusetts
Barbara Liskov, MIT, Project MAC
Robert W Taylor, IBM Research
Peter Wegner, Brown University
(no papers included in the prodeedings)
|
| any_adam_object | 1 |
| author_corporate | Conference on Data Salt Lake City, Utah Association for Computing Machinery Special Interest Group on Programming Languages |
| author_corporate_role | aut aut |
| author_facet | Conference on Data Salt Lake City, Utah Association for Computing Machinery Special Interest Group on Programming Languages |
| author_sort | Conference on Data Salt Lake City, Utah |
| building | Verbundindex |
| bvnumber | BV002146115 |
| ctrlnum | (OCoLC)630806951 (DE-599)BVBBV002146115 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01433nam a2200313 cb4500</leader><controlfield tag="001">BV002146115</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20000316 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1976 |||| 10||| und d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)630806951</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002146115</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Conference on Data</subfield><subfield code="d">1976</subfield><subfield code="c">Salt Lake City, Utah</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)816875-1</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of Conference on Data</subfield><subfield code="b">abstraction, definition and structure; march 22 - 24, 1976</subfield><subfield code="c">Conference on Data <1976, Salt Lake City, Utah> ; Association for Computing Machinery / Special Interest Group on Programming Languages*</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="c">1976</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">V, 160 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Sigplan notices</subfield><subfield code="v">11 : special issue</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">FDT</subfield><subfield code="v">8,2</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Einzelaufnahme eines Zs.-Heftes</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Association for Computing Machinery</subfield><subfield code="b">Special Interest Group on Programming Languages</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)75333-6</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001407788&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001407788</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV002146115 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:41:05Z |
| institution | BVB |
| institution_GND | (DE-588)816875-1 (DE-588)75333-6 |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001407788 |
| oclc_num | 630806951 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | V, 160 S. |
| publishDate | 1976 |
| publishDateSearch | 1976 |
| publishDateSort | 1976 |
| record_format | marc |
| series2 | Sigplan notices FDT |
| spelling | Conference on Data 1976 Salt Lake City, Utah Verfasser (DE-588)816875-1 aut Proceedings of Conference on Data abstraction, definition and structure; march 22 - 24, 1976 Conference on Data <1976, Salt Lake City, Utah> ; Association for Computing Machinery / Special Interest Group on Programming Languages* New York 1976 V, 160 S. txt rdacontent n rdamedia nc rdacarrier Sigplan notices 11 : special issue FDT 8,2 Einzelaufnahme eines Zs.-Heftes (DE-588)1071861417 Konferenzschrift gnd-content Association for Computing Machinery Special Interest Group on Programming Languages Verfasser (DE-588)75333-6 aut HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001407788&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of Conference on Data abstraction, definition and structure; march 22 - 24, 1976 |
| subject_GND | (DE-588)1071861417 |
| title | Proceedings of Conference on Data abstraction, definition and structure; march 22 - 24, 1976 |
| title_auth | Proceedings of Conference on Data abstraction, definition and structure; march 22 - 24, 1976 |
| title_exact_search | Proceedings of Conference on Data abstraction, definition and structure; march 22 - 24, 1976 |
| title_full | Proceedings of Conference on Data abstraction, definition and structure; march 22 - 24, 1976 Conference on Data <1976, Salt Lake City, Utah> ; Association for Computing Machinery / Special Interest Group on Programming Languages* |
| title_fullStr | Proceedings of Conference on Data abstraction, definition and structure; march 22 - 24, 1976 Conference on Data <1976, Salt Lake City, Utah> ; Association for Computing Machinery / Special Interest Group on Programming Languages* |
| title_full_unstemmed | Proceedings of Conference on Data abstraction, definition and structure; march 22 - 24, 1976 Conference on Data <1976, Salt Lake City, Utah> ; Association for Computing Machinery / Special Interest Group on Programming Languages* |
| title_short | Proceedings of Conference on Data |
| title_sort | proceedings of conference on data abstraction definition and structure march 22 24 1976 |
| title_sub | abstraction, definition and structure; march 22 - 24, 1976 |
| topic_facet | Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001407788&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT conferenceondatasaltlakecityutah proceedingsofconferenceondataabstractiondefinitionandstructuremarch22241976 AT associationforcomputingmachineryspecialinterestgrouponprogramminglanguages proceedingsofconferenceondataabstractiondefinitionandstructuremarch22241976 |