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