The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium on Principles of Programming Languages (POPL) (popl)
1993 (conf/popl/93)

  1. Marc Snir
    Computer Architectures and Programming Models for Scalable Parallel Computing. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:1- [Conf]
  2. Dror E. Maydan, Saman P. Amarasinghe, Monica S. Lam
    Array Data-Flow Analysis and its Use in Array Privatization. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:2-15 [Conf]
  3. Siddhartha Chatterjee, John R. Gilbert, Robert Schreiber, Shang-Hua Teng
    Automatic Array Alignment in Data-Parallel Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:16-28 [Conf]
  4. Qi Ning, Guang R. Gao
    A Novel Framework of Register Allocation for Software Pipelining. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:29-42 [Conf]
  5. Martin Odersky, Dan Rabin, Paul Hudak
    Call by Name, Assignment, and the Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:43-56 [Conf]
  6. Stephen Weeks, Matthias Felleisen
    On the Orthogonality of Assignments and Procedures in Algol. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:57-70 [Conf]
  7. Simon L. Peyton Jones, Philip Wadler
    Imperative Functional Programming. [Citation Graph (1, 0)][DBLP]
    POPL, 1993, pp:71-84 [Conf]
  8. G. Berry, S. Ramesh, R. K. Shyamasundar
    Communicating Reactive Processes. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:85-98 [Conf]
  9. Atsushi Ohori, Kazuhiko Kato
    Semantics for Communication Primitives in an Polymorphic Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:99-112 [Conf]
  10. Damien Doligez, Xavier Leroy
    A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:113-123 [Conf]
  11. Julia L. Lawall, Olivier Danvy
    Separating Stages in the Continuation-Passing Style Transformation. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:124-136 [Conf]
  12. Mitchell Wand
    Specifying the Correctness of Binding-Time Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:137-143 [Conf]
  13. John Launchbury
    A Natural Semantics for Lazy Evaluation. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:144-154 [Conf]
  14. John C. Reynolds
    An Introduction to Logical Relations and Parametric Polymorphism - Tutorial. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:155-156 [Conf]
  15. Martín Abadi, Luca Cardelli, Pierre-Louis Curien
    Formal Parametric Polymorphism. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:157-170 [Conf]
  16. Peter W. O'Hearn, Robert D. Tennent
    Relational Parametricity and Local Variables. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:171-184 [Conf]
  17. Jon G. Riecke, Ramesh Subrahmanyam
    Algebraic Reasoning and Completeness in Typed Languages. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:185-195 [Conf]
  18. Nils Klarlund, Michael I. Schwartzbach
    Graph Types. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:196-205 [Conf]
  19. Robert Harper, Mark Lillibridge
    Explicit Polymorphism and CPS Conversion. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:206-219 [Conf]
  20. Xavier Leroy
    Polymorphism by Name for References and Continuations. [Citation Graph (1, 0)][DBLP]
    POPL, 1993, pp:220-231 [Conf]
  21. Jong-Deok Choi, Michael G. Burke, Paul R. Carini
    Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:232-245 [Conf]
  22. Kwangkeun Yi, Williams Ludwell Harrison III
    Automatic Generation and Management of Interprocedural Program Analyses. [Citation Graph (1, 0)][DBLP]
    POPL, 1993, pp:246-259 [Conf]
  23. Harini Srinivasan, James Hook, Michael Wolfe
    Static Single Assignment for Explicitely Parallel Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:260-272 [Conf]
  24. Arun Lakhotia
    Constructing Call Multigraphs Using Dependence Graphs. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:273-284 [Conf]
  25. Kim B. Bruce
    Safe Type Checking in a Statically-Typed Object-Oriented Programming Language. [Citation Graph (3, 0)][DBLP]
    POPL, 1993, pp:285-298 [Conf]
  26. Benjamin C. Pierce, David N. Turner
    Object-Oriented Programming without Recursive Types. [Citation Graph (1, 0)][DBLP]
    POPL, 1993, pp:299-312 [Conf]
  27. Harry G. Mairson
    A Constructive Logic of Multiple Subtyping. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:313-324 [Conf]
  28. Daniel Leivant
    Stratified Functional Programs and Computational Complexity. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:325-333 [Conf]
  29. Kim Marriott, Peter J. Stuckey
    The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:334-344 [Conf]
  30. Eric Villemonte de la Clergerie
    Layer Sharing: An Improved Structure-Sharing Framework. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:345-358 [Conf]
  31. Annalisa Bossi, Michele Bugliesi
    Differential Logic Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:359-370 [Conf]
  32. Ali-Reza Adl-Tabatabai, Thomas R. Gross
    Evicted Variables and the Interaction of Global Register Allocation and Symbolic Debugging. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:371-383 [Conf]
  33. Samual Bates, Susan Horwitz
    Incremental Program Testing Using Program Dependence Graphs. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:384-396 [Conf]
  34. Dhananjay M. Dhamdhere, Uday P. Khedker
    Complexity of Bidirectional Data Flow Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:397-408 [Conf]
  35. Tobias Nipkow, Christian Prehofer
    Type Checking Type Classes. [Citation Graph (1, 0)][DBLP]
    POPL, 1993, pp:409-418 [Conf]
  36. Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
    Efficient Recursive Subtyping. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:419-428 [Conf]
  37. Simon J. Gay
    A Sort Inference Algorithm for the Polyadic Pi-Calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:429-438 [Conf]
  38. Zhong Shao, Andrew W. Appel
    Smartest Recompilation. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:439-450 [Conf]
  39. Michael Codish, Saumya K. Debray, Roberto Giacobazzi
    Compositional Analysis of Modular Logic Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:451-464 [Conf]
  40. Maria Virginia Aponte
    Extending Record Typing to Type Parametric Modules with Sharing. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:465-478 [Conf]
  41. Shinn-Der Lee, Daniel P. Friedman
    Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:479-492 [Conf]
  42. Charles Consel, Olivier Danvy
    Tutorial Notes on Partial Evaluation. [Citation Graph (2, 0)][DBLP]
    POPL, 1993, pp:493-501 [Conf]
  43. G. Ramalingam, Thomas W. Reps
    A Categorized Bibliography on Incremental Computation. [Citation Graph (1, 0)][DBLP]
    POPL, 1993, pp:502-510 [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