Conference record of the seventh annual ACM Symposium on Principles of Programming Languages: papers presented at the symposium Las Vegas, Nevada January 28 - 30, 1980
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
New York
ACM
1980
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VII, 261 S. graph. Darst. |
| ISBN: | 0897910117 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012334249 | ||
| 003 | DE-604 | ||
| 005 | 20220927 | ||
| 007 | t | ||
| 008 | 990104s1980 d||| |||| 10||| eng d | ||
| 020 | |a 0897910117 |9 0-89791-011-7 | ||
| 035 | |a (OCoLC)6692147 | ||
| 035 | |a (DE-599)BVBBV012334249 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-706 | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 001.64/24 |2 19 | |
| 111 | 2 | |a Symposium on Principles of Programming Languages |n 7 |d 1980 |c Las Vegas, Nev. |j Verfasser |0 (DE-588)818700-9 |4 aut | |
| 245 | 1 | 0 | |a Conference record of the seventh annual ACM Symposium on Principles of Programming Languages |b papers presented at the symposium Las Vegas, Nevada January 28 - 30, 1980 |
| 264 | 1 | |a New York |b ACM |c 1980 | |
| 300 | |a VII, 261 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a ADA |2 inriac | |
| 650 | 4 | |a Langages de programmation | |
| 650 | 7 | |a SUMMER |2 inriac | |
| 650 | 7 | |a langage programmation |2 inriac | |
| 650 | 7 | |a sémantique langage |2 inriac | |
| 650 | 4 | |a Programming languages (Electronic computers) |v Congresses | |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 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=008363554&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008363554 | ||
Datensatz im Suchindex
| _version_ | 1804126961008640000 |
|---|---|
| adam_text | ■ ■
Conference Record
of the
SEVENTH ANNUAL ACM SYMPOSIUM ON
PRINCIPLES OF PROGRAMMING LANGUAGES
Fachbereioh,ÄoÄl„format,k
Papers Presented at the Symposium
59482955
Las Vegas, Nevada
January 28-30, 1980
Technische Hochschule Darmstadt
FACHBCXeiCH INFORMATIK
IOTHEK
Inventcr-Nr :
Sachgebiete *
Standort»
Sponsored by the
ASSOCIATION FOR COMPUTING MACHINERY
SPECIAL INTEREST GROUP ON AUTOMATA AND COMPUTABILITY THEORY
SPECIAL INTEREST GROUP ON PROGRAMMING LANGUAGES
ACM Order No 549800
Seventh Annual ACM Symposium on the
Principles of Programming Languages *
Las Vegas, January 28 — 30, 1980
MONDAY, JANUARY 28, 1980
SESSION 1: 9:00 am - 12:30 pm Chaired by Butler Lampson, Xerox PARC
Analysis of pointer rotation
Norihisa Suzuki (Xerox P^RC) 1
Data types, parameters and type checking
Alan J Demers and James E Donahue (Cornell University) 12
A high-level approach to computer document formatting
Brian K Reid (Carnegie-Mellon University) 24
Experience with an applicative string processing language
James H Morris (Xerox PARC),
Eric Schmidt (University of California, Berkeley),
and Philip Wadler (Carnegie-Mellon University) 32
An overview of the SUMMER programming language
Paul Klint (Mathematisch Centrum) 47
SESSION 2: 2:00 pm - 5:30 pm Chaired by Mark Wegman, IBM
Analysis of simple programs over different sets of primitives
A J Kfoury (Boston University) 56
Synchronous schemes and their decision problems
Zohar Manna (Stanford University and Weizmann Institute),
and Amir Pnueli (Tel Aviv University) 62
Qualified data flow problems
L Howard Holley (IBM Cambridge Scientific Center),
and Barry K Rosen (IBM T J Watson Research Center) 68
Interprocedural data flow analysis in the presence of pointers,
procedure variables and label variables
William E Weihl (IBM T J Watson Research Center) 83
Prime subprogram parsing of a program
Robert E Tarjan (Stanford University) and Jacobo Valdes (Princeton University) 95
V
TUESDAY, JANUARY 29, 1980
SESSION 3: 9:00 am - 12:30 pm Chaired by Peter Hibbard, Carnegie-Mellon University
On specifying verifiers
V R Pratt (MIT) 106
A case study in specifying the semantics of a programming language
Ravi Sethi (University of Arizona) 117
Final data type specifications: a new data type specification method
Samuel Kamin (IRIA Laboria) 131
Expressiveness of the operation set of a data abstraction
Deepak Kapur and Srivas Mandayam (MIT) 139
On proving inductive properties of abstract data types
David R Musser (University of Southern California) 154
SESSION 4: 2:00 pm — 5:30 pm Chaired by David Harel, IBM
On the temporal analysis of fairness
Dov Gabbay (Bar Han University), Amir Pnueli (Tel Aviv University),
Saharon Shelah (The Hebrew University) and Jonathan Stavi (Bar Ilan University) 163
“Sometime” is sometimes “not never” - On the temporal logic of programs
Leslie Lamport (SRI International) 174
Propositional logics of programs: systems, models, and complexity
Rohit Parikh (Boston University and MIT) 186
A dynamic logic of multiprocessing with incomplete information
amp;hn H Reif (Harvard University) and Gary L Peterson (University of Rochester) 193
Axiomatic definitions of programming languages: a theoretical assessment
Albert R Meyer and Joseph Y Halpern (MIT) 203
Ä amp;
DEBATE: 8:30 pm - 10:00 pm
A formal debate on the programming language ADA is planned Following the formal
prcaflitatiOils, comments from the floor will be entertained
1%
VI
WEDNESDAY, JANUARY 30, 1980
SESSION 5: 9:00 am - 12:30 pm Chaired by David Hanson, University of Arizona
Efficient algorithms for structural similarity of grammars
H B Hunt HI and D J Rosenkrantz (SUNY Albany) 213
Theoretical and empirical studies on using program mutation
to test the functional correctness of programs
Timothy A Budd (Yale University),
Richard A DeMillo (Georgia Tech ),
Richard J Lipton (University of California, Berkeley),
and Frederick G Sayward (Yale University)
’Type-completeness as a language principle
Alan Demers and James Donahue (Cornell University) 234
An indeterminate constructor for applicative programming
Daniel P Friedman and David S Wise (Indiana University) 245
Formal specification as a design tool
|
| any_adam_object | 1 |
| author_corporate | Symposium on Principles of Programming Languages Las Vegas, Nev |
| author_corporate_role | aut |
| author_facet | Symposium on Principles of Programming Languages Las Vegas, Nev |
| author_sort | Symposium on Principles of Programming Languages Las Vegas, Nev |
| building | Verbundindex |
| bvnumber | BV012334249 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.7 |
| callnumber-search | QA76.7 |
| callnumber-sort | QA 276.7 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)6692147 (DE-599)BVBBV012334249 |
| dewey-full | 001.64/24 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 001 - Knowledge |
| dewey-raw | 001.64/24 |
| dewey-search | 001.64/24 |
| dewey-sort | 11.64 224 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Allgemeines |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01675nam a2200409 c 4500</leader><controlfield tag="001">BV012334249</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220927 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">990104s1980 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0897910117</subfield><subfield code="9">0-89791-011-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)6692147</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012334249</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-91G</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">001.64/24</subfield><subfield code="2">19</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Symposium on Principles of Programming Languages</subfield><subfield code="n">7</subfield><subfield code="d">1980</subfield><subfield code="c">Las Vegas, Nev.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)818700-9</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Conference record of the seventh annual ACM Symposium on Principles of Programming Languages</subfield><subfield code="b">papers presented at the symposium Las Vegas, Nevada January 28 - 30, 1980</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">ACM</subfield><subfield code="c">1980</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 261 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="650" ind1=" " ind2="7"><subfield code="a">ADA</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">SUMMER</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique langage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="v">Congresses</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="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="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=008363554&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-008363554</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV012334249 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:25:46Z |
| institution | BVB |
| institution_GND | (DE-588)818700-9 |
| isbn | 0897910117 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008363554 |
| oclc_num | 6692147 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-706 |
| physical | VII, 261 S. graph. Darst. |
| publishDate | 1980 |
| publishDateSearch | 1980 |
| publishDateSort | 1980 |
| publisher | ACM |
| record_format | marc |
| spelling | Symposium on Principles of Programming Languages 7 1980 Las Vegas, Nev. Verfasser (DE-588)818700-9 aut Conference record of the seventh annual ACM Symposium on Principles of Programming Languages papers presented at the symposium Las Vegas, Nevada January 28 - 30, 1980 New York ACM 1980 VII, 261 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier ADA inriac Langages de programmation SUMMER inriac langage programmation inriac sémantique langage inriac Programming languages (Electronic computers) Congresses Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Programmiersprache (DE-588)4047409-4 s DE-604 HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008363554&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Conference record of the seventh annual ACM Symposium on Principles of Programming Languages papers presented at the symposium Las Vegas, Nevada January 28 - 30, 1980 ADA inriac Langages de programmation SUMMER inriac langage programmation inriac sémantique langage inriac Programming languages (Electronic computers) Congresses Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4047409-4 (DE-588)1071861417 |
| title | Conference record of the seventh annual ACM Symposium on Principles of Programming Languages papers presented at the symposium Las Vegas, Nevada January 28 - 30, 1980 |
| title_auth | Conference record of the seventh annual ACM Symposium on Principles of Programming Languages papers presented at the symposium Las Vegas, Nevada January 28 - 30, 1980 |
| title_exact_search | Conference record of the seventh annual ACM Symposium on Principles of Programming Languages papers presented at the symposium Las Vegas, Nevada January 28 - 30, 1980 |
| title_full | Conference record of the seventh annual ACM Symposium on Principles of Programming Languages papers presented at the symposium Las Vegas, Nevada January 28 - 30, 1980 |
| title_fullStr | Conference record of the seventh annual ACM Symposium on Principles of Programming Languages papers presented at the symposium Las Vegas, Nevada January 28 - 30, 1980 |
| title_full_unstemmed | Conference record of the seventh annual ACM Symposium on Principles of Programming Languages papers presented at the symposium Las Vegas, Nevada January 28 - 30, 1980 |
| title_short | Conference record of the seventh annual ACM Symposium on Principles of Programming Languages |
| title_sort | conference record of the seventh annual acm symposium on principles of programming languages papers presented at the symposium las vegas nevada january 28 30 1980 |
| title_sub | papers presented at the symposium Las Vegas, Nevada January 28 - 30, 1980 |
| topic | ADA inriac Langages de programmation SUMMER inriac langage programmation inriac sémantique langage inriac Programming languages (Electronic computers) Congresses Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | ADA Langages de programmation SUMMER langage programmation sémantique langage Programming languages (Electronic computers) Congresses Programmiersprache Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008363554&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT symposiumonprinciplesofprogramminglanguageslasvegasnev conferencerecordoftheseventhannualacmsymposiumonprinciplesofprogramminglanguagespaperspresentedatthesymposiumlasvegasnevadajanuary28301980 |