ask others

30. POPL 2003: New Orleans, Louisisana, USA

> Home > Conferences and Workshops > POPL

- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/popl/2003
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/2003
Alex Aiken, Greg Morrisett:
Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003. ACM 2003, ISBN 1-58113-628-5

- ACM SIGPLAN Notices 38(1), January 2003

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/SimeonW03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/SimeonW03
Jérôme Siméon, Philip Wadler:
The essence of XML. 1-13
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/AcarBH03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/AcarBH03
Umut A. Acar, Guy E. Blelloch, Robert Harper:
Selective memoization. 14-25
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/TahaN03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/TahaN03
Walid Taha, Michael Florentin Nielsen:
Environment classifiers. 26-37
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/JensenM03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/JensenM03
Ole Høgh Jensen, Robin Milner:
Bigraphs and transitions. 38-49
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/SchmittS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/SchmittS03
Alan Schmitt, Jean-Bernard Stefani:
The m-calculus: a higher-order distributed process calculus. 50-61
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/BouajjaniET03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/BouajjaniET03
Ahmed Bouajjani, Javier Esparza, Tayssir Touili:
A generic approach to the static analysis of concurrent programs with procedures. 62-73
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/GulwaniN03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/GulwaniN03
Sumit Gulwani, George C. Necula:
Discovering affine equalities using random interpretation. 74-84
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/TallamG03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/TallamG03
Sriraman Tallam, Rajiv Gupta:
Bitwidth aware global register allocation. 85-96
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/BallNR03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/BallNR03
Thomas Ball, Mayur Naik, Sriram K. Rajamani:
From symptom to cause: localizing errors in counterexample traces. 97-105
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/CarterFT03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/CarterFT03
Larry Carter, Jeanne Ferrante, Clark D. Thomborson:
Folklore confirmed: reducible flow graphs are exponentially larger. 106-114
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/Chakaravarthy03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/Chakaravarthy03
Venkatesan T. Chakaravarthy:
New results on the computability and complexity of points - to analysis. 115-125
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/ZibinG03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/ZibinG03
Yoav Zibin, Joseph Gil:
Incremental algorithms for dispatching in dynamically typed languages. 126-138
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/Thielecke03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/Thielecke03
Hayo Thielecke:
From control effects to typed continuation passing. 139-149
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/Chen03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/Chen03
Gang Chen:
Coercive subtyping for the calculus of constructions. 150-159
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/ZibinGC03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/ZibinGC03
Yoav Zibin, Joseph Gil, Jeffrey Considine:
Efficient algorithms for isomorphisms of simple types. 160-171
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/PetersenHCP03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/PetersenHCP03
Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning:
A type theory for memory allocation and data layout. 172-184
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/HofmannJ03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/HofmannJ03
Martin Hofmann, Steffen Jost:
Static prediction of heap space usage for first-order functional programs. 185-197
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/Crary03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/Crary03
Karl Crary:
Toward a foundational typed assembly language. 198-212
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/BoyapatiLS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/BoyapatiLS03
Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira:
Ownership types for object encapsulation. 213-223
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/XiCC03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/XiCC03
Hongwei Xi, Chiyan Chen, Gang Chen:
Guarded recursive datatype constructors. 224-235
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/DreyerCH03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/DreyerCH03
Derek Dreyer, Karl Crary, Robert Harper:
A type system for higher-order modules. 236-249
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/BartheCKL03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/BartheCKL03
Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori:
Pure patterns type systems. 250-261
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/Boehm03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/Boehm03
Hans-Juergen Boehm:
Destructors, finalizers, and synchronization. 262-272
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/GheorghioiuSR03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/GheorghioiuSR03
Ovidiu Gheorghioiu, Alexandru Salcianu, Martin C. Rinard:
Interprocedural compatibility analysis for static object preallocation. 273-284
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/BaconCR03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/BaconCR03
David F. Bacon, Perry Cheng, V. T. Rajan:
A real-time garbage collector with low overhead and consistent utilization. 285-298

maintained by

, founded at