Conferences in DBLP
Marc Snir Computer Architectures and Programming Models for Scalable Parallel Computing. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:1- [Conf ] 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 ] 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 ] 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 ] 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 ] Stephen Weeks , Matthias Felleisen On the Orthogonality of Assignments and Procedures in Algol. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:57-70 [Conf ] Simon L. Peyton Jones , Philip Wadler Imperative Functional Programming. [Citation Graph (1, 0)][DBLP ] POPL, 1993, pp:71-84 [Conf ] G. Berry , S. Ramesh , R. K. Shyamasundar Communicating Reactive Processes. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:85-98 [Conf ] Atsushi Ohori , Kazuhiko Kato Semantics for Communication Primitives in an Polymorphic Language. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:99-112 [Conf ] 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 ] Julia L. Lawall , Olivier Danvy Separating Stages in the Continuation-Passing Style Transformation. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:124-136 [Conf ] Mitchell Wand Specifying the Correctness of Binding-Time Analysis. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:137-143 [Conf ] John Launchbury A Natural Semantics for Lazy Evaluation. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:144-154 [Conf ] John C. Reynolds An Introduction to Logical Relations and Parametric Polymorphism - Tutorial. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:155-156 [Conf ] Martín Abadi , Luca Cardelli , Pierre-Louis Curien Formal Parametric Polymorphism. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:157-170 [Conf ] Peter W. O'Hearn , Robert D. Tennent Relational Parametricity and Local Variables. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:171-184 [Conf ] Jon G. Riecke , Ramesh Subrahmanyam Algebraic Reasoning and Completeness in Typed Languages. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:185-195 [Conf ] Nils Klarlund , Michael I. Schwartzbach Graph Types. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:196-205 [Conf ] Robert Harper , Mark Lillibridge Explicit Polymorphism and CPS Conversion. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:206-219 [Conf ] Xavier Leroy Polymorphism by Name for References and Continuations. [Citation Graph (1, 0)][DBLP ] POPL, 1993, pp:220-231 [Conf ] 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 ] 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 ] Harini Srinivasan , James Hook , Michael Wolfe Static Single Assignment for Explicitely Parallel Programs. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:260-272 [Conf ] Arun Lakhotia Constructing Call Multigraphs Using Dependence Graphs. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:273-284 [Conf ] 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 ] Benjamin C. Pierce , David N. Turner Object-Oriented Programming without Recursive Types. [Citation Graph (1, 0)][DBLP ] POPL, 1993, pp:299-312 [Conf ] Harry G. Mairson A Constructive Logic of Multiple Subtyping. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:313-324 [Conf ] Daniel Leivant Stratified Functional Programs and Computational Complexity. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:325-333 [Conf ] 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 ] Eric Villemonte de la Clergerie Layer Sharing: An Improved Structure-Sharing Framework. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:345-358 [Conf ] Annalisa Bossi , Michele Bugliesi Differential Logic Programming. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:359-370 [Conf ] 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 ] Samual Bates , Susan Horwitz Incremental Program Testing Using Program Dependence Graphs. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:384-396 [Conf ] Dhananjay M. Dhamdhere , Uday P. Khedker Complexity of Bidirectional Data Flow Analysis. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:397-408 [Conf ] Tobias Nipkow , Christian Prehofer Type Checking Type Classes. [Citation Graph (1, 0)][DBLP ] POPL, 1993, pp:409-418 [Conf ] Dexter Kozen , Jens Palsberg , Michael I. Schwartzbach Efficient Recursive Subtyping. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:419-428 [Conf ] Simon J. Gay A Sort Inference Algorithm for the Polyadic Pi-Calculus. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:429-438 [Conf ] Zhong Shao , Andrew W. Appel Smartest Recompilation. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:439-450 [Conf ] Michael Codish , Saumya K. Debray , Roberto Giacobazzi Compositional Analysis of Modular Logic Programs. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:451-464 [Conf ] Maria Virginia Aponte Extending Record Typing to Type Parametric Modules with Sharing. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:465-478 [Conf ] 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 ] Charles Consel , Olivier Danvy Tutorial Notes on Partial Evaluation. [Citation Graph (2, 0)][DBLP ] POPL, 1993, pp:493-501 [Conf ] G. Ramalingam , Thomas W. Reps A Categorized Bibliography on Incremental Computation. [Citation Graph (1, 0)][DBLP ] POPL, 1993, pp:502-510 [Conf ]