Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation: San Diego, California, USA, June 10 - 13, 2007
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
ACM Press
2007
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIV, 494 S. Ill., graph. Darst. |
| ISBN: | 9781595936332 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV022760751 | ||
| 003 | DE-604 | ||
| 005 | 20080409 | ||
| 007 | t | ||
| 008 | 070914s2007 ad|| |||| 10||| eng d | ||
| 020 | |a 9781595936332 |9 978-1-59593-633-2 | ||
| 035 | |a (OCoLC)496713794 | ||
| 035 | |a (DE-599)BVBBV022760751 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 | ||
| 084 | |a SS 2007 |0 (DE-625)143444: |2 rvk | ||
| 111 | 2 | |a Conference on Programming Language Design and Implementation |d 2007 |c San Diego, Calif. |j Verfasser |0 (DE-588)10182780-5 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation |b San Diego, California, USA, June 10 - 13, 2007 |c PLDI'07 |
| 246 | 1 | 3 | |a PLDI 2007 |
| 264 | 1 | |a New York, NY |b ACM Press |c 2007 | |
| 300 | |a XIV, 494 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Langages de programmation - Congrès |2 ram | |
| 650 | 7 | |a Systèmes informatiques - Mise en oeuvre - Congrès |2 ram | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015966310&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015966310 | ||
Datensatz im Suchindex
| _version_ | 1804137009490427904 |
|---|---|
| adam_text | Table
of
Contents
ACM SIGPLAN
Programming Language
Design
and Implementation
2007
Organization.............................................................................................
xi
Reviewers
.........................................................................................................................................................xii
Sponsors
...........................................................................................................................................................xiv
Monday, June 11th
Session: Errors Detected
&
Corrected
(8:00-9:35
am)
•
Exterminator: Automatically Correcting Memory Errors with High Probability
................................1
G. Novark, E. D.
Berger,
В.
G.
Zorn
(University of
Massachusetts
atAmherst)
•
CheckFence: Checking Consistency of Concurrent Data Types
on Relaxed Memory Models
........................................................................................................................12
S. Burckhardt, R. Alur, M. M. K. Martin (University of Pennsylvania)
•
Automatically Classifying Benign and Harmful Data Races Using Replay Analysis
...........................22
S. Narayanasamy (Microsoft
&
University of California at San Diego),
Z. Wang, J.
Ţigani,
A. Edwards (Microsoft),
B.
Calder
(Microsoft
&
University of California at San Diego)
•
Sound and Precise Analysis of Web Applications for Injection Vulnerabilities
...................................32
G.
Wassermann,
Z.
Su
(University of California at Davis)
Session: Compiled Correctly
(10:00-11:20
am)
•
Fault-tolerant Typed Assembly Language
................................................................................................42
F. Perry, L.
Mackey, G.
A. Reis
(Princeton University), J. Ligatti (University of South Florida),
D. I. August, D. Walker (Princeton University)
•
A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language
....................54
A. Chlipała
(University of California at Berkeley)
•
Certified Self-Modifying Code
....................................................................................................................66
H.
Cai
(Tsinghua University), Z. Shao,A. Vaynberg (Yale University)
•
Enforcing Isolation and Ordering in STM
................................................................................................78
T. Shpeisman, V. Menon, A.-R. Adl-Tabatabai (Intel Corporation),
S, Balensiefer, D. Grossman (University of Washington), R. L. Hudson (Intel Corporation),
K, F. Moore (University of Washington), B. Saha (Intel Corporation)
Session: Programs Analyzed
(1:30-3:10
pm)
•
Valgrind:
A Framework for Heavyweight Dynamic Binary Instrumentation
.....................................89
N.
Nethercote (NationalICTAustralia), J. Seward (OpenWorks LLP)
•
Improved Error Reporting for Software that Uses Black-Box Components
......................................101
J. Ha, C. J.
Rossbach,
J. V. Davis, I. Roy, H. E. Ramadan, D. E. Porter, D. L, Chen, E. Witchel
(The University of Texas at Austin)
•
Thin Slicing
..................................................................................................................................................112
M. Sridharan (University of California at Berkeley), S. J. Fink (IBM T.J. Watson Research Center),
R. Bodík
(University of California at Berkeley)
•
Static Specification Inference Using Predicate Mining
..........................................................................123
M. K. Ramanathan, A. Grama, S. Jagarmathan (Purdue University)
•
Automatic Inference of Optimizer Flow Functions from Semantic Meanings
...................................135
E. R.
Scherpelz
(Google), S.
Lerner
(University of California at San Diego),
C. Chambers (University of Washington)
Session:
Languages Designed
(3:45-5:45
pm)
•
Automatic Inversion Generates Divide-and-Conquer Parallel Programs
...........................................146
K. F. Morita, A. Morihata, K. Matsuzaki, Z.
Hu, M.
Takeichi (University of Tokyo)
•
EXOCHI: Architecture and Programming Environment
for a Heterogeneous Multi-core Multithreaded System
.........................................................................156
P. H. Wang, J. D. Collins, G.
N.
Chinya, H. Jiang, X.
Tian,
M.
Girkar,
N.
Υ.
Yang, G.-Y. Lueh,
H. Wang (Intel Corporation)
•
Sketching
Stencils
.......................................................................................................................................167
A. Solar-Lezama, G. Arnold, L. Tancau, R. Bodik
(University of California at Berkeley),
V. Saraswat (IBMTJ. Watson Research Center), S. Seshia (University of California at Berkeley)
•
Mace: Language Support for Building Distributed Systems
................................................................179
C. Killian,
J.
W.
Anderson,
R.
Braud,
R.
Jhala, A. Vahdat (University of California at San Diego)
•
Combining Events and Threads for Scalable Network Services:
Implementation and Evaluation of Monadic, Application-level Concurrency Primitives
................189
P. Li, S. Zdancewic (University of Pennsylvania)
•
Reliable and Efficient Programming Abstractions for Wireless Sensor Networks
............................200
N.
Kothari, R. Gummadi (University of Southern California),
T. Millstein (University of California at Los Angeles),
R. Govindan (University of Southern California)
Tuesday, June 12th
Session: Executed Concurrently
(8:00-9:35
am)
•
Optimistic Parallelism Requires Abstractions
........................................................................................211
M.
Kulkami,
K. Pingali
(University of Texas at Austin),
B. Walter, G. Ramanarayanan, K.
Bala,
L.
P. Chew (Cornell University)
•
Software Behavior Oriented Parallelization
............................................................................................223
C. Ding (University of Rochester
&
Microsoft Corporation), X. Shen (College of William and Mary),
K. Kelsey, C
Tice
(University of Rochester), R. Huang (Microsoft Corporation),
C. Zhang (University of Rochester)
•
Effective Automatic Parallelization of Stencil Computations
...............................................................235
S. Krishnamoorthy, M. Baskaran, U. Bondhugula (The Ohio State University),
J. Ramanujam (Louisiana State University), A. Rountev, P. Sadayappan (The Ohio State University)
•
Goldilocks: A Race and Transaction-Aware Java Runtime
..................................................................245
T. Elmas
(Кос
University),
S.
Qadeer (Microsoft Research), S. Tasiran
(Кос
University)
Session: Pointers Analyzed
(10:00-11:20
am)
•
Shape Analysis with Inductive Recursion Synthesis
..............................................................................256
B. Guo,
N.
Vachharajani, D. I. August (Princeton University)
•
Thread-Modular Shape Analysis
..............................................................................................................266
A. Gotsman (University of Cambridge), J. Berdine, B. Cook (Microsoft Research),
M. Sagiv (Tel-Aviv
University)
•
Making Context-sensitive Points-to Analysis
with Heap Cloning Practical for the Real World
....................................................................................278
C. Lattner (Apple Inc.), A. Lenharth, V. Adve (University of Illinois at Urbana-Champaign)
•
The Ant and the Grasshopper:
Fast and Accurate Pointer Analysis for Millions of Lines of Code
.......................................................290
B. Hardekopf, C. Lin (University of Texas at Austin)
Session: Programs Analyzed
(1:30-3:10
pm)
•
Path Invariants
............................................................................................................................................300
D. Beyer (SFU), T. A. Henzinger (EPFL), R. Majumdar (University of California at Los Angeles),
A. Rybalchenko (EPFL and
MPI)
•
DITTO: Automatic Incrementalization of Data Structure Invariant Checks (in Java)
....................310
A. Shankar,
R. Bodík
(University of California at Berkeley)
•
Proving Thread Termination
....................................................................................................................320
B. Cook (Microsoft Research), A. Podelski (University of Freiburg), A. Rybalchenko (EPFL and
MPI)
•
Regularly Annotated Set Constraints
.......................................................................................................331
J. Kodumal (University of California at Berkeley
&
Coverity, Inc.), A. Aiken (Stanford University)
.
Efficient Static Analysis of XML Paths and Types
.................................................................................342
P. Geneves
(Ecole Polytechnique Fédérale de Lausanne),
N.
Layaïda, A.
Schmitt (INRIA
Rhône-Alpes)
Session:
Executed Efficiently
(3:45-5:45
pm)
•
The ExoVM System for Automatic VM and Application Reduction
...................................................352
B. L. Titzer (University of California at Los Angeles), J. Auerbach,
D. F. Bacon (IBM T.J. Watson Research Center), J. Palsberg (University of California at Los Angeles)
.
Offline Compression for On-Chip RAM
.................................................................................................363
N.
Cooprider, J. Regehr (University of Utah)
•
Online Optimizations Driven by Hardware Performance Monitoring
................................................373
F. T. Schneider, M. Payer, T. R. Gross
(ΕΤΗ
Zürich)
•
UCC: Update-Conscious
Compilation for Energy Efficiency in Wireless Sensor Networks
............383
W. Li, Y. Zhang, J. Yang, J. Zheng (University of Pittsburgh)
•
Profile-Driven Energy Reduction in Network-on-Chips
.......................................................................394
F. Li, G. Chen, M. Kandemir (The Pennsylvania State University),
I. Kolcu
(University of Manchester)
•
Parameterized Tiled Loops for Free
.........................................................................................................405
L. Renganarayanan, DG. Kim, S. Rajopadhye, M. M. Strout (Colorado State University)
Wednesday, June 11th
Session: Errors Detected
(8:00-9:35
am)
•
Towards Locating Execution Omission Errors
.......................................................................................415
X. Zhang (Purdue University
&
The University of Arizona),
S. Tallam,
N.
Gupta, R. Gupta (The University of Arizona)
•
Searching for Type-Error Messages
.........................................................................................................425
B. S.
Lerner,
M.
Flower,
D.
Grossman,
С.
Chambers (University of Washington)
•
Static Error Detection Using Semantic Inconsistency Inference
..........................................................435
I.
Diliig,
T.
Dillig,
A. Aiken
(Stanford
University)
• Iterative
Context Bounding for Systematic Testing of Multithreaded Programs
..............................446
M. Musuvathi, S. Qadeer (Microsoft Research)
Session: Memory Managed
(10:00-11:20
am)
•
CGCExplorer: A Semi-automated Search Procedure
for
Provably
Correct Concurrent Collectors
..........................................................................................456
M. T. Vechev (Cambridge University), E. Yahav, D. F. Bacon (IBMResearch),
N.
Rinetzky (Tel-Aviv University)
•
A General Framework for Certifying Garbage Collectors and Their
Mutators
................................468
A. McCreight, Z. Shao (Yale University),
C. Lin, L.
Li (University of Science and Technology of China)
•
Practical Memory Leak Detection Using Guarded Value-Flow Analysis
...........................................480
S.
Cherem,
L. Princehouse, R.
Rugina
(Cornell University)
Author Index
................................................................................................................................................492
|
| adam_txt |
Table
of
Contents
ACM SIGPLAN
Programming Language
Design
and Implementation
2007
Organization.
xi
Reviewers
.xii
Sponsors
.xiv
Monday, June 11th
Session: Errors Detected
&
Corrected
(8:00-9:35
am)
•
Exterminator: Automatically Correcting Memory Errors with High Probability
.1
G. Novark, E. D.
Berger,
В.
G.
Zorn
(University of
Massachusetts
atAmherst)
•
CheckFence: Checking Consistency of Concurrent Data Types
on Relaxed Memory Models
.12
S. Burckhardt, R. Alur, M. M. K. Martin (University of Pennsylvania)
•
Automatically Classifying Benign and Harmful Data Races Using Replay Analysis
.22
S. Narayanasamy (Microsoft
&
University of California at San Diego),
Z. Wang, J.
Ţigani,
A. Edwards (Microsoft),
B.
Calder
(Microsoft
&
University of California at San Diego)
•
Sound and Precise Analysis of Web Applications for Injection Vulnerabilities
.32
G.
Wassermann,
Z.
Su
(University of California at Davis)
Session: Compiled Correctly
(10:00-11:20
am)
•
Fault-tolerant Typed Assembly Language
.42
F. Perry, L.
Mackey, G.
A. Reis
(Princeton University), J. Ligatti (University of South Florida),
D. I. August, D. Walker (Princeton University)
•
A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language
.54
A. Chlipała
(University of California at Berkeley)
•
Certified Self-Modifying Code
.66
H.
Cai
(Tsinghua University), Z. Shao,A. Vaynberg (Yale University)
•
Enforcing Isolation and Ordering in STM
.78
T. Shpeisman, V. Menon, A.-R. Adl-Tabatabai (Intel Corporation),
S, Balensiefer, D. Grossman (University of Washington), R. L. Hudson (Intel Corporation),
K, F. Moore (University of Washington), B. Saha (Intel Corporation)
Session: Programs Analyzed
(1:30-3:10
pm)
•
Valgrind:
A Framework for Heavyweight Dynamic Binary Instrumentation
.89
N.
Nethercote (NationalICTAustralia), J. Seward (OpenWorks LLP)
•
Improved Error Reporting for Software that Uses Black-Box Components
.101
J. Ha, C. J.
Rossbach,
J. V. Davis, I. Roy, H. E. Ramadan, D. E. Porter, D. L, Chen, E. Witchel
(The University of Texas at Austin)
•
Thin Slicing
.112
M. Sridharan (University of California at Berkeley), S. J. Fink (IBM T.J. Watson Research Center),
R. Bodík
(University of California at Berkeley)
•
Static Specification Inference Using Predicate Mining
.123
M. K. Ramanathan, A. Grama, S. Jagarmathan (Purdue University)
•
Automatic Inference of Optimizer Flow Functions from Semantic Meanings
.135
E. R.
Scherpelz
(Google), S.
Lerner
(University of California at San Diego),
C. Chambers (University of Washington)
Session:
Languages Designed
(3:45-5:45
pm)
•
Automatic Inversion Generates Divide-and-Conquer Parallel Programs
.146
K. F. Morita, A. Morihata, K. Matsuzaki, Z.
Hu, M.
Takeichi (University of Tokyo)
•
EXOCHI: Architecture and Programming Environment
for a Heterogeneous Multi-core Multithreaded System
.156
P. H. Wang, J. D. Collins, G.
N.
Chinya, H. Jiang, X.
Tian,
M.
Girkar,
N.
Υ.
Yang, G.-Y. Lueh,
H. Wang (Intel Corporation)
•
Sketching
Stencils
.167
A. Solar-Lezama, G. Arnold, L. Tancau, R. Bodik
(University of California at Berkeley),
V. Saraswat (IBMTJ. Watson Research Center), S. Seshia (University of California at Berkeley)
•
Mace: Language Support for Building Distributed Systems
.179
C. Killian,
J.
W.
Anderson,
R.
Braud,
R.
Jhala, A. Vahdat (University of California at San Diego)
•
Combining Events and Threads for Scalable Network Services:
Implementation and Evaluation of Monadic, Application-level Concurrency Primitives
.189
P. Li, S. Zdancewic (University of Pennsylvania)
•
Reliable and Efficient Programming Abstractions for Wireless Sensor Networks
.200
N.
Kothari, R. Gummadi (University of Southern California),
T. Millstein (University of California at Los Angeles),
R. Govindan (University of Southern California)
Tuesday, June 12th
Session: Executed Concurrently
(8:00-9:35
am)
•
Optimistic Parallelism Requires Abstractions
.211
M.
Kulkami,
K. Pingali
(University of Texas at Austin),
B. Walter, G. Ramanarayanan, K.
Bala,
L.
P. Chew (Cornell University)
•
Software Behavior Oriented Parallelization
.223
C. Ding (University of Rochester
&
Microsoft Corporation), X. Shen (College of William and Mary),
K. Kelsey, C
Tice
(University of Rochester), R. Huang (Microsoft Corporation),
C. Zhang (University of Rochester)
•
Effective Automatic Parallelization of Stencil Computations
.235
S. Krishnamoorthy, M. Baskaran, U. Bondhugula (The Ohio State University),
J. Ramanujam (Louisiana State University), A. Rountev, P. Sadayappan (The Ohio State University)
•
Goldilocks: A Race and Transaction-Aware Java Runtime
.245
T. Elmas
(Кос
University),
S.
Qadeer (Microsoft Research), S. Tasiran
(Кос
University)
Session: Pointers Analyzed
(10:00-11:20
am)
•
Shape Analysis with Inductive Recursion Synthesis
.256
B. Guo,
N.
Vachharajani, D. I. August (Princeton University)
•
Thread-Modular Shape Analysis
.266
A. Gotsman (University of Cambridge), J. Berdine, B. Cook (Microsoft Research),
M. Sagiv (Tel-Aviv
University)
•
Making Context-sensitive Points-to Analysis
with Heap Cloning Practical for the Real World
.278
C. Lattner (Apple Inc.), A. Lenharth, V. Adve (University of Illinois at Urbana-Champaign)
•
The Ant and the Grasshopper:
Fast and Accurate Pointer Analysis for Millions of Lines of Code
.290
B. Hardekopf, C. Lin (University of Texas at Austin)
Session: Programs Analyzed
(1:30-3:10
pm)
•
Path Invariants
.300
D. Beyer (SFU), T. A. Henzinger (EPFL), R. Majumdar (University of California at Los Angeles),
A. Rybalchenko (EPFL and
MPI)
•
DITTO: Automatic Incrementalization of Data Structure Invariant Checks (in Java)
.310
A. Shankar,
R. Bodík
(University of California at Berkeley)
•
Proving Thread Termination
.320
B. Cook (Microsoft Research), A. Podelski (University of Freiburg), A. Rybalchenko (EPFL and
MPI)
•
Regularly Annotated Set Constraints
.331
J. Kodumal (University of California at Berkeley
&
Coverity, Inc.), A. Aiken (Stanford University)
.
Efficient Static Analysis of XML Paths and Types
.342
P. Geneves
(Ecole Polytechnique Fédérale de Lausanne),
N.
Layaïda, A.
Schmitt (INRIA
Rhône-Alpes)
Session:
Executed Efficiently
(3:45-5:45
pm)
•
The ExoVM System for Automatic VM and Application Reduction
.352
B. L. Titzer (University of California at Los Angeles), J. Auerbach,
D. F. Bacon (IBM T.J. Watson Research Center), J. Palsberg (University of California at Los Angeles)
.
Offline Compression for On-Chip RAM
.363
N.
Cooprider, J. Regehr (University of Utah)
•
Online Optimizations Driven by Hardware Performance Monitoring
.373
F. T. Schneider, M. Payer, T. R. Gross
(ΕΤΗ
Zürich)
•
UCC: Update-Conscious
Compilation for Energy Efficiency in Wireless Sensor Networks
.383
W. Li, Y. Zhang, J. Yang, J. Zheng (University of Pittsburgh)
•
Profile-Driven Energy Reduction in Network-on-Chips
.394
F. Li, G. Chen, M. Kandemir (The Pennsylvania State University),
I. Kolcu
(University of Manchester)
•
Parameterized Tiled Loops for Free
.405
L. Renganarayanan, DG. Kim, S. Rajopadhye, M. M. Strout (Colorado State University)
Wednesday, June 11th
Session: Errors Detected
(8:00-9:35
am)
•
Towards Locating Execution Omission Errors
.415
X. Zhang (Purdue University
&
The University of Arizona),
S. Tallam,
N.
Gupta, R. Gupta (The University of Arizona)
•
Searching for Type-Error Messages
.425
B. S.
Lerner,
M.
Flower,
D.
Grossman,
С.
Chambers (University of Washington)
•
Static Error Detection Using Semantic Inconsistency Inference
.435
I.
Diliig,
T.
Dillig,
A. Aiken
(Stanford
University)
• Iterative
Context Bounding for Systematic Testing of Multithreaded Programs
.446
M. Musuvathi, S. Qadeer (Microsoft Research)
Session: Memory Managed
(10:00-11:20
am)
•
CGCExplorer: A Semi-automated Search Procedure
for
Provably
Correct Concurrent Collectors
.456
M. T. Vechev (Cambridge University), E. Yahav, D. F. Bacon (IBMResearch),
N.
Rinetzky (Tel-Aviv University)
•
A General Framework for Certifying Garbage Collectors and Their
Mutators
.468
A. McCreight, Z. Shao (Yale University),
C. Lin, L.
Li (University of Science and Technology of China)
•
Practical Memory Leak Detection Using Guarded Value-Flow Analysis
.480
S.
Cherem,
L. Princehouse, R.
Rugina
(Cornell University)
Author Index
.492 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author_corporate | Conference on Programming Language Design and Implementation San Diego, Calif |
| author_corporate_role | aut |
| author_facet | Conference on Programming Language Design and Implementation San Diego, Calif |
| author_sort | Conference on Programming Language Design and Implementation San Diego, Calif |
| building | Verbundindex |
| bvnumber | BV022760751 |
| classification_rvk | SS 2007 |
| ctrlnum | (OCoLC)496713794 (DE-599)BVBBV022760751 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01430nam a2200325 c 4500</leader><controlfield tag="001">BV022760751</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080409 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">070914s2007 ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781595936332</subfield><subfield code="9">978-1-59593-633-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)496713794</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022760751</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></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 2007</subfield><subfield code="0">(DE-625)143444:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Conference on Programming Language Design and Implementation</subfield><subfield code="d">2007</subfield><subfield code="c">San Diego, Calif.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)10182780-5</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation</subfield><subfield code="b">San Diego, California, USA, June 10 - 13, 2007</subfield><subfield code="c">PLDI'07</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">PLDI 2007</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">ACM Press</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 494 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=" " ind2="7"><subfield code="a">Langages de programmation - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systèmes informatiques - Mise en oeuvre - Congrès</subfield><subfield code="2">ram</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="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau</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=015966310&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-015966310</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV022760751 |
| illustrated | Illustrated |
| index_date | 2024-07-02T18:34:27Z |
| indexdate | 2024-07-09T21:05:29Z |
| institution | BVB |
| institution_GND | (DE-588)10182780-5 |
| isbn | 9781595936332 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015966310 |
| oclc_num | 496713794 |
| open_access_boolean | |
| owner | DE-739 |
| owner_facet | DE-739 |
| physical | XIV, 494 S. Ill., graph. Darst. |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | ACM Press |
| record_format | marc |
| spelling | Conference on Programming Language Design and Implementation 2007 San Diego, Calif. Verfasser (DE-588)10182780-5 aut Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation San Diego, California, USA, June 10 - 13, 2007 PLDI'07 PLDI 2007 New York, NY ACM Press 2007 XIV, 494 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Langages de programmation - Congrès ram Systèmes informatiques - Mise en oeuvre - Congrès ram (DE-588)1071861417 Konferenzschrift gnd-content Digitalisierung UB Passau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015966310&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation San Diego, California, USA, June 10 - 13, 2007 Langages de programmation - Congrès ram Systèmes informatiques - Mise en oeuvre - Congrès ram |
| subject_GND | (DE-588)1071861417 |
| title | Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation San Diego, California, USA, June 10 - 13, 2007 |
| title_alt | PLDI 2007 |
| title_auth | Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation San Diego, California, USA, June 10 - 13, 2007 |
| title_exact_search | Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation San Diego, California, USA, June 10 - 13, 2007 |
| title_exact_search_txtP | Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation San Diego, California, USA, June 10 - 13, 2007 |
| title_full | Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation San Diego, California, USA, June 10 - 13, 2007 PLDI'07 |
| title_fullStr | Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation San Diego, California, USA, June 10 - 13, 2007 PLDI'07 |
| title_full_unstemmed | Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation San Diego, California, USA, June 10 - 13, 2007 PLDI'07 |
| title_short | Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation |
| title_sort | proceedings of the 2007 acm sigplan conference on programming language design implementation san diego california usa june 10 13 2007 |
| title_sub | San Diego, California, USA, June 10 - 13, 2007 |
| topic | Langages de programmation - Congrès ram Systèmes informatiques - Mise en oeuvre - Congrès ram |
| topic_facet | Langages de programmation - Congrès Systèmes informatiques - Mise en oeuvre - Congrès Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015966310&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT conferenceonprogramminglanguagedesignandimplementationsandiegocalif proceedingsofthe2007acmsigplanconferenceonprogramminglanguagedesignimplementationsandiegocaliforniausajune10132007 AT conferenceonprogramminglanguagedesignandimplementationsandiegocalif pldi2007 |