More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

32nd POPL 2005: Long Beach, California, USA

> Home > Conferences and Workshops > POPL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/popl/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/2005
Jens Palsberg, Martín Abadi:
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005. ACM 2005, ISBN 1-58113-830-X
- view
  authority control:
- export record
  dblp key:
  - conf/popl/ChakravartyKJM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/ChakravartyKJM05
Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow:
Associated types with class. 1-13
- view
  authority control:
- export record
  dblp key:
  - conf/popl/CobbeF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/CobbeF05
Richard Cobbe, Matthias Felleisen:
Environmental acquisition revisited. 14-25
- view
  authority control:
- export record
  dblp key:
  - conf/popl/AnconaDDZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/AnconaDDZ05
Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca:
Polymorphic bytecode: compositional compilation for Java-like languages. 26-37
- view
  authority control:
- export record
  dblp key:
  - conf/popl/ChenT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/ChenT05
Juan Chen, David Tarditi:
A simple typed intermediate language for object-oriented languages. 38-49
- view
  authority control:
- export record
  dblp key:
  - conf/popl/HosoyaFC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/HosoyaFC05
Haruo Hosoya, Alain Frisch, Giuseppe Castagna:
Parametric polymorphism for XML. 50-62
- view
  authority control:
- export record
  dblp key:
  - conf/popl/SumiiP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/SumiiP05
Eijiro Sumii, Benjamin C. Pierce:
A bisimulation for type abstraction and recursion. 63-74
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Goguen05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Goguen05
Healfdene Goguen:
A syntactic approach to eta equality in type theory. 75-84
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Ghica05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Ghica05
Dan R. Ghica:
Slot games: a quantitative model of computation. 85-97
- view
  authority control:
- export record
  dblp key:
  - conf/popl/AlurCMN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/AlurCMN05
Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam:
Synthesis of interface specifications for Java classes. 98-109
- view
  authority control:
- export record
  dblp key:
  - conf/popl/FlanaganG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/FlanaganG05
Cormac Flanagan, Patrice Godefroid:
Dynamic partial-order reduction for model checking software. 110-121
- view
  authority control:
- export record
  dblp key:
  - conf/popl/GrumbergLST05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/GrumbergLST05
Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald:
Proof-guided underapproximation-widening for multi-process systems. 122-131
- view
  authority control:
- export record
  dblp key:
  - conf/popl/PodelskiR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/PodelskiR05
Andreas Podelski, Andrey Rybalchenko:
Transition predicate abstraction and fair termination. 132-144
- view
  authority control:
- export record
  dblp key:
  - conf/popl/GayN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/GayN05
Simon J. Gay, Rajagopal Nagarajan:
Communicating quantum processes. 145-157
- view
  authority control:
- export record
  dblp key:
  - conf/popl/LiZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/LiZ05
Peng Li, Steve Zdancewic:
Downgrading policies and relaxed noninterference. 158-170
- view
  authority control:
- export record
  dblp key:
  - conf/popl/ParkPT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/ParkPT05
Sungwoo Park, Frank Pfenning, Sebastian Thrun:
A probabilistic language based upon sampling functions. 171-182
- view
  authority control:
- export record
  dblp key:
  - conf/popl/StoyleHBSN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/StoyleHBSN05
Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu:
Mutatis mutandis: safe and predictable dynamic software updating. 183-194
- view
  authority control:
- export record
  dblp key:
  - conf/popl/FieldV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/FieldV05
John Field, Carlos A. Varela:
Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments. 195-208
- view
  authority control:
- export record
  dblp key:
  - conf/popl/BruniMM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/BruniMM05
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Theoretical foundations for compensations in flow composition languages. 209-220
- view
  authority control:
- export record
  dblp key:
  - conf/popl/NeubauerT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/NeubauerT05
Matthias Neubauer, Peter Thiemann:
From sequential programs to multi-tier applications by program transformation. 221-232
- view
  authority control:
- export record
  dblp key:
  - conf/popl/FosterGMPS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/FosterGMPS05
J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt:
Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. 233-246
- view
  authority control:
- export record
  dblp key:
  - conf/popl/ParkinsonB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/ParkinsonB05
Matthew J. Parkinson, Gavin M. Bierman:
Separation logic and abstraction. 247-258
- view
  authority control:
- export record
  dblp key:
  - conf/popl/BornatCOP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/BornatCOP05
Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson:
Permission accounting in separation logic. 259-270
- view
  authority control:
- export record
  dblp key:
  - conf/popl/CalcagnoGZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/CalcagnoGZ05
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty:
Context logic and tree update. 271-282
- view
  authority control:
- export record
  dblp key:
  - conf/popl/BoylandR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/BoylandR05
John Tang Boyland, William Retert:
Connecting effects and uniqueness with adoption. 283-295
- view
  authority control:
- export record
  dblp key:
  - conf/popl/RinetzkyBRSW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/RinetzkyBRSW05
Noam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm:
A semantics for procedure local heaps and its abstractions. 296-309
- view
  authority control:
- export record
  dblp key:
  - conf/popl/HackettR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/HackettR05
Brian Hackett, Radu Rugina:
Region-based shape analysis with tracked locations. 310-323
- view
  authority control:
- export record
  dblp key:
  - conf/popl/GulwaniN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/GulwaniN05
Sumit Gulwani, George C. Necula:
Precise interprocedural analysis using random interpretation. 324-337
- view
  authority control:
- export record
  dblp key:
  - conf/popl/GopanRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/GopanRS05
Denis Gopan, Thomas W. Reps, Shmuel Sagiv:
A framework for numeric analysis of array operations. 338-350
- view
  authority control:
- export record
  dblp key:
  - conf/popl/XieA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/XieA05
Yichen Xie, Alex Aiken:
Scalable error detection using boolean satisfiability. 351-363
- view
  authority control:
- export record
  dblp key:
  - conf/popl/LernerMRC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/LernerMRC05
Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers:
Automated soundness proofs for dataflow analyses and transformations via local rules. 364-377
- view
  authority control:
- export record
  dblp key:
  - conf/popl/MansonPA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/MansonPA05
Jeremy Manson, William W. Pugh, Sarita V. Adve:
The Java memory model. 378-391

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.