The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium on Principles of Programming Languages (POPL) (popl)
1996 (conf/popl/96)

  1. Rakesh Ghiya, Laurie J. Hendren
    Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:1-15 [Conf]
  2. Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
    Solving Shape-Analysis Problems in Languages with Destructive Updating. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:16-31 [Conf]
  3. Bjarne Steensgaard
    Points-to Analysis in Almost Linear Time. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:32-41 [Conf]
  4. Trevor Jim
    What Are Principal Typings and What Are They Good For? [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:42-53 [Conf]
  5. Martin Odersky, Konstantin Läufer
    Putting Type Annotations to Work. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:54-67 [Conf]
  6. Mark P. Jones
    Using Parameterized Signatures to Express Modular Structure. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:68-78 [Conf]
  7. Daniel Jackson, Somesh Jha, Craig Damon
    Faster Checking of Software Specifications by Eliminating Isomorphs. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:79-90 [Conf]
  8. Kannan Govindarajan, Bharat Jayaraman, Surya Mantha
    Optimization and Relaxation in Constraint Logic Languages. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:91-103 [Conf]
  9. Nicholas Pippenger
    Pure versus Impure LISP. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:104-109 [Conf]
  10. Andrea Asperti
    On the Complexity of Beta-Reduction. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:110-118 [Conf]
  11. Todd A. Proebsting, Scott A. Watterson
    Filter Fusion. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:119-130 [Conf]
  12. Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek
    `C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:131-144 [Conf]
  13. Charles Consel, François Noël
    A General Approach for Run-Time Specialization and its Application to C. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:145-156 [Conf]
  14. Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
    Discovering Auxiliary Information for Incremental Computation. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:157-170 [Conf]
  15. Lars Birkedal, Mads Tofte, Magnus Vejlstrup
    From Region Inference to von Neumann Machines via Region Representation Inference. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:171-183 [Conf]
  16. J. Michael Ashley
    A Practical and Flexible Flow Analysis for Higher-Order Languages. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:184-194 [Conf]
  17. Christopher Colby, Peter Lee
    Trace-Based Program Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:195-207 [Conf]
  18. Lal George, Andrew W. Appel
    Iterated Register Coalescing. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:208-218 [Conf]
  19. Roger Hoover, F. Kenneth Zadeck
    Generating Machine Specific Optimizing Compilers. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:219-229 [Conf]
  20. Steven M. Kurlander, Charles N. Fischer
    Minimum Cost Interprocedural Register Allocation. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:230-241 [Conf]
  21. Olivier Danvy
    Type-Directed Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:242-257 [Conf]
  22. Rowan Davies, Frank Pfenning
    A Modal Analysis of Staged Computation. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:258-270 [Conf]
  23. Yasuhiko Minamide, J. Gregory Morrisett, Robert Harper
    Typed Closure Conversion. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:271-283 [Conf]
  24. Leonidas Fegaras, Tim Sheard
    Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space). [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:284-294 [Conf]
  25. Simon L. Peyton Jones, Andrew Gordon, Sigbjorn Finne
    Concurrent Haskell. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:295-308 [Conf]
  26. John Greiner, Guy E. Blelloch
    A Provably Time-Efficient Parallel Implementation of Full Speculation. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:309-321 [Conf]
  27. Manish Gupta, Edith Schonberg
    Static Analysis to Reduce Synchronization Costs in Data-Parallel Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:322-332 [Conf]
  28. Joachim Niehren
    Functional Computation as Concurrent Computation. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:333-343 [Conf]
  29. Kohei Honda
    Composing Processes. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:344-357 [Conf]
  30. Naoki Kobayashi, Benjamin C. Pierce, David N. Turner
    Linearity and the Pi-Calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:358-371 [Conf]
  31. Cédric Fournet, Georges Gonthier
    The Reflexive CHAM and the Join-Calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:372-385 [Conf]
  32. Andrew D. Gordon, Gareth D. Rees
    Bisimilarity for a First-Order Calculus of Objects with Subtyping. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:386-395 [Conf]
  33. Martín Abadi, Luca Cardelli, Ramesh Viswanathan
    An Interpretation of Objects and Object Types. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:396-409 [Conf]
  34. John Hughes, Lars Pareto, Amr Sabry
    Proving the Correctness of Reactive Systems Using Sized Types. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:410-423 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002