Conference record of the ninth annual ACM Symposium on Principles of Programming Languages: papers presented at the symposium, Albuquerque, New Mexico, Jan. 25 - 27, 1982
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
New York, NY
Association for Computing Machinery [u.a.]
1982
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | V, 378 S. graph. Darst. |
| ISBN: | 0897910656 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV006526691 | ||
| 003 | DE-604 | ||
| 005 | 20220927 | ||
| 007 | t| | ||
| 008 | 930210s1982 xx d||| |||| 10||| eng d | ||
| 020 | |a 0897910656 |9 0-89791-065-6 | ||
| 035 | |a (OCoLC)633424420 | ||
| 035 | |a (DE-599)BVBBV006526691 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-20 |a DE-91G |a DE-706 |a DE-188 | ||
| 111 | 2 | |a Symposium on Principles of Programming Languages |n 9 |d 1982 |c Albuquerque, NM |j Verfasser |0 (DE-588)5002105-9 |4 aut | |
| 245 | 1 | 0 | |a Conference record of the ninth annual ACM Symposium on Principles of Programming Languages |b papers presented at the symposium, Albuquerque, New Mexico, Jan. 25 - 27, 1982 |
| 264 | 1 | |a New York, NY |b Association for Computing Machinery [u.a.] |c 1982 | |
| 300 | |a V, 378 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1982 |z Albuquerque NM |2 gnd-content | |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 710 | 2 | |a Association for Computing Machinery |b Special Interest Group on Programming Languages |e Sonstige |0 (DE-588)75333-6 |4 oth | |
| 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=004156558&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-004156558 | |
Record in the Search Index
| _version_ | 1820875942016319488 |
|---|---|
| adam_text |
J
Conference Record
of the
NINTH ANNUAL ACM SYMPOSIUM ON
PRINCIPLES OF PROGRAMMING LANGUAGES
Papers Presented at the Symposium
Albuquerque, New Mexico
January 25-27,1982
Sponsored by the
Technische Hochschule Darmstadt
FACHBEREICH INFORMATIK
BIBLIOTHEK ’
V
Inventar-Nr :
Sachgebiete t
Standort i
ASSOCIATION FOR COMPUTING MACHINERY
SPECIAL INTEREST GROUP ON AUTOMATA AND
Fachbereichsbibliothek Informatik
TU Darm stadt
COMPUTABILITY THEORY
SPECIAL INTEREST GROUP ON PROGRAMMING LANGUAGES
ACM Order No 549820
1982 Ninth Annual ACM SIGACT-SIGPLAN Symposium on
PRINCIPLES OF PROGRAMMING LANGUAGES
Albuquerque, NM, January 25-27, 1982
TABLE OF CONTENTS
Monday January 25
Session _1: Chaired by A K Jones, Carnegie-Mellon University
Termination of Probabilistic Concurrent Programs
S Hart, M Sharir, Tel Aviv University
A Pnueli, Weizmann Institute of Science 1
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
B Liskov, R Scheifler, MIT 7
Specification and Synthesis of Communicating Processes
Using an Extended Temporal Logic (Preliminary Version)
P Wolper, Stanford University 20
Messages as Active Agents
D W Wall, Pennsylvania State University 34
Extended Naming Conventions for Communicating Processes
N Francez, Technion 40
Unbounded Speed Variability in Distributed Communication Systems
J Reif, P Spirakis, Harvard University 46
Programming Aspects of VLSI (Preliminary Version)
R J Lipton, J Valdes, Princeton University
R Sedgewick, Brown University 57
Session 2: Chaired by 0 Roubine, CII Honeywell Bull
A Flexible Approach to Interprocedural Data Flow Analysis and
Programs with Recursive Data Structures
N D Jones, Aarhus University
S S Muchnick, Hewlett-Packard, Palo Alto 66
Automatic Generation of Machine Specific Code Optimizers
R Giegerich, Technical University Munich 75
Optimal Code for Control Structures
MVS Ramanath, University of Western Ontario
M Solomon, University of Wisconsin-Madison 82
Experience with an Attribute Grammar-Based Compiler
R Farrow, Intel Corporation 95
Description-Driven Code Generation using Attribute Grammars
M Ganapathi, C N Fischer, University of Wisconsin-Madison 108
Code Generation and Reorganization in the Presence of Pipeline Constraints
J L Hennessy, T R Gross, Stanford University 120
Eliminating Redundant Object Code
J W Davidson, C W Fraser, University of Arizona
iv
f
128
Tuesday January 26
Session 3: Chaired by A Demers, Cornell University
A Type Declaration and Inference System for Smalltalk
A H Borning, University of Washington
DHH Ingalls, Xerox Palo Alto Research Center 133
Lithe: A Language Combining a Flexible Syntax and Classes
D Sandberg, University of Washington 142
Unified Dialogue Management in the Carousel System
E Sandewall, Linköping University 146
Maple: A Programming Language and Operating System
P J Voda, University of Alberta 137
Optimal-time Incremental Semantic Analysis for Syntax-directed Editors
T Reps, Cornell University 169
Practical Error Recovery in LR Parsing
S Sippu, E Soisalon-Soininen, University of Helsinki 177
Non-syntactic Attribute Flow in Language Based Editors
G F Johnson, C N Fischer, University of Wisconsin-Madison 183
Building Friendly Parsers
F Jalili, J H Gallier, University of Pennsylvania 196
Session 4 : Chaired by W Rounds, University of Michigan
Principal Type-Schemes for Functional Programs
Damas, R Milner, Edinburgh University 207
On the Composition of Processes
V R Pratt, Stanford University 213
A Semantics-Directed Compiler Generator
L Paulson, Stanford University 224
Semantics-Directed Machine Architecture
M Wand, Indiana University 234
Completion Semantics and Interpreter Generation
M C Henson, R Turner, University of Essex 242
Partial Evaluation as a Means for Inferencing Data Structures in an
Applicative Language: A Theory and Implementation in the Case of Prolog
H J Komorowski, Linköping University 255 |
| any_adam_object | 1 |
| author_corporate | Symposium on Principles of Programming Languages Albuquerque, NM |
| author_corporate_role | aut |
| author_facet | Symposium on Principles of Programming Languages Albuquerque, NM |
| author_sort | Symposium on Principles of Programming Languages Albuquerque, NM |
| building | Verbundindex |
| bvnumber | BV006526691 |
| classification_rvk | SS 1982 |
| ctrlnum | (OCoLC)633424420 (DE-599)BVBBV006526691 |
| 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">BV006526691</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220927</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930210s1982 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0897910656</subfield><subfield code="9">0-89791-065-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633424420</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006526691</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-20</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Symposium on Principles of Programming Languages</subfield><subfield code="n">9</subfield><subfield code="d">1982</subfield><subfield code="c">Albuquerque, NM</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5002105-9</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Conference record of the ninth annual ACM Symposium on Principles of Programming Languages</subfield><subfield code="b">papers presented at the symposium, Albuquerque, New Mexico, Jan. 25 - 27, 1982</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Association for Computing Machinery [u.a.]</subfield><subfield code="c">1982</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">V, 378 S.</subfield><subfield code="b">graph. Darst.</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="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1982</subfield><subfield code="z">Albuquerque NM</subfield><subfield code="2">gnd-content</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="b">Special Interest Group on Programming Languages</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)75333-6</subfield><subfield code="4">oth</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=004156558&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-004156558</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1982 Albuquerque NM gnd-content |
| genre_facet | Konferenzschrift 1982 Albuquerque NM |
| id | DE-604.BV006526691 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:23:39Z |
| institution | BVB |
| institution_GND | (DE-588)5002105-9 (DE-588)75333-6 (DE-588)1222-1 |
| isbn | 0897910656 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004156558 |
| oclc_num | 633424420 |
| open_access_boolean | |
| owner | DE-739 DE-20 DE-91G DE-BY-TUM DE-706 DE-188 |
| owner_facet | DE-739 DE-20 DE-91G DE-BY-TUM DE-706 DE-188 |
| physical | V, 378 S. graph. Darst. |
| publishDate | 1982 |
| publishDateSearch | 1982 |
| publishDateSort | 1982 |
| publisher | Association for Computing Machinery [u.a.] |
| record_format | marc |
| spelling | Symposium on Principles of Programming Languages 9 1982 Albuquerque, NM Verfasser (DE-588)5002105-9 aut Conference record of the ninth annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Albuquerque, New Mexico, Jan. 25 - 27, 1982 New York, NY Association for Computing Machinery [u.a.] 1982 V, 378 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturangaben Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1982 Albuquerque NM gnd-content Programmiersprache (DE-588)4047409-4 s DE-604 Association for Computing Machinery Special Interest Group on Programming Languages Sonstige (DE-588)75333-6 oth 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=004156558&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Conference record of the ninth annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Albuquerque, New Mexico, Jan. 25 - 27, 1982 Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4047409-4 (DE-588)1071861417 |
| title | Conference record of the ninth annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Albuquerque, New Mexico, Jan. 25 - 27, 1982 |
| title_auth | Conference record of the ninth annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Albuquerque, New Mexico, Jan. 25 - 27, 1982 |
| title_exact_search | Conference record of the ninth annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Albuquerque, New Mexico, Jan. 25 - 27, 1982 |
| title_full | Conference record of the ninth annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Albuquerque, New Mexico, Jan. 25 - 27, 1982 |
| title_fullStr | Conference record of the ninth annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Albuquerque, New Mexico, Jan. 25 - 27, 1982 |
| title_full_unstemmed | Conference record of the ninth annual ACM Symposium on Principles of Programming Languages papers presented at the symposium, Albuquerque, New Mexico, Jan. 25 - 27, 1982 |
| title_short | Conference record of the ninth annual ACM Symposium on Principles of Programming Languages |
| title_sort | conference record of the ninth annual acm symposium on principles of programming languages papers presented at the symposium albuquerque new mexico jan 25 27 1982 |
| title_sub | papers presented at the symposium, Albuquerque, New Mexico, Jan. 25 - 27, 1982 |
| topic | Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Programmiersprache Konferenzschrift 1982 Albuquerque NM |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004156558&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT symposiumonprinciplesofprogramminglanguagesalbuquerquenm conferencerecordoftheninthannualacmsymposiumonprinciplesofprogramminglanguagespaperspresentedatthesymposiumalbuquerquenewmexicojan25271982 AT associationforcomputingmachineryspecialinterestgrouponprogramminglanguages conferencerecordoftheninthannualacmsymposiumonprinciplesofprogramminglanguagespaperspresentedatthesymposiumalbuquerquenewmexicojan25271982 AT associationforcomputingmachinery conferencerecordoftheninthannualacmsymposiumonprinciplesofprogramminglanguagespaperspresentedatthesymposiumalbuquerquenewmexicojan25271982 |