Conference record of POPL '94 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; Portland, Oregon, January 17 - 21, 1994
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
ACM
1994
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009699384 | ||
| 003 | DE-604 | ||
| 005 | 20160322 | ||
| 007 | t | ||
| 008 | 940714s1994 d|||j |||| 10||| eng d | ||
| 020 | |a 0897916360 |9 0-89791-636-0 | ||
| 035 | |a (OCoLC)632550239 | ||
| 035 | |a (DE-599)BVBBV009699384 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-20 |a DE-91G |a DE-384 |a DE-739 |a DE-29T |a DE-83 |a DE-706 |a DE-11 |a DE-188 | ||
| 084 | |a SS 1994 |0 (DE-625)143431: |2 rvk | ||
| 084 | |a DAT 350f |2 stub | ||
| 111 | 2 | |a POPL |n 21. |d 1994 |c Portland, Or. |j Verfasser |0 (DE-588)5104755-X |4 aut | |
| 245 | 1 | 0 | |a Conference record of POPL '94 |b 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; Portland, Oregon, January 17 - 21, 1994 |
| 264 | 1 | |a New York, NY |b ACM |c 1994 | |
| 300 | |a VIII, 492 S. |b graph. Darst. | ||
| 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 |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1994 |z Portland Or. |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 | |
| 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=006415868&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006415868 | ||
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102/DAT 350f 2001 B 504-1994 |
|---|---|
| DE-BY-TUM_katkey | 629366 |
| DE-BY-TUM_local_keycode | ko |
| DE-BY-TUM_media_number | 040020319742 |
| _version_ | 1816711695833235456 |
| adam_text | Contents
Tutorials:
Sunday January
10
Concepts and Techniques in Object-Oriented Programming
William Harrison (IBM TJ Watson Research Center)
Developments in Object-Oriented Type Systems
Michael I. Schwartzbach (Aarhus University)
Monday January
17
Tutorial:
8:00-9:00
a.m. Chaired by Hans-J. Boehm (Xerox PARC)
Implications of Computer Architecture Trends on Program Optimization
Monica Lam (Stanford University)
Session
1: 9:00-10:30
a.m. Chaired by ViVEK
Sarkar (IBM
Santa Teresa Lab.)
Memory Subsystem Performance of Programs Using Copying Garbage Collection
................ 1
Amer
Diwan,
David Tarditi,
Eliot Moss (Carnegie Mellon University)
Correctness of Trap-Based Breakpoint Implementations
........................................ 15
Norman Ramsey, (Bell Communications Research)
Dominators, Super Blocks, and Program Coverage
............................................. 25
Hiralal Agrawal (Bell Communications Research)
Session
2: 11:00
a.m.-12:30 p.m. Chaired by Peter Lee (Carnegie Mellon University)
The Typed Polymorphic Label-Selective
Х
-Calculus ............................................
35
Jaques Garrigue
(The University of Tokyo) and Hassan
Аїт Касі
(DEC Paris Research
Laboratory)
A Functional Theory of Local Names
.......................................................... 48
Martin
Odersky
(Universität Karlsruhe)
From
Χσ
to
Xv
a Journey Through Calculi of Explicit Substitutions
............................ 60
PIERRE Lescanne (Centre
de Recherche en Informatique de
Nancy and INRIA-Lorraine)
Session 3: 2:00-3:30
p.m. Chaired by William Pugh (University of Maryland)
Portable, Unobtrusive Garbage Collection for Multiprocessor Systems
.......................... 70
Damien Doligez
(École
Normale
Supérieure)
and Georges Gonthier
(ΙΝΙΔΙΑ
Rocquencourt)
Higher-Order Concurrent Programs with Finite Communication Topology
...................... 84
Hanne
Rus Nielson
and Flemming Nielson (Aarhus University)
Proving Concurrent Constraint Programs Correct
............................................. 98
F. S. DE
Boer (Free University, Amsterdam), M.
Gabrielli,
Elena Marchiori (CWI, Am¬
sterdam) and C. Palamidessi (DISI,
Genova)
Session
4: 4:00-5:30
p.m. Chaired by John Launchbury (Glasgow University)
Manifest Types, Modules, and Separate Compilation
.......................................... 109
Xavier
Leroy
(Stanford University)
A Type-Theoretic Approach to Higher-Order Modules with Sharing
........................... 123
Robert Harper and Mark Lillibridge (Carnegie Mellon University)
A Type System for Prototyping Languages
................................................... 138
Dinesh Katiyar, David Luckham and John Mitchell (Stanford University)
Tuesday January
12
Tutorial:
8:00-9:00
a.m. Chaired by Hans-J. Boehm (Xerox PARC)
Synchronous Languages for Reactive Systems: Styles, Semantics, Implementations
Gerard Berry
(École des
Mines, Sophia-
Antipolis)
Session
5: 9:00-10:30
a.m. Chaired by
Luca
Cardelli (DEC Systems Research Center)
Decidable Bounded Quantification
............................................................ 151
Giuseppe Castagna
(LIENS(CNRS)-DMI) and Benjamin C. Pierce (University of Edin¬
burgh)
Soft Typing with Conditional Types
.......................................................... 163
Alexander Aiken, Edward L. Wimmers (IBM
Almadén
Research Center) AND
T. K.
Lak-
SHMAN (University of Illinois at Urbana-Champaign)
Automated Synthesis of Interface Adapters for Reusable Classes
.............................. 174
Satish
ThattÉ (Clarkson
University)
vi
Session 6: 11:00-12:30
a.m. Chaired by Hans-J. Boehm (Xerox PARC)
Implementation of the Typed Call-by- Value X-Calculus using a Stack of Regions
............... 188
Mads Tofte (University of Copenhagen) and Jean-Pierre Talpin (European Computer-
Industry Research Center)
Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis
........ 202
Chris
Hankin
(Imperial College) and
Daniel Le Métayer
(INRIA/IRISA,
Rennes)
Formally Optimal Boxing
.................................................................... 213
Fritz Henglein and
Jesper Jorgensen
(University of Copenhagen)
Session
7: 2:00-4:00
p.m. Chaired by Dale Miller (University of Pennsylvania)
Combinations of Abstract Domains for Logic Programming
................................... 227
AGOSTINO Cortesi
(Brown University),
Baudoin Le
Charlier (University of Namur) and
Pascal Van Hentenryck (Brown University)
Analyzing Logic Programs with Dynamic Scheduling
.......................................... 240
Kim Marriott (Monash University),
Maria José Garcia
de la Banda
and Manuel
Hermenegildo
(UPM, Madrid)
Higher-Order Equational Logic Programming
................................................. 254
Zhenyu Qian
(Universität
Bremen)
A Needed Narrowing Strategy
................................................................ 268
SERGIO Antoy (Portland State University), R.ACHID Echahed (IMAG-LGI,
CNRS,
Grenoble)
and Michael Hanus
(MPI
Informatik, Saarbrücken)
Session
8: 2:00-4:00
p.m. Chaired by Kenny Zadeck (IBM T.J. Watson Research)
Detecting Pipeline Structural Hazards Quickly
................................................ 280
Todd A. Proebsting (University of Arizona) and Christopher W.
Fraser
(AT&T Bell
Laboratories)
An Incremental Algorithm for Maintaining the
Dominator
Tree of a Reducible Flowgraph
..... 287
G. Ramalingam (IBM T.J. Watson Research) and Thomas Reps (University of Wisconson-
Madison)
Value Dependence Graphs: Representation without Taxation
.................................. 297
Daniel Weise, Roger F. Crew, Michael Ernst
and
Bjarne
Steensgaard
(Microsoft
Research)
Lazy Array Data-Flow Dependence Analysis
.................................................. 311
Vadim
Maslov
(University of Maryland)
vii
Session 9: 4:30-6:00
p.m. Chaired by Gerard Berry
(École des
Mines, Sophia-
Antipolis)
An Operational Framework for Value-Passing Processes
...................................... 326
Rance
Cleaveland and Daniel Yankelevich (North Carolina State University)
CHOCOLATE: Calculi of Higher Order Communication and LAmbda TErms
................ 339
Bard Bloom (Cornell University)
Combinatory Representation of Mobile Processes
............................................. 348
Kohei Honda and NobukO Yoshida (Keio University)
Session
9: 4:30-6:00
p.m. Chaired by Rodney Farrow (Declarative Systems)
Multi-Pass Execution of Functional Logic Programs
.......................................... 361
Jukka Paakki (University of
Jyväskylä)
Composing Tree Attributions
................................................................. 375
JOHN Boyland and Susan Graham (University of California, Berkeley)
A Staging Calculus and its Application to the Verification of Translators
..................... 389
Robert
Muller
(Apple Computer)
Wednesday January
13
Session
10: 8:30-10:00
a.m. Chaired by Bob Ballance (Object Science Corp. and University of
New Mexico)
Reducing Indirect Function call Overhead in
C++
Programs
..................................397
Brad
Calder
and Dirk
Grunwald
(University of Colorado at Boulder)
Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically
Typed Languages
........................................................................ 409
Koen
de
Bosschere
(Universiteit
Gent), Saumya K. Debray, David Gudeman and Sam-
path
Kannan
(The University of Arizona)
The Revival Transformation
................................................................. 421
Lawrence Feigen, David Klappholz,
Robert Casazza and Xing Xue (Stevens Institute
of Technology)
Session
12: 10:30
a.m.-12:30 p.m. Chaired by Carolyn Talcott (Stanford University)
Selective and Lightweight Closure Conversion
................................................ 435
Mitchell Wand and Paul Steckler (Northeastern University)
Representing Monads
........................................................................ 446
Andrzej Filinski
(Carnegie Mellon University)
A
Genene
Account of Continuation-Passing Styles
........................................... 458
John Hatcliff (Kansas State University) and Olivier Danvy (Aarhus University)
Building Interpreters by Composing Monads
................................................. 472
Guy L. Steele Jr. (Thinking Machines Corporation)
viii
|
| any_adam_object | 1 |
| author_corporate | POPL Portland, Or |
| author_corporate_role | aut |
| author_facet | POPL Portland, Or |
| author_sort | POPL Portland, Or |
| building | Verbundindex |
| bvnumber | BV009699384 |
| classification_rvk | SS 1994 |
| classification_tum | DAT 350f |
| ctrlnum | (OCoLC)632550239 (DE-599)BVBBV009699384 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01590nam a2200349 c 4500</leader><controlfield tag="001">BV009699384</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160322 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940714s1994 d|||j |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0897916360</subfield><subfield code="9">0-89791-636-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)632550239</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009699384</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-20</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1994</subfield><subfield code="0">(DE-625)143431:</subfield><subfield code="2">rvk</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">POPL</subfield><subfield code="n">21.</subfield><subfield code="d">1994</subfield><subfield code="c">Portland, Or.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5104755-X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Conference record of POPL '94</subfield><subfield code="b">21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; Portland, Oregon, January 17 - 21, 1994</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">ACM</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 492 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="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">1994</subfield><subfield code="z">Portland Or.</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="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=006415868&sequence=000002&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-006415868</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1994 Portland Or. gnd-content |
| genre_facet | Konferenzschrift 1994 Portland Or. |
| id | DE-604.BV009699384 |
| illustrated | Illustrated |
| indexdate | 2024-11-25T17:14:19Z |
| institution | BVB |
| institution_GND | (DE-588)5104755-X (DE-588)75333-6 |
| isbn | 0897916360 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006415868 |
| oclc_num | 632550239 |
| open_access_boolean | |
| owner | DE-20 DE-91G DE-BY-TUM DE-384 DE-739 DE-29T DE-83 DE-706 DE-11 DE-188 |
| owner_facet | DE-20 DE-91G DE-BY-TUM DE-384 DE-739 DE-29T DE-83 DE-706 DE-11 DE-188 |
| physical | VIII, 492 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | ACM |
| record_format | marc |
| spellingShingle | Conference record of POPL '94 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; Portland, Oregon, January 17 - 21, 1994 Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4047409-4 (DE-588)1071861417 |
| title | Conference record of POPL '94 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; Portland, Oregon, January 17 - 21, 1994 |
| title_auth | Conference record of POPL '94 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; Portland, Oregon, January 17 - 21, 1994 |
| title_exact_search | Conference record of POPL '94 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; Portland, Oregon, January 17 - 21, 1994 |
| title_full | Conference record of POPL '94 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; Portland, Oregon, January 17 - 21, 1994 |
| title_fullStr | Conference record of POPL '94 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; Portland, Oregon, January 17 - 21, 1994 |
| title_full_unstemmed | Conference record of POPL '94 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; Portland, Oregon, January 17 - 21, 1994 |
| title_short | Conference record of POPL '94 |
| title_sort | conference record of popl 94 21st acm sigplan sigact symposium on principles of programming languages portland oregon january 17 21 1994 |
| title_sub | 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; Portland, Oregon, January 17 - 21, 1994 |
| topic | Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Programmiersprache Konferenzschrift 1994 Portland Or. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006415868&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT poplportlandor conferencerecordofpopl9421stacmsigplansigactsymposiumonprinciplesofprogramminglanguagesportlandoregonjanuary17211994 AT associationforcomputingmachineryspecialinterestgrouponprogramminglanguages conferencerecordofpopl9421stacmsigplansigactsymposiumonprinciplesofprogramminglanguagesportlandoregonjanuary17211994 |