|
|
Conferences in DBLP
- Javier Esparza, Andreas Podelski
Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:1-11 [Conf]
- Patrick Cousot, Radhia Cousot
Temporal Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:12-25 [Conf]
- Nevin Heintze, Joxan Jaffar, Razvan Voicu
A Framework for Combining Analysis and Verification. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:26-39 [Conf]
- Johan Agat
Transforming Out Timing Leaks. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:40-53 [Conf]
- Thomas Colcombet, Pascal Fradet
Enforcing Trace Properties by Program Transformation. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:54-66 [Conf]
- Robert Muth, Saumya K. Debray
On the Complexity of Flow-Sensitive Dataflow Analyses. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:67-80 [Conf]
- Zhendong Su, Manuel Fähndrich, Alexander Aiken
Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:81-95 [Conf]
- Andrea Asperti, Paolo Coppola, Simone Martini
(Optimal) Duplication is not Elementary Recursive. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:96-107 [Conf]
- Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark Shields
Implicit Parameters: Dynamic Scoping with Static Types. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:108-118 [Conf]
- Ralf Hinze
A New Approach to Generic Functional Programming. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:119-132 [Conf]
- Alan Bawden
First-Class Macros have Types. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:133-141 [Conf]
- Hanne Riis Nielson, Flemming Nielson
Shape Analysis for Mobile Ambients. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:142-154 [Conf]
- Raghavan Komondoor, Susan Horwitz
Semantics-Preserving Procedure Extraction. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:155-169 [Conf]
- Oliver Rüthing, Jens Knoop, Bernhard Steffen
Sparse Code Motion. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:170-183 [Conf]
- Karl Crary, Stephanie Weirich
Resource Bound Certification. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:184-198 [Conf]
- Ben Liblit, Alexander Aiken
Type Systems for Distributed Data Structures. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:199-213 [Conf]
- Christopher A. Stone, Robert Harper
Deciding Type Equivalence with Singleton Kinds. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:214-227 [Conf]
- Todd B. Knoblock, Jakob Rehof
Type Elaboration and Subtype Completion for Java Bytecode. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:228-242 [Conf]
- Andrew W. Appel, Amy P. Felty
A Semantic Model of Types and Machine Instuctions for Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:243-253 [Conf]
- David Walker
A Type System for Expressive Security Policies. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:254-267 [Conf]
- Dennis M. Volpano, Geoffrey Smith
Verifying Secrets and Relative Secrecy. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:268-276 [Conf]
- Craig Chambers, Bill Harrison, John M. Vlissides
A Debate on Language and Tool Support for Design Patterns. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:277-289 [Conf]
- Anders Sandholm, Michael I. Schwartzbach
A Type System for Dynamic Web Documents. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:290-301 [Conf]
- Martín Abadi, Cédric Fournet, Georges Gonthier
Authentication Primitives and Their Compilation. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:302-315 [Conf]
- Carl A. Gunter, Trevor Jim
Generalized Certificate Revocation. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:316-329 [Conf]
- Witold Charatonik, Andreas Podelski, Jean-Marc Talbot
Paths vs. Trees in Set-Based Program Analysis. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:330-337 [Conf]
- Timothy J. Hickey
Analytic Constraint Solving and Interval Arithmetic. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:338-351 [Conf]
- Francesca Levi, Davide Sangiorgi
Controlling Interference in Ambients. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:352-364 [Conf]
- Luca Cardelli, Andrew D. Gordon
Anytime, Anywhere: Modal Logics for Mobile Ambients. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:365-377 [Conf]
- Yoo C. Chung, Soo-Mook Moon, Kemal Ebcioglu, Dan Sahlin
Reducing Sweep Time for a Nearly Empty Heap. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:378-389 [Conf]
- Rajeev Alur, Radu Grosu
Modular Refinement of Hierarchic Reactive Machines. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:390-402 [Conf]
|
