Conference record of POPL '99: the 26th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium San Antonio, Texas, 20 - 22 January 1999
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
Association for Computing Machinery
1999
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VIII, 324 S. Ill. |
| ISBN: | 1581130953 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012306997 | ||
| 003 | DE-604 | ||
| 005 | 20160322 | ||
| 007 | t| | ||
| 008 | 981208s1999 xx a||| |||| 10||| eng d | ||
| 020 | |a 1581130953 |9 1-58113-095-3 | ||
| 035 | |a (OCoLC)633893164 | ||
| 035 | |a (DE-599)BVBBV012306997 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-20 |a DE-91G |a DE-473 |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 26. |d 1999 |c San Antonio, Tex. |j Verfasser |0 (DE-588)5331362-8 |4 aut | |
| 245 | 1 | 0 | |a Conference record of POPL '99 |b the 26th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium San Antonio, Texas, 20 - 22 January 1999 |
| 246 | 1 | 3 | |a POPL '99 |
| 264 | 1 | |a New York, NY |b Association for Computing Machinery |c 1999 | |
| 300 | |a VIII, 324 S. |b Ill. | ||
| 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 1999 |z San Antonio Tex. |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 |e Sonstige |0 (DE-588)1222-1 |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=008342557&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008342557 | |
Datensatz im Suchindex
| _version_ | 1820868381382803456 |
|---|---|
| adam_text |
Contents
and Schedule
Wednesday, January
20,1999
Invited Talk.
9:00 - 10:00
Chaired by Alex Aiken (University of California, Berkeley)
Anno Domini: From Type Theory to Year
2000
Conversion Tool.
.1
Peter Harry Eidorf, Fritz Henglein, Christian Mossin,
Henning Niss,
Morten Heine S0rensen and Mads
Torte
(University of Copenhagen)
Session
1. 10:30 — 12:00
Chaired by Mark Jones (University of Nottingham)
Once Upon a Polymorphic Type
.15
Keith Wansbrough (University of Cambridge) and Simon Peyton Jones (Microsoft Research)
Quasi-Linear Types
.29
Naoki Kobayashi (University of Tokyo)
Improvement in a Lazy Context: An Operational Theory for Call-By-Need
.43
Andrew
Moran
and David Sands (Chalmers)
Session
2. 13:30 — 15:30
Chaired by Martin
Abadi
(Compaq Systems Research Center)
A Compositional Account of the Java™ Virtual Machine
.57
Phillip M. Yelland (Sun Microsystems Laboratories)
A Simple, Comprehensive Type System for Java
Bytecode
Subroutines
.70
Robert O'Callahan (Carnegie Mellon University)
Types for Mobile Ambients
.79
Luca
Cardelli and Andrew D. Gordon (Microsoft Research)
Trust and Partial Typing in Open Systems of Mobile Agents
.93
James Riely (North Carolina State University) and Matthew Hennessy (University of Sussex)
Session
3. 16:00 - 17:30
Chaired by
Hanne Nielson
(University ofAarhus)
Parametric Shape Analysis via 3-Valued Logic
.105
Mooly Sagiv (Tel-Aviv University), Thomas Reps (University of Wisconsin) and
Reinhard Wilhelm
(University of Saarland)
Aggregate Structure Identification and its Application to Program Analysis
.119
G. Ramalingam, John Field and Frank Tip (IBM Research)
Relevant Context Inference
.133
Ramkrishna Chatterjee, Barbara G. Ryder (Rutgers), and William
A. Landi
(Siemens Research)
Thursday, January
21,1999
Invited Talk.
9:00 - 10:00
Chaired by Mads Tofte (University of Copenhagen)
Formal Verification: Experiences and Future Prospects
David Dill (Stanford University)
Session
4. 10:30 — 12:00
Chaired by Benjamin Pierce (University of Pennsylvania)
A Core Calculus of Dependency
.147
Martin Abadi
(Compaq Systems Research Center), Anindya Banerjee (Stevens Institute of Technology),
Nevin
Heintze and Jon
G. Riečke
(Bell Laboratories, Lucent Technologies)
Principality and Decidable Type Inference for Finite-Rank Intersection Types
.161
A. J. Kfoury (Boston University) and
J. B.
Wells (Heriot-Watt University)
Representing Layered Monads
.175
Andrzej Filinski
(University ofAarhus)
Session
5. 13:30 - 15:30
Chaired by Martin Rinard (MIT)
Stochastic Processes as Concurrent Constraint Programs
.189
Vineet Gupta (Caelum Research), Radha Jagadeesan (Loyola University) and
Prakash Panangaden (McGill University)
Extending the Scope of Syntactic Abstraction
.203
Oscar Waddell (University of Kansas) and R. Kent Dybvig (Indiana University)
Dependent Types in Practical Programming
.214
Hongwei
Xi
(Oregon Graduate Institute) and Frank Pfenning (Carnegie Mellon University)
JFlow: Practical Mostly-Static Information Flow Control.
.228
Andrew
С
Myers (MIT)
Session
6. 16:00 — 17:30
Chaired by Todd Proebsting (Microsoft Research)
Optimal Code Selection in DAGs
.242
M. Anton
Erti
(Technical University of Vienna)
Type-Safe Linking and Modular Assembly Language
.250
Neal Glew and Greg Morrisett (Cornell University)
Typed Memory Management in a Calculus of Capabilities
.262
Karl Crary (Carnegie Mellon University), David Walker and Greg Morrisett (Cornell University)
Friday, January
22,1999
Invited Talk.
9:00 - 10:00
Chaired by
Didier Rémy
(INRIA Rocquencourt)
Theories of Programming: Top-down and Bottom-up and Meet-in-the-middle
C.A.R. Hoare {Oxford University)
Session
7. 10:30 - 12:30
Chaired by Laurie Hendren (McGill University)
Type-based analysis of uncaught exceptions
.276
François Pessaux
and
Xavier
Leroy
(INRIA Rocquencourt)
Constraint Systems for Useless Variable Elimination
.291
Mitchell Wand and Igor Siveroni (Northeastern University)
Continuous Grammars
.303
Martin Ruckert
(SUNY
New Paltz)
Software Watermarking: Models and Dynamic Embeddings
.311
Christian Collberg and Clark Thomborson (University of Auckland)
vi |
| any_adam_object | 1 |
| author_corporate | POPL San Antonio, Tex |
| author_corporate_role | aut |
| author_facet | POPL San Antonio, Tex |
| author_sort | POPL San Antonio, Tex |
| building | Verbundindex |
| bvnumber | BV012306997 |
| classification_rvk | ST 240 |
| classification_tum | DAT 555f DAT 350f |
| ctrlnum | (OCoLC)633893164 (DE-599)BVBBV012306997 |
| 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">BV012306997</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160322</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">981208s1999 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1581130953</subfield><subfield code="9">1-58113-095-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633893164</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012306997</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-473</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">26.</subfield><subfield code="d">1999</subfield><subfield code="c">San Antonio, Tex.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5331362-8</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Conference record of POPL '99</subfield><subfield code="b">the 26th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium San Antonio, Texas, 20 - 22 January 1999</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">POPL '99</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Association for Computing Machinery</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 324 S.</subfield><subfield code="b">Ill.</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">1999</subfield><subfield code="z">San Antonio Tex.</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="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">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=008342557&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-008342557</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1999 San Antonio Tex. gnd-content |
| genre_facet | Konferenzschrift 1999 San Antonio Tex. |
| id | DE-604.BV012306997 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:23:27Z |
| institution | BVB |
| institution_GND | (DE-588)5331362-8 (DE-588)1222-1 |
| isbn | 1581130953 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008342557 |
| oclc_num | 633893164 |
| open_access_boolean | |
| owner | DE-739 DE-20 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-83 DE-706 DE-188 |
| owner_facet | DE-739 DE-20 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-83 DE-706 DE-188 |
| physical | VIII, 324 S. Ill. |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Association for Computing Machinery |
| record_format | marc |
| spelling | POPL 26. 1999 San Antonio, Tex. Verfasser (DE-588)5331362-8 aut Conference record of POPL '99 the 26th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium San Antonio, Texas, 20 - 22 January 1999 POPL '99 New York, NY Association for Computing Machinery 1999 VIII, 324 S. Ill. txt rdacontent n rdamedia nc rdacarrier Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1999 San Antonio Tex. gnd-content Programmiersprache (DE-588)4047409-4 s DE-604 Association for Computing Machinery Sonstige (DE-588)1222-1 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008342557&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Conference record of POPL '99 the 26th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium San Antonio, Texas, 20 - 22 January 1999 Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4047409-4 (DE-588)1071861417 |
| title | Conference record of POPL '99 the 26th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium San Antonio, Texas, 20 - 22 January 1999 |
| title_alt | POPL '99 |
| title_auth | Conference record of POPL '99 the 26th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium San Antonio, Texas, 20 - 22 January 1999 |
| title_exact_search | Conference record of POPL '99 the 26th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium San Antonio, Texas, 20 - 22 January 1999 |
| title_full | Conference record of POPL '99 the 26th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium San Antonio, Texas, 20 - 22 January 1999 |
| title_fullStr | Conference record of POPL '99 the 26th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium San Antonio, Texas, 20 - 22 January 1999 |
| title_full_unstemmed | Conference record of POPL '99 the 26th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium San Antonio, Texas, 20 - 22 January 1999 |
| title_short | Conference record of POPL '99 |
| title_sort | conference record of popl 99 the 26th acm sigplan sigact symposium on principles of programming languages papers presented at the symposium san antonio texas 20 22 january 1999 |
| title_sub | the 26th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium San Antonio, Texas, 20 - 22 January 1999 |
| topic | Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Programmiersprache Konferenzschrift 1999 San Antonio Tex. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008342557&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT poplsanantoniotex conferencerecordofpopl99the26thacmsigplansigactsymposiumonprinciplesofprogramminglanguagespaperspresentedatthesymposiumsanantoniotexas2022january1999 AT associationforcomputingmachinery conferencerecordofpopl99the26thacmsigplansigactsymposiumonprinciplesofprogramminglanguagespaperspresentedatthesymposiumsanantoniotexas2022january1999 AT poplsanantoniotex popl99 AT associationforcomputingmachinery popl99 |