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
- 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 - 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 - 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 - Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira:
Ownership types for object encapsulation. 213-223 - 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
maintained by 
, founded at 
, founded at 
last updated on 2019-02-20 22:15 CET 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:
