Conference record of POPL '00: the 27th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium ; Boston, Massachusetts, 19 - 21 January 2000
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
Assoc. for Computing Machinery
2000
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XI, 402 S. Ill., graph. Darst. |
| ISBN: | 1581131259 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013093256 | ||
| 003 | DE-604 | ||
| 005 | 20160322 | ||
| 007 | t| | ||
| 008 | 000404s2000 xx ad|| |||| 10||| eng d | ||
| 020 | |a 1581131259 |9 1-58113-125-9 | ||
| 035 | |a (OCoLC)633758306 | ||
| 035 | |a (DE-599)BVBBV013093256 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-20 |a DE-91G |a DE-473 |a DE-29T |a DE-83 |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 27. |d 2000 |c Boston, Mass. |j Verfasser |0 (DE-588)3044825-6 |4 aut | |
| 245 | 1 | 0 | |a Conference record of POPL '00 |b the 27th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium ; Boston, Massachusetts, 19 - 21 January 2000 |
| 246 | 1 | 3 | |a POPL '00 |
| 246 | 1 | 3 | |a POPL'00 |
| 246 | 1 | 3 | |a POPL 2000 |
| 264 | 1 | |a New York, NY |b Assoc. for Computing Machinery |c 2000 | |
| 300 | |a XI, 402 S. |b Ill., 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 2000 |z Boston Mass. |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=008917526&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008917526 | |
Datensatz im Suchindex
| _version_ | 1820868206752956416 |
|---|---|
| adam_text |
Contents
Wednesday,
19
January
2000
Session
1: 8:30-10:00
Efficient algorithms for
pre*
and post* on interprocedural parallel flow graphs
. 1
JAVIER ESPARZA
from
Technische Universität München
and ANDREAS PODELSKI from
Max-Planck-Institut für Informatik
Temporal abstract interpretation
. 12
PATRICK CoUSOT from
École Normale Supérieure
and Radhia COUSOT from
École
Polytechnique
A framework for combining analysis and verification
. 26
NEVIN
Heintze from Bell Laboratories and JOXAN Jaffar and
RÁZVÁN
VOICU
from National University of Singapore
Session
2: 10:30-11:30
Transforming out timing leaks
. 40
JOHAN
AGAT
from Chalmers University of Technology and
Göteborg
University
Enforcing trace properties by program transformation
. 54
Thomas Colcombet from ENS Lyon/IRISA and Pascal Fradet from
INRIA/IRISA
Session
3: 11:30-12:30
Invited Talk: Java Security
ED
FELTÉN
from Princeton University
Session
4: 14:00-15:30
On the complexity of flow-sensitive dataflow analyses
. 67
ROBERT Muth and Saumya DebRAY from University of Arizona
Projection merging: Reducing redundancies in inclusion constraint graphs
. 81
Zhendong
Su, Manuel
Fahndrich, and Alexander Aiken from University of
California, Berkeley
(Optimal) duplication is not elementary recursive
. 96
ANDREA Asperti from
Università di
Bologna and PAOLO COPPOLA and SlMONE
MARTINI from
Università di Udine
Session
5: 16:00-17:30
Implicit parameters: Dynamic scoping with static types
.108
Jeffrey R. Lewis, John Launchbury, Erik
Meijer,
and Mark B. Shields
from Oregon Graduate Institute
A new approach to generic functional programming
.119
Ralf Hinze
from
Universät Bonn
First-class macros have types
.133
ALAN Bawden from Boston University
Thursday,
20
January
2000
Session
6: 8:30-10:00
Shape analysis for mobile ambients
.142
HANNE
RllS NielsoN and Fle.MMING Nielson* from Aarhus University
Semantics-preserving procedure extraction
.155
RaghavaN KOMONDOOR and SUSAN HoRWITZ from University of Wisconsin
Sparse code motion
.170
Oliver
Rüthing, Jens
Knoop,
and
Bernhard Steffen
from University of
Dortmund
Session
7: 10:30-12:30
Resource bound certification
.184
KARL Crary from Carnegie Mellon University and STEPHANIE WeiricH from Cornell
University
Type systems for distributed data structures
.199
BEN LlBLIT and ALEXANDER Aiken from University of California-Berkeley
Decidable type equivalence with singleton kinds
.214
Christopher A. Stone and Robert Harper from Carnegie Mellon University
Type elaboration and subtype completion for Java
bytecode
.228
TODD
KNOBLOCK
and JAKOB RehOF from Microsoft Research
Session
8: 14:00-15:30
A semantic model of types and machine instructions for proof-carrying code
.243
ANDREW W.
APPEL
from Bell Laboratories and Princeton University and AMY
P. Felty from Bell Laboratories
A type system for expressive security policies
.254
DAVID WALKER from Cornell University
Verifying secrets and relative secrecy
.268
DENNIS
VOLPANO
from Naval Postgraduate School and GEOFFREY SMITH from
Florida International University
Session
9: 16:00-17:00
A debate on language and tool support for design patterns
.277
CRAIG CHAMBERS from University of Washington and BILL HARRISON and JOHN
VlissidES from IBM T.J. Watson Research Center
Friday,
21
January
2000
Session
10: 8:30-10:00
A type system for dynamic web documents
.290
Anders Sandholm
and Michael I. Schwartzbach from Aarhus University
Authentication primitives and their compilation
.302
MARTÍN
Abadi from Bell Laboratories;
CÉDRIC
FOURNET from Microsoft Research;
and GEORGES Gonthier from INRIA Rocquencourt
Generalized certificate revocation
.316
CARL A.
GUNTER
from University of Pennsylvania and TREVOR JlM from AT&T
Research
Session
11: 10:30-11:30
Paths vs. trees in set-based program analysis
.330
WITOLD
CharATONIK from
Max-Planck-Institut für Informatik
and University
of Wroclaw and ANDREAS PODELSKI and JEAN-MARC
TALBOT
from
Max-Planck-Institut für Informatik
Analytic constraint solving and interval arithmetic
.338
TIMOTHY ,J. HicKEY from
Brandeis
University
viii
Session 12: 11:30-12:30
Invited Talk: Domain Specific Languages
PAUL Hudak from Yale University
Session
13: 14:00-16:00
Controlling interference in ambients
.352
FraNCESCA
LEVI
from University of Pisa and
DAVIDE
SanGIORGI from INRIA
Sophia-
Antipolis
Anytime, anywhere: Modal logics for mobile ambients
.365
LUCA
Cardelli and ANDREW D. GORDON from Microsoft Research
Reducing sweep time for a nearly empty heap
.378
YOO C. CHUNG and
ЅОО-МООК
MOON from Seoul National University;
KEMÅL
EbciOGLU from IBM T.J. Watson Research Center; and DAN
SAHLIN
from Ericsson
Utvecklings
AB
Modular refinement of hierarchic reactive machines
.390
RaJEEV Alur and
RADU GROŠU
from University of Pennsylvania |
| any_adam_object | 1 |
| author_corporate | POPL Boston, Mass |
| author_corporate_role | aut |
| author_facet | POPL Boston, Mass |
| author_sort | POPL Boston, Mass |
| building | Verbundindex |
| bvnumber | BV013093256 |
| classification_rvk | ST 240 |
| classification_tum | DAT 555f DAT 350f |
| ctrlnum | (OCoLC)633758306 (DE-599)BVBBV013093256 |
| 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">BV013093256</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160322</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">000404s2000 xx ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1581131259</subfield><subfield code="9">1-58113-125-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633758306</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013093256</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</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-29T</subfield><subfield code="a">DE-83</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">27.</subfield><subfield code="d">2000</subfield><subfield code="c">Boston, Mass.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)3044825-6</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Conference record of POPL '00</subfield><subfield code="b">the 27th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium ; Boston, Massachusetts, 19 - 21 January 2000</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">POPL '00</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">POPL'00</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">POPL 2000</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Assoc. for Computing Machinery</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 402 S.</subfield><subfield code="b">Ill., 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">2000</subfield><subfield code="z">Boston Mass.</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=008917526&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-008917526</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2000 Boston Mass. gnd-content |
| genre_facet | Konferenzschrift 2000 Boston Mass. |
| id | DE-604.BV013093256 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:20:41Z |
| institution | BVB |
| institution_GND | (DE-588)3044825-6 (DE-588)75333-6 |
| isbn | 1581131259 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008917526 |
| oclc_num | 633758306 |
| open_access_boolean | |
| owner | DE-739 DE-20 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-29T DE-83 DE-188 |
| owner_facet | DE-739 DE-20 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-29T DE-83 DE-188 |
| physical | XI, 402 S. Ill., graph. Darst. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Assoc. for Computing Machinery |
| record_format | marc |
| spelling | POPL 27. 2000 Boston, Mass. Verfasser (DE-588)3044825-6 aut Conference record of POPL '00 the 27th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium ; Boston, Massachusetts, 19 - 21 January 2000 POPL '00 POPL'00 POPL 2000 New York, NY Assoc. for Computing Machinery 2000 XI, 402 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2000 Boston Mass. gnd-content Programmiersprache (DE-588)4047409-4 s DE-604 Association for Computing Machinery Special Interest Group on Programming Languages Sonstige (DE-588)75333-6 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008917526&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Conference record of POPL '00 the 27th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium ; Boston, Massachusetts, 19 - 21 January 2000 Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4047409-4 (DE-588)1071861417 |
| title | Conference record of POPL '00 the 27th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium ; Boston, Massachusetts, 19 - 21 January 2000 |
| title_alt | POPL '00 POPL'00 POPL 2000 |
| title_auth | Conference record of POPL '00 the 27th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium ; Boston, Massachusetts, 19 - 21 January 2000 |
| title_exact_search | Conference record of POPL '00 the 27th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium ; Boston, Massachusetts, 19 - 21 January 2000 |
| title_full | Conference record of POPL '00 the 27th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium ; Boston, Massachusetts, 19 - 21 January 2000 |
| title_fullStr | Conference record of POPL '00 the 27th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium ; Boston, Massachusetts, 19 - 21 January 2000 |
| title_full_unstemmed | Conference record of POPL '00 the 27th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium ; Boston, Massachusetts, 19 - 21 January 2000 |
| title_short | Conference record of POPL '00 |
| title_sort | conference record of popl 00 the 27th acm sigplan sigact symposium on principles of programming languages papers presented at the symposium boston massachusetts 19 21 january 2000 |
| title_sub | the 27th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium ; Boston, Massachusetts, 19 - 21 January 2000 |
| topic | Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Programmiersprache Konferenzschrift 2000 Boston Mass. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008917526&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT poplbostonmass conferencerecordofpopl00the27thacmsigplansigactsymposiumonprinciplesofprogramminglanguagespaperspresentedatthesymposiumbostonmassachusetts1921january2000 AT associationforcomputingmachineryspecialinterestgrouponprogramminglanguages conferencerecordofpopl00the27thacmsigplansigactsymposiumonprinciplesofprogramminglanguagespaperspresentedatthesymposiumbostonmassachusetts1921january2000 AT poplbostonmass popl00 AT associationforcomputingmachineryspecialinterestgrouponprogramminglanguages popl00 AT poplbostonmass popl2000 AT associationforcomputingmachineryspecialinterestgrouponprogramminglanguages popl2000 |