Conference record of POPL '98: the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; papers presented at the Symposium San Diego, California, 19 - 21 January 1998
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
New York
ACM Press
1998
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VIII, 407 S. graph. Darst. |
| ISBN: | 0897919793 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011856720 | ||
| 003 | DE-604 | ||
| 005 | 20160322 | ||
| 007 | t| | ||
| 008 | 980327s1998 xx d||| |||| 10||| eng d | ||
| 020 | |a 0897919793 |9 0-89791-979-3 | ||
| 035 | |a (OCoLC)634905912 | ||
| 035 | |a (DE-599)BVBBV011856720 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 |a DE-83 |a DE-706 |a DE-188 | ||
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 084 | |a DAT 555f |2 stub | ||
| 084 | |a DAT 350f |2 stub | ||
| 111 | 2 | |a POPL |n 25. |d 1998 |c San Diego, Calif. |j Verfasser |0 (DE-588)5283950-3 |4 aut | |
| 245 | 1 | 0 | |a Conference record of POPL '98 |b the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; papers presented at the Symposium San Diego, California, 19 - 21 January 1998 |
| 246 | 1 | 3 | |a POPL '98 |
| 264 | 1 | |a New York |b ACM Press |c 1998 | |
| 300 | |a VIII, 407 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 1998 |z San Diego Calif. |2 gnd-content | |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | |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=008008974&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008008974 | |
Record in the Search Index
| _version_ | 1820882394673053696 |
|---|---|
| adam_text |
Contents
and Schedule
Monday, January
19,1998
Invited Talk.
9:00-10:00
Chaired by
Luca Cantelli
(Digital Equipment Corporation)
Where Theory and Practice Meet: POPL Past and Future
John Reynolds (Carnegie Mellon University)
Session
1. 10:30-12:30
Chaired by Neil Jones (University of Copenhagen)
Higher-Order UnCurrying
.1
John
Hannán
and Patrick Hicks (The Pennsylvania State University)
Alias Analysis of Executable Code
.12
Samya Debray, Robert Muth and Matthew Weippert (University of Arizona)
Escape Analysis: Correctness Proof, Implementation and Experimental Results
.25
Bruno Blanchet (ENS and INRIA, Rocquencourt)
Data Flow Analysis is Model Checking of Abstract Interpretations
.38
David A. Schmidt (Kansas State University)
Session
2. 14:00-16:00
Chaired by Atsushi Ohori (Kyoto University)
Bridging the Gulf: a Common Intermediate Language for ML and Haskell
.49
Simon Peyton Jones (University of Glasgow and Oregon Graduate Institute), John Launchbury (Oregon Graduate
Institute), Mark Shields (University of Glasgow and Oregon Graduate Institute) and Andrew Tolmach (Portland
State University)
Correctness of Monadic State: An Imperative Call-by-Need Calculus
.62
Zena
M.
Ariola and Amr Sabry (University of Oregon, Eugene)
A Functional Representation of Data Structures with a Hole
.75
Yasuhiko Minamide (Kyoto University)
From System
F
to Typed Assembly Language
.85
Greg Morrisett, David Walker, Karl Crary and Neal Glew (Cornell University)
Session
3. 16:30-18:30
Chaired by Jeanne
Ferrante
(University of California, San Diego)
Maximal Static Expansion
.98
Denis Barthou, Albert Cohen and
Jean-François Couard (Université de
Versailles)
Array SSA Form and its Use in Parallelization
.107
Kathleen Knobe (Digital, Cambridge Research Laboratory) and Vivek
Sarkar (MIT)
Putting Pointer Analysis to Work
.121
Rakesh Ghiya and Laurie J. Hendren (McGill University)
Edge Profiling versus Path Profiling: The Showdown
.134
Thomas Ball (Bell Laboratories, Lucent Technologies), Peter Mataga (Bell Laboratories. Lucent Technologies) and
Mooly Sagiv (Tel-Aviv University)
Tuesday, January
20,1998
Invited Talk.
9:00-10:00
Chaired by Kathy Yelick (University of California, Berkeley)
Global Trends in Flow AnalysL·
Mark
Wegman
(IBM)
Session
4. 10:30-12:30
Chaired by Martin
Odersky
(University of South Australia)
A Type System for Java
Bytecode
Subroutines
.149
Raymie
Stata
and
Martin Abadi
(Digital, Systems Research Center)
Javaught is Type-Safe
—
Definitely
.161
Tobias Nipkow and David
von Oheimb (Technische Universität München)
Classes and Mixins
.171
Matthew Flatt, Shriram Krishnamurthi and Matthias
Felleisen (Rice
University)
Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs
.184
Christian Collberg, Clark Thomborson and Douglas Low (The University of Auckland)
Session
5. 14:00-16:00
Chaired by
Nevin
Heintze (Bell Laboratories, Lucent Technologies)
From Polyvariant Flow Information to Intersection and Union Types
.197
Jens Palsberg and Christina Pavlopoulou (Purdue University)
Inference of Polymorphic and Conditional Strictness Properties
.209
Thomas P. Jensen (IRISA/CNRS, Campus
de Beaulieu)
Fast Interprocedural Class Analysis
.222
Greg DeFouw, David Grove and Craig Chambers (University of Washington)
Path-Sensitive Value-Flow Analysis
.237
Rastislav Bodík
(University of Pittsburgh) and Sadun Anik (Hewlett-Packard Laboratories)
Session
6. 16:30-18:30
Chaired by
Xavier
Leroy
(INRIA, Rocquencourt)
Local Type Inference
.252
Benjamin C. Pierce (Indiana University) and David
N.
Turner
(Аи
Teallach Limited)
Static Typing for Dynamic Messages
.266
Susumu Nishimura (Kyoto University)
Second-order Unification and Type Inference for Church-style Polymorphism
.279
Aleksy
Schubert (Warsaw University)
Dynamic Typing as Staged Type Inference
.289
Mark Shields (University of Glasgow), Tim Sheard (Oregon Graduate Institute) and Simon Peyton Jones
(University of Glasgow)
Invited Talk.
20:30-21:30
Chaired by David B. MacQueen (Bell Laboratories, Lucent Technologies)
From Principles to Programming Languages
Gerard Berry
(École des
Mines and INRIA, Sophia-Antipolis)
VI
ted Talk.
9:00-10:00
Chaired by Scott Smith (The Johns Hopkins University)
*roofs, Types, and Safe Mobile Code
Peter Lee (Carnegie Mellon University)
ІОП
7. 10:30-12:30
Chaired by
Davide
Sangiorgi (INRIA, Sophia-Antipolis)
'arallel Beta Reduction is not Elementary Recursive
.303
Andrea Asperti
(Università di
Bologna) and Harry G. Mairson
(Brandeis
University)
fyrallelization in Calculational Forms
.316
Zhenjiang Hu (University of Tokyo), Masato Takeichi (University of Tokyo) and Wei-Ngan Chin (National
University of Singapore)
Hngle and Loving it: Must-Alias Analysis for Higher-Order Languages
.329
Suresh Jagannathan (NEC Research Institute, Princeton), Peter Thiemann
(Universität Tübingen),
Stephen Weeks
(NEC Research Institute, Princeton) and Andrew Wright (NEC Research Institute, Princeton)
iarrier Inference
.342
Alexander Aiken and David Gay (University of California, Berkeley)
ІОП
8. 14:00-16:00
Chaired by Andrew D. Gordon (University of Cambridge)
¡ecure Information Flow in a Multi-Threaded Imperative Language
.355
Geoffrey Smith (Florida International University) and Dennis
Volpano
(Naval Postgraduate School)
rhe SLam Calculus: Programming with Secrecy and Integrity
.365
Nevin
Heintze and Jon
G. Riečke
(Bell Laboratories, Lucent Technologies)
I Typed Language for Distributed Mobile Processes
.378
James Riely and Matthew Hennessy (University of Sussex)
Security Properties of Typed Applets
.391
Xavier
Leroy
and
François
Rouaix (INRIA,
Rocquencourť)
vu |
| any_adam_object | 1 |
| author_corporate | POPL San Diego, Calif |
| author_corporate_role | aut |
| author_facet | POPL San Diego, Calif |
| author_sort | POPL San Diego, Calif |
| building | Verbundindex |
| bvnumber | BV011856720 |
| classification_rvk | ST 240 |
| classification_tum | DAT 555f DAT 350f |
| ctrlnum | (OCoLC)634905912 (DE-599)BVBBV011856720 |
| 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">BV011856720</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160322</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">980327s1998 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0897919793</subfield><subfield code="9">0-89791-979-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634905912</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011856720</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-739</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 240</subfield><subfield code="0">(DE-625)143625:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 555f</subfield><subfield code="2">stub</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">25.</subfield><subfield code="d">1998</subfield><subfield code="c">San Diego, Calif.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5283950-3</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Conference record of POPL '98</subfield><subfield code="b">the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; papers presented at the Symposium San Diego, California, 19 - 21 January 1998</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">POPL '98</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">ACM Press</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 407 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">1998</subfield><subfield code="z">San Diego Calif.</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">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=008008974&sequence=000002&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-008008974</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1998 San Diego Calif. gnd-content |
| genre_facet | Konferenzschrift 1998 San Diego Calif. |
| id | DE-604.BV011856720 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:06:12Z |
| institution | BVB |
| institution_GND | (DE-588)5283950-3 |
| isbn | 0897919793 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008008974 |
| oclc_num | 634905912 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-83 DE-706 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-83 DE-706 DE-188 |
| physical | VIII, 407 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | ACM Press |
| record_format | marc |
| spelling | POPL 25. 1998 San Diego, Calif. Verfasser (DE-588)5283950-3 aut Conference record of POPL '98 the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; papers presented at the Symposium San Diego, California, 19 - 21 January 1998 POPL '98 New York ACM Press 1998 VIII, 407 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1998 San Diego Calif. gnd-content Programmiersprache (DE-588)4047409-4 s DE-604 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008008974&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Conference record of POPL '98 the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; papers presented at the Symposium San Diego, California, 19 - 21 January 1998 Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4047409-4 (DE-588)1071861417 |
| title | Conference record of POPL '98 the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; papers presented at the Symposium San Diego, California, 19 - 21 January 1998 |
| title_alt | POPL '98 |
| title_auth | Conference record of POPL '98 the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; papers presented at the Symposium San Diego, California, 19 - 21 January 1998 |
| title_exact_search | Conference record of POPL '98 the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; papers presented at the Symposium San Diego, California, 19 - 21 January 1998 |
| title_full | Conference record of POPL '98 the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; papers presented at the Symposium San Diego, California, 19 - 21 January 1998 |
| title_fullStr | Conference record of POPL '98 the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; papers presented at the Symposium San Diego, California, 19 - 21 January 1998 |
| title_full_unstemmed | Conference record of POPL '98 the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; papers presented at the Symposium San Diego, California, 19 - 21 January 1998 |
| title_short | Conference record of POPL '98 |
| title_sort | conference record of popl 98 the 25th acm sigplan sigact symposium on principles of programming languages papers presented at the symposium san diego california 19 21 january 1998 |
| title_sub | the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; papers presented at the Symposium San Diego, California, 19 - 21 January 1998 |
| topic | Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Programmiersprache Konferenzschrift 1998 San Diego Calif. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008008974&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT poplsandiegocalif conferencerecordofpopl98the25thacmsigplansigactsymposiumonprinciplesofprogramminglanguagespaperspresentedatthesymposiumsandiegocalifornia1921january1998 AT poplsandiegocalif popl98 |