Conference record of the eighth Annual ACM Symposium on Principles of Programming Languages: papers presented at the symposium, Williamsburg, Virginia, January 26 - 28, 1981
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
New York
Association for Computing Machinery
1981
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 230 S. |
| ISBN: | 089791029X |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV006351915 | ||
| 003 | DE-604 | ||
| 005 | 20220927 | ||
| 007 | t| | ||
| 008 | 930210s1981 xx |||| 00||| eng d | ||
| 020 | |a 089791029X |9 0-89791-029-X | ||
| 035 | |a (OCoLC)633038309 | ||
| 035 | |a (DE-599)BVBBV006351915 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-706 | ||
| 111 | 2 | |a Symposium on Principles of Programming Languages |n 8 |d 1981 |c Williamsburg, Va. |j Verfasser |0 (DE-588)5002106-0 |4 aut | |
| 245 | 1 | 0 | |a Conference record of the eighth Annual ACM Symposium on Principles of Programming Languages |b papers presented at the symposium, Williamsburg, Virginia, January 26 - 28, 1981 |
| 264 | 1 | |a New York |b Association for Computing Machinery |c 1981 | |
| 300 | |a 230 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 710 | 2 | |a Association for Computing Machinery |e Sonstige |0 (DE-588)1222-1 |4 oth | |
| 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=004019876&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-004019876 | |
Record in the Search Index
| _version_ | 1820868432315285504 |
|---|---|
| adam_text |
Conference Record
of the
EIGHTH ANNUAL ACM SYMPOSIUM ON
PRINCIPLES OF PROGRAMMING LANGUAGES
Papers Presented at the Symposium
Williamsburg, Virginia
January 26-28, 1981
Sponsored by the
Technische Hochschule Darmstadt
FACHBEREICH INFORMATIK
BIBLIOTHEK
, ----- — •
Invents r-Nr s_W V f
Sachgebiete-• — - - -
Standort* _
ASSOCIATION FOR COMPUTING MACHINERY
Fachbereichsbibliothek Informatik
TU Darm stadt
SPECIAL INTEREST GROUP ON AUTOMATA AND
COMPUTABILITY THEORY
SPECIAL INTEREST GROUP ON PROGRAMMING LANGUAGES
ACM Order No 549810
Eighth Annual ACM Symposium on the
Principles of Programming Languages
Williamsburg, VA, January 26 - 28, 1981
MONDAY, JANUARY 26, 1981
ION 1: 9:30 am - 12:30 pm Chaired by Benjamin J Brosgol, Intermetrics
er Arrays: An Idiom Preserving Extension to APL
P Geoffrey Lowney (Yale University) 1
An Abstract Alternative to Pointers
Robert T Hood, Robert Cartwright,
Philip Matthews (Rice University) 14
teling of Problem Domains for
Driving Program Development Systems
Jayashree Ramanathan
C J Shubra (Ohio State University) 28
')
Program Improvement by Internal Specialization
William L Scherlis (Carnegie-Mellon Univ ) 41
Programming Primitives for Database Languages
Ashok K Chandra (IBM Research) 50
SESSION 2: 2:00 pm - 5:00 pm Chaired by Patricia C Goldberg, IBM Research
Paging As A Language Processing Task
Michael W Condry (Stanford University) 63
Making the World Safe for Garbage Collection
Susan S Owicki (Stanford University) 77
Debate: The Role of Global Optimization in Compilers of the Future 87
William H Harrison (IBM Research)
Stephen C Johnson (Bell Laboratories)
TUESDAY, JANUARY 27, 1981
SESSION 3: 9:00 am - 12:00 pm Chaired by Richard A DeMillo, Georgia
Institute of Technology
A Program Development Tool
C N Alberga, A L Brown, G B Leeman,
M Mikelsons, M N Wegman (IBM Research) 92
Incremental Evaluation for Atttribute Grammars,
With Application to Syntax-directed Editors
A L Demers, T Reps, T Teitelbaum (Cornell Univeristy) 105
Linear Cost Is Sometimes Quadratic
Barry K Rosen (IBM Research) 117
Formal Program Testing
Robert Cartwright (Rice University) 125
On The Advantages of Free Choice: A Symmetric
and Fully Distributed Solution to The Dining
Philosophers Problem
M Rabin, D Lehmann (Hebrew University) 133
SESSION 4: 1:30 pm - 4:30 pm Chaired by Harry R Lewis, Harvard University
Axiomatic Definitions of Programming Lanugages, II
Albert R Meyer, Joseph Y Halpern (M IT) 139
Program Verification Based on Denotational Semantics
Wolfgang Polak (Stanford University) 149
Program Logic Without Binding Is Decidable
Vaughan R Pma (M IT) 159
The Temporal Logic of Branching Time
M Ben-Ari (Tel-Aviv University), Z Manna
(Stanford University), A Pneuli (Weizmann Institute) 164
Verification of Attribute Grammar
Takuya Katayama, Yutaka Hoshino (Tokyo
Institute of Technology)
177
WEDNESDAY, JANUARY 28, 2981
SESSION 5: 9:00 am - 11:00 am
Inferring Types in Smalltalk
Norihisa Suzuki (Xerox PARC)
Program Optimization and Exception Handling
John L Hennessy (Stanford University)
Dependence Graphs and Compiler Optimizations
D Kuck, R Kuhn, B Leasure, D Padua,
M Wolfe (University of Illinois)
A Precise Inter-Procedural Data Flow Algorithm
Eugene W Myers, Jr (University of Colorado)
Chaired by Kenneth W Kennedy, Rice University
187
200
207 |
| any_adam_object | 1 |
| author_corporate | Symposium on Principles of Programming Languages Williamsburg, Va |
| author_corporate_role | aut |
| author_facet | Symposium on Principles of Programming Languages Williamsburg, Va |
| author_sort | Symposium on Principles of Programming Languages Williamsburg, Va |
| building | Verbundindex |
| bvnumber | BV006351915 |
| classification_rvk | SS 1981 |
| ctrlnum | (OCoLC)633038309 (DE-599)BVBBV006351915 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV006351915</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220927</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930210s1981 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">089791029X</subfield><subfield code="9">0-89791-029-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633038309</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006351915</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Symposium on Principles of Programming Languages</subfield><subfield code="n">8</subfield><subfield code="d">1981</subfield><subfield code="c">Williamsburg, Va.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5002106-0</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Conference record of the eighth Annual ACM Symposium on Principles of Programming Languages</subfield><subfield code="b">papers presented at the symposium, Williamsburg, Virginia, January 26 - 28, 1981</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">Association for Computing Machinery</subfield><subfield code="c">1981</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">230 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="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Association for Computing Machinery</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1222-1</subfield><subfield code="4">oth</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=004019876&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004019876</subfield></datafield></record></collection> |
| id | DE-604.BV006351915 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:24:17Z |
| institution | BVB |
| institution_GND | (DE-588)5002106-0 (DE-588)1222-1 |
| isbn | 089791029X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004019876 |
| oclc_num | 633038309 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-706 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-706 |
| physical | 230 S. |
| publishDate | 1981 |
| publishDateSearch | 1981 |
| publishDateSort | 1981 |
| publisher | Association for Computing Machinery |
| record_format | marc |
| spelling | Symposium on Principles of Programming Languages 8 1981 Williamsburg, Va. Verfasser (DE-588)5002106-0 aut Conference record of the eighth Annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Williamsburg, Virginia, January 26 - 28, 1981 New York Association for Computing Machinery 1981 230 S. txt rdacontent n rdamedia nc rdacarrier Programmiersprache (DE-588)4047409-4 gnd rswk-swf Programmiersprache (DE-588)4047409-4 s DE-604 Association for Computing Machinery Sonstige (DE-588)1222-1 oth HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004019876&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Conference record of the eighth Annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Williamsburg, Virginia, January 26 - 28, 1981 Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4047409-4 |
| title | Conference record of the eighth Annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Williamsburg, Virginia, January 26 - 28, 1981 |
| title_auth | Conference record of the eighth Annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Williamsburg, Virginia, January 26 - 28, 1981 |
| title_exact_search | Conference record of the eighth Annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Williamsburg, Virginia, January 26 - 28, 1981 |
| title_full | Conference record of the eighth Annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Williamsburg, Virginia, January 26 - 28, 1981 |
| title_fullStr | Conference record of the eighth Annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Williamsburg, Virginia, January 26 - 28, 1981 |
| title_full_unstemmed | Conference record of the eighth Annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Williamsburg, Virginia, January 26 - 28, 1981 |
| title_short | Conference record of the eighth Annual ACM Symposium on Principles of Programming Languages |
| title_sort | conference record of the eighth annual acm symposium on principles of programming languages papers presented at the symposium williamsburg virginia january 26 28 1981 |
| title_sub | papers presented at the symposium, Williamsburg, Virginia, January 26 - 28, 1981 |
| topic | Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Programmiersprache |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004019876&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT symposiumonprinciplesofprogramminglanguageswilliamsburgva conferencerecordoftheeighthannualacmsymposiumonprinciplesofprogramminglanguagespaperspresentedatthesymposiumwilliamsburgvirginiajanuary26281981 AT associationforcomputingmachinery conferencerecordoftheeighthannualacmsymposiumonprinciplesofprogramminglanguagespaperspresentedatthesymposiumwilliamsburgvirginiajanuary26281981 |