default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID30th POPL 2003: New Orleans, Louisisana, USA
- 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
- Jérôme Siméon, Philip Wadler:
The essence of XML. 1-13 - Umut A. Acar, Guy E. Blelloch, Robert Harper:
Selective memoization. 14-25 - Walid Taha, Michael Florentin Nielsen:
Environment classifiers. 26-37 - Ole Høgh Jensen, Robin Milner:
Bigraphs and transitions. 38-49 - Alan Schmitt, Jean-Bernard Stefani:
The m-calculus: a higher-order distributed process calculus. 50-61 - Ahmed Bouajjani, Javier Esparza
, Tayssir Touili:
A generic approach to the static analysis of concurrent programs with procedures. 62-73 - Sumit Gulwani, George C. Necula:
Discovering affine equalities using random interpretation. 74-84 - Sriraman Tallam, Rajiv Gupta:
Bitwidth aware global register allocation. 85-96 - Thomas Ball, Mayur Naik, Sriram K. Rajamani:
From symptom to cause: localizing errors in counterexample traces. 97-105 - Larry Carter, Jeanne Ferrante, Clark D. Thomborson:
Folklore confirmed: reducible flow graphs are exponentially larger. 106-114 - Venkatesan T. Chakaravarthy:
New results on the computability and complexity of points - to analysis. 115-125 - Yoav Zibin, Joseph Gil:
Incremental algorithms for dispatching in dynamically typed languages. 126-138 - Hayo Thielecke:
From control effects to typed continuation passing. 139-149 - Gang Chen:
Coercive subtyping for the calculus of constructions. 150-159 - Yoav Zibin, Joseph Gil, Jeffrey Considine:
Efficient algorithms for isomorphisms of simple types. 160-171 - Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning:
A type theory for memory allocation and data layout. 172-184 - Martin Hofmann, Steffen Jost:
Static prediction of heap space usage for first-order functional programs. 185-197 - Karl Crary:
Toward a foundational typed assembly language. 198-212 - Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira:
Ownership types for object encapsulation. 213-223 - Hongwei Xi, Chiyan Chen, Gang Chen:
Guarded recursive datatype constructors. 224-235 - Derek Dreyer, Karl Crary, Robert Harper:
A type system for higher-order modules. 236-249 - Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori:
Pure patterns type systems. 250-261 - Hans-Juergen Boehm:
Destructors, finalizers, and synchronization. 262-272 - Ovidiu Gheorghioiu, Alexandru Salcianu, Martin C. Rinard:
Interprocedural compatibility analysis for static object preallocation. 273-284 - David F. Bacon, Perry Cheng, V. T. Rajan:
A real-time garbage collector with low overhead and consistent utilization. 285-298
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.
last updated on 2025-10-22 02:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
