Conference record of the twentieth annual ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages: papers presented at the symposium, Charleston, South Carolina, January 10 - 13, 1993
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | Undetermined |
| Published: |
New York
ACM Press
1993
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | VIII, 510 S. graph. Darst. |
| ISBN: | 0897915607 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV007222548 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 930429s1993 xx d||| |||| 10||| und d | ||
| 020 | |a 0897915607 |9 0-89791-560-7 | ||
| 035 | |a (OCoLC)634556347 | ||
| 035 | |a (DE-599)BVBBV007222548 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | |a und | ||
| 049 | |a DE-91G |a DE-83 |a DE-188 | ||
| 084 | |a DAT 350f |2 stub | ||
| 111 | 2 | |a Symposium on Principles of Programming Languages |n 20 |d 1993 |c Charleston, SC |j Verfasser |0 (DE-588)5090876-5 |4 aut | |
| 245 | 1 | 0 | |a Conference record of the twentieth annual ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages |b papers presented at the symposium, Charleston, South Carolina, January 10 - 13, 1993 |
| 264 | 1 | |a New York |b ACM Press |c 1993 | |
| 300 | |a VIII, 510 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 |2 gnd-content | |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004627689&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-004627689 | |
Record in the Search Index
| _version_ | 1820868054379134976 |
|---|---|
| adam_text |
Contents
Monday January
11
Tutorial:
8:00-9:00
a.m. Chaired by Susan L. Graham (University of California at Berkeley)
Computer Architectures and Programming Models for Scalable Parallel Computing
. 1
Marc Snir (IBM T.J. Watson Research Center)
Session
1: 9:00-10:30
a.m. Chaired by JAMES Larus (University of Wisconsin)
Array-Data Flow Analysis and its Use in Array Privatization
. 2
Dror E. Maydan,
Saman
P. Amarasinghe and Monica S. Lam (Stanford University)
Automatic Array Alignment in Data-Parallel Programs
. 16
Siddhartha Chatterjee, (NASA Ames Research Center), John R. Gilbert (Xerox Palo
Alto Research Center), Robert
Schreiber (NASA
Ames Research Center), and Shang-Hua
Teng (MIT)
A Novel Framework of Register Allocation for Software Pipelining
. 29
Qi
Ning
and Guang R.
Gao
(McGill University)
Session
2: 11:00
a.m.-12:30 p.m. Chaired by
Gilles Kahn
(INRIA Sophia
Antipolis)
Call by Name, Assignment, and the Lambda Calculus
. 43
Martin
Odersky,
Dan Rabin and Paul
Ни
dak (Yale University)
On the Orthogonality of Assignments and Procedures in Algol
. 57
•
Stephen Weeks (Carnegie Mellon University) and
Matthias Felleisen (Rice
University)
Imperative Functional Programming
. 71
Simon L. Peyton Jones and Philip Wadler (University of Glasgow)
Session
3: 2:00-3:30
p.m. Chaired by Gary
Lindstrom
(University of Utah)
Communicating Reactive Processes
. 85
G. Berry
(École des
Mines
de
Paris),
S. Ramesh (HT
Bombay) and R.K. Shyamasundar
(Tata Institute of Fundamental Research)
Semantics for Communication Primitives in a Polymorphic Language
. 99
Atsushi Ohori
(Oki
Electric Industry) and Kazuhiko
Kato
(University of Tokyo)
A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML
_ 113
Damien Doligez and
Xavier Leroy (École Normale Supérieure and INRIA Roquencourt)
v
Session 4: 4:00-5:30
p.m. Chaired by Guy L. Steele (Thinking Machines Corp.)
Separating Stages in the Continuation-Passing Style Transformation
. 124
Julia L. Lawall (Indiana University) and Olivier Dan
v y
(Kansas State University)
Specifying the Correctness of Binding-Time Analysis
. 137
Mitchell Wand (Northeastern University)
A Natural Semantics for Lazy Evaluation
. 144
John Launchbury (University of Glasgow)
Tuesday January
12
Tutorial:
8:00-9:00
a.m. Chaired by Susan L. Graham (University of California at Berkeley)
An Introduction to Logical Relations and Parametric Polymorphism
. 155
John
С
Reynolds (Carnegie Mellon University)
Session
5: 9:00-10:30
a.m. Chaired by David MacQueen (AT&T Bell Labs)
Formal Parametric Polymorphism
. 157
Martín
Abadi,
Luca
Cardelli (DEC Systems Research Center) and Pierre-Louis
Curien
(CNRS École Normale Supérieure)
Relational Parametricity and Local Variables
. 171
P.W. O'Hearn (Syracuse University) and R.D. Tennent (University of Edinburgh)
Algebraic Reasoning and Completeness in Typed Languages
. 185
Jon
G. Riečke
(AT&T Bell Labs) and Ramesh Subrahmanyam (Wesleyan University)
Session
β:
11:00-12:30
a.m. Chaired by Charles Consel (Oregon Graduate Institute of Science
and Technology)
Graph Types
. 196
Nils
Klarlund
and Michael I. Schwartzbach (Aarhus University)
Explicit Polymorphism and CPS Conversion
. 206
Robert Harper and Mark Lillibridge (Carnegie Mellon University)
Polymorphism by Name for References and Continuations
.220
Xavier Leroy (École Normale Supérieure and INRIA Roquencourt)
vi
Session 7: 2:00-4:00
p.m. Chaired by Monica Lam (Stanford University)
Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side
Effects
. 232
Jong-Deok Choi, Michael Burke and Paul
Carini
(IBM T.J. Watson Research Center)
Automatic Generation and Management of Interprocedural Program Analyses
. 246
Kwangkeun Yl and
Williams Ludwell
Harrison III (University of Illinois at Urbana-
Champaign)
Static Single Assignment for Explicitly Parallel Programs
. 260
Harini Srinivasan
,
James Hook and Michael Wolfe (Oregon Graduate Institute of Sci¬
ence and Technology)
Constructing Call Multigraphs Using Dependence Graphs
. 273
Arun Lakhotia (University of Southwestern Louisiana)
Session
8: 2:00-4:00
p.m. Chaired by Martin Abadi (DEC Systems Research Center)
Safe Type Checking in a Statically-Typed Object-Oriented Programming Language
.285
Kim B. Bruce (Williams College)
Object-Oriented Programming without Recursive Types
. 299
Benjamin C. Pierce and David
N.
Turner (University of Edinburgh)
A Constructive Logic of Multiple Subtyping
. 313
Harry G. Mairson (DEC Cambridge Research Center)
Stratified Functional Programs and Computational Complexity
. 325
Daniel Leivant (Indiana University)
Session
9: 4:30-6:00
p.m. Chaired by Frank Pfenning (Carnegie Mellon University)
The
3
R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering
. 334
Kimbal G. Marriott (IBM T.J. Watson Research Center) and Peter J. Stuckey (Univer¬
sity of Melbourne)
Layer Sharing: An Improved Structure-Sharing Framework
. 345
E. Villemonte
DE
la Clergerie (INRIA Roquencourt)
Differential Logic Programming
. 359
A. Bossi,
M.
Bugliesi
(Università di Padova),
M.
Gabbrielli,
G.
Levi and M.C. Meo
(Università di Pisa)
vii
Wednesday January
13
Session
10: 9-10:30
a.m. Chaired by Ron Cytron (IBM Watson Research Lab)
Evicted Variables and the Interaction of Global Register Allocation and Symbolic Debugging
. 371
Ali-Reza Adl-Tabatabai and Thomas Gross (Carnegie Mellon University)
Incremental Program Testing Using Program Dependence Graphs
. 384
Samuel Bates and Susan Horwitz (University of Wisconsin-Madison)
Complexity of Bi-Directional Data Flow Analysis
. 397
Dhananjay M. Dhamdhere and Uday P. Khedker
(ПТ
Bombay)
Session
11: 9-10:30
a.m. Chaired by
Type Checking Type Classes
. 409
Tobias Nipkow and Christian Prehofer
(
Technische
Universität, München)
Efficient Recursive Subtyping
. 419
Dexter
Kozen
(Cornell University), Jens Palsberg and Michael I. Schwartzbach (Aarhus
University)
A Sort Inference Algorithm for the Polyadic Pi-Calculus
. 429
Simon J. Gay (Imperial College of Science, Technology and Medicine)
Session
12: 11:00
a.m.-l:00 p.m. Chaired by Hans-J. Boehm (Xerox PARC)
Smartest
Recompilation
.439
Zhong Shao and Andrew W.
Appel
(Princeton University)
Compositional Analysis of Modular Logic Programs
. 451
Michael Codish (KU
Leuven,
Belgium), Saumya K. Debray (University of Arizona) and
Roberto Giacobazzi
(Università di Pisa)
Extending Record Typing to Type Parametric Modules with Sharing
. 465
Maria Virginia
Aponte
(Conservatoire National
des
Arts
et Métiers
and INRIA)
Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes
. 479
Shinn-Der Lee and Daniel P. Friedman (Indiana University)
Tutorials: Sunday January
10
Tutorial Notes on Partial Evaluation
. 493
Charles Consel (Oregon Graduate Institute of Science and Technology), Olivier Danvy
(Kansas State University)
A Categorized Bibliography on Incremental Computation
. 502
G. Ramalingam and Thomas Reps (University of Wisconsin)
vin |
| any_adam_object | 1 |
| author_corporate | Symposium on Principles of Programming Languages Charleston, SC |
| author_corporate_role | aut |
| author_facet | Symposium on Principles of Programming Languages Charleston, SC |
| author_sort | Symposium on Principles of Programming Languages Charleston, SC |
| building | Verbundindex |
| bvnumber | BV007222548 |
| classification_rvk | SS 1993 |
| classification_tum | DAT 350f |
| ctrlnum | (OCoLC)634556347 (DE-599)BVBBV007222548 |
| 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">BV007222548</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930429s1993 xx d||| |||| 10||| und d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0897915607</subfield><subfield code="9">0-89791-560-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634556347</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV007222548</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=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 350f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Symposium on Principles of Programming Languages</subfield><subfield code="n">20</subfield><subfield code="d">1993</subfield><subfield code="c">Charleston, SC</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5090876-5</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Conference record of the twentieth annual ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages</subfield><subfield code="b">papers presented at the symposium, Charleston, South Carolina, January 10 - 13, 1993</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">ACM Press</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 510 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="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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=004627689&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004627689</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV007222548 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:18:15Z |
| institution | BVB |
| institution_GND | (DE-588)5090876-5 |
| isbn | 0897915607 |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004627689 |
| oclc_num | 634556347 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-83 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-83 DE-188 |
| physical | VIII, 510 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | ACM Press |
| record_format | marc |
| spelling | Symposium on Principles of Programming Languages 20 1993 Charleston, SC Verfasser (DE-588)5090876-5 aut Conference record of the twentieth annual ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages papers presented at the symposium, Charleston, South Carolina, January 10 - 13, 1993 New York ACM Press 1993 VIII, 510 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturangaben Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Programmiersprache (DE-588)4047409-4 s 1\p DE-604 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004627689&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Conference record of the twentieth annual ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages papers presented at the symposium, Charleston, South Carolina, January 10 - 13, 1993 Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4047409-4 (DE-588)1071861417 |
| title | Conference record of the twentieth annual ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages papers presented at the symposium, Charleston, South Carolina, January 10 - 13, 1993 |
| title_auth | Conference record of the twentieth annual ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages papers presented at the symposium, Charleston, South Carolina, January 10 - 13, 1993 |
| title_exact_search | Conference record of the twentieth annual ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages papers presented at the symposium, Charleston, South Carolina, January 10 - 13, 1993 |
| title_full | Conference record of the twentieth annual ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages papers presented at the symposium, Charleston, South Carolina, January 10 - 13, 1993 |
| title_fullStr | Conference record of the twentieth annual ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages papers presented at the symposium, Charleston, South Carolina, January 10 - 13, 1993 |
| title_full_unstemmed | Conference record of the twentieth annual ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages papers presented at the symposium, Charleston, South Carolina, January 10 - 13, 1993 |
| title_short | Conference record of the twentieth annual ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages |
| title_sort | conference record of the twentieth annual acm sigplan sigact symposium on principles of programming languages papers presented at the symposium charleston south carolina january 10 13 1993 |
| title_sub | papers presented at the symposium, Charleston, South Carolina, January 10 - 13, 1993 |
| topic | Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Programmiersprache Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004627689&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT symposiumonprinciplesofprogramminglanguagescharlestonsc conferencerecordofthetwentiethannualacmsigplansigactsymposiumonprinciplesofprogramminglanguagespaperspresentedatthesymposiumcharlestonsouthcarolinajanuary10131993 |