Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Klaus E. Schauser, David E. Culler, Seth Copen Goldstein |
Separation Constraint Partitioning - A New Algorithm for Partitioning Non-strict Programs into Sequential Threads. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
Parallel C |
1 | Ian Mackie |
The Geometry of Interaction Machine. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Robert Harper 0001, J. Gregory Morrisett |
Compiling Polymorphism Using Intensional Type Analysis. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
ML |
1 | Suresh Jagannathan, Stephen Weeks |
A Unified Treatment of Flow Analysis in Higher-Order Languages. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler |
The Call-by-Need Lambda Calculus. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | My Hoang, John C. Mitchell |
Lower Bounds on Type Inference with Subtypes. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Sandip K. Biswas |
Higher-Order Functors with Transparent Signatures. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
Standard ML |
1 | Ron K. Cytron, Peter Lee (eds.) |
Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995 |
POPL |
1995 |
DBLP BibTeX RDF |
|
1 | Vugranam C. Sreedhar, Guang R. Gao |
A Linear Time Algorithm for Placing phi-nodes. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Todd A. Proebsting |
Optimizing an ANSI C Interpreter with Superoperators. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
C |
1 | Bard Bloom |
Structured Operational Semantics as a Specification Language. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jens Palsberg, Patrick O'Keefe |
A Type System Equivalent to Flow Analysis. (long version: TOPLAS 17 (4): 576-599 (1995)) |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Steven Dawson, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren |
Unification Factoring for Efficient Execution of Logic Programs. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
Prolog |
1 | Luca Cardelli |
A Language with Distributed Scope. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Patrick M. Sansom, Simon L. Peyton Jones |
Time and Space Profiling for Non-Strict Higher-Order Functional Languages. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
Haskell |
1 | Sergei G. Vorobyov |
Structural Decidable Extensions of Bounded Quantification. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
(W)SnS, bounded universal type quantification, essential undecidability, parametric and inheritance polymorphisms, second-order polymorphic typed ?-calculus, system F?, decidability, subtyping, undecidability |
1 | Sheng Liang, Paul Hudak, Mark P. Jones |
Monad Transformers and Modular Interpreters. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Catherine Dubois, François Rouaix, Pierre Weis |
Generic Polymorphism. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
debugging, genericity, dynamics, ML, ML, polymorphism, functional language, type checking, Caml, ad-hoc polymorphism |
1 | E. Allen Emerson, Kedar S. Namjoshi |
Reasoning about Rings. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hofmann 0001, Benjamin C. Pierce |
Positive Subtyping. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bouajjani, Rachid Echahed, Peter Habermehl |
Verifying Infinite State Processes with Sequential and Parallel Composition. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David J. King, John Launchbury |
Structuring Depth-First Search Algorithms in Haskell. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
Haskell |
1 | Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa |
Demand-driven Computation of Interprocedural Data Flow. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David Sands 0001 |
Total Correctness by Local Improvement in Program Transformation. (long version: ACM Trans. Program. Lang. Syst. 18(2): 175-234(1996)) |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Thomas W. Reps, Susan Horwitz, Shmuel Sagiv |
Precise Interprocedural Dataflow Analysis via Graph Reachability. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
C |
1 | Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta 0001 |
Default Timed Concurrent Constraint Programming. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
constraint programming, reactive systems, denotational semantics, synchronous programming, semantics of concurrency |
1 | Rita Z. Altucher, William Landi |
An Extended Form of Must Alias Analysis for Dynamic Allocation. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jon G. Riecke, Ramesh Viswanathan |
Isolating Side Effects in Sequential Languages. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
Standard ML |
1 | Cormac Flanagan, Matthias Felleisen |
The Semantics of Future and Its Use in Program Optimizations. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
MULTILISP |
1 | John C. Reynolds |
Using Functor Categories to Generate Intermediate Code. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
ALGOL |
1 | Stephen D. Brookes, Denis Dancanet |
Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Mark W. Bailey, Jack W. Davidson |
A Formal Model of Procedure Calling Conventions. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Castagna, Benjamin C. Pierce |
Corrigendum: Decidable Bounded Quantification. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | John Field, G. Ramalingam, Frank Tip |
Parametric Program Slicing. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
C |
1 | John Plevyak, Xingbin Zhang, Andrew A. Chien |
Obtaining Sequential Efficiency for Concurrent Object-Oriented Languages. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Leroy |
Applicative Functors and Fully Transparent Higher-Order Modules. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
Standard ML |
1 | Giuseppe Castagna, Benjamin C. Pierce |
Decidable Bounded Quantification. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Bard Bloom |
CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda TErms. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Mitchell Wand, Paul Steckler |
Selective and Lightweight Closure Conversion. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jukka Paakki |
Multi-Pass Execution of Functional Logic Programs. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Hiralal Agrawal |
Dominators, Super Blocks, and Program Coverage. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Koenraad De Bosschere, Saumya K. Debray, David Gudeman, Sampath Kannan |
Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Fritz Henglein, Jesper Jørgensen |
Formally Optimal Boxing. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
representation analysis, polymorphism, type inference |
1 | Kim Marriott, Maria J. García de la Banda, Manuel V. Hermenegildo |
Analyzing Logic Programs with Dynamic Scheduling. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Zhenyu Qian |
Higher-Order Equational Logic Programming. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Robert Harper 0001, Mark Lillibridge |
A Type-Theoretic Approach to Higher-Order Modules with Sharing. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Hanne Riis Nielson, Flemming Nielson |
Higher-Order Concurrent Programs with Finite Communication Topology. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Leroy |
Manifest Types, Modules, and Separate Compilation. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | John Hatcliff, Olivier Danvy |
A Generic Account of Continuation-Passing Styles. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Vadim Maslov |
Lazy Array Data-Flow Dependence Analysis. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Lescanne |
From Lambda-sigma to Lambda-upsilon a Journey Through Calculi of Explicit Substitutions. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Satish Thatté |
Automated Synthesis of Interface Adapters for Reusable Classes. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Brad Calder, Dirk Grunwald |
Reducing Indirect Function call Overhead in C++ Programs. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
optimization, object oriented programming, customization, profile-based optimization |
1 | Rance Cleaveland, Daniel Yankelevich |
An Operational Framework for Value-Passing Processes. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Chris Hankin, Daniel Le Métayer |
Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Martin Odersky |
A Functional Theory of Local Names. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Rachid Echahed, Michael Hanus |
A Needed Narrowing Strategy. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Norman Ramsey |
Correctness of Trap-Based Breakpoint Implementations. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Filinski |
Representing Monads. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Aiken, Edward L. Wimmers, T. K. Lakshman |
Soft Typing with Conditional Types. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Mads Tofte, Jean-Pierre Talpin |
Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Garrigue, Hassan Aït-Kaci |
The Typed Polymorphic Label-Selective lambda-Calculus. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Guy L. Steele Jr. |
Building Interpreters by Composing Monads. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Weise, Roger F. Crew, Michael D. Ernst, Bjarne Steensgaard |
Value Dependence Graphs: Representation without Taxation. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Lawrence Feigen, David Klappholz, Robert Casazza, Xing Xue |
The Revival Transformation. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Amer Diwan, David Tarditi, J. Eliot B. Moss |
Memory Subsystem Performance of Programs Using Copying Garbage Collection. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | G. Ramalingam, Thomas W. Reps |
An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck |
Combinations of Abstract Domains for Logic Programming. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi |
Proving Concurrent Constraint Programs Correct. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Todd A. Proebsting, Christopher W. Fraser |
Detecting Pipeline Structural Hazards Quickly. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | John Boyland, Susan L. Graham |
Composing Tree Attributions. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Damien Doligez, Georges Gonthier |
Portable, Unobtrusive Garbage Collection for Multiprocessor Systems. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Dinesh Katiyar, David C. Luckham, John C. Mitchell |
A Type System for Prototyping Languages. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Juergen Boehm, Bernard Lang, Daniel M. Yellin (eds.) |
Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994 |
POPL |
1994 |
DBLP BibTeX RDF |
|
1 | Kohei Honda 0001, Nobuko Yoshida |
Combinatory Representation of Mobile Processes. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Robert Muller |
A Staging Calculus and its Application to the Verification of Translators. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Weeks, Matthias Felleisen |
On the Orthogonality of Assignments and Procedures in Algol. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
ALGOL-60, ALGOL |
1 | Benjamin C. Pierce, David N. Turner |
Object-Oriented Programming without Recursive Types. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Harry G. Mairson |
A Constructive Logic of Multiple Subtyping. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Mitchell Wand |
Specifying the Correctness of Binding-Time Analysis. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Kim Marriott, Peter J. Stuckey |
The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Kwangkeun Yi, Williams Ludwell Harrison III |
Automatic Generation and Management of Interprocedural Program Analyses. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
C, Z |
1 | Atsushi Ohori, Kazuhiko Kato |
Semantics for Communication Primitives in an Polymorphic Language. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
ML |
1 | Simon J. Gay |
A Sort Inference Algorithm for the Polyadic Pi-Calculus. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach |
Efficient Recursive Subtyping. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Harini Srinivasan, James Hook, Michael Wolfe |
Static Single Assignment for Explicitely Parallel Programs. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Nipkow, Christian Prehofer |
Type Checking Type Classes. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
Haskell |
1 | Martín Abadi, Luca Cardelli, Pierre-Louis Curien |
Formal Parametric Polymorphism. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Charles Consel, Olivier Danvy |
Tutorial Notes on Partial Evaluation. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Mary S. Van Deusen, Bernard Lang (eds.) |
Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993 |
POPL |
1993 |
DBLP BibTeX RDF |
|
1 | Ali-Reza Adl-Tabatabai, Thomas R. Gross |
Evicted Variables and the Interaction of Global Register Allocation and Symbolic Debugging. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Michael Codish, Saumya K. Debray, Roberto Giacobazzi |
Compositional Analysis of Modular Logic Programs. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Julia L. Lawall, Olivier Danvy |
Separating Stages in the Continuation-Passing Style Transformation. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
SCHEME |
1 | Jong-Deok Choi, Michael G. Burke, Paul R. Carini |
Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | John C. Reynolds |
An Introduction to Logical Relations and Parametric Polymorphism - Tutorial. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Marc Snir |
Computer Architectures and Programming Models for Scalable Parallel Computing. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Dhananjay M. Dhamdhere, Uday P. Khedker |
Complexity of Bidirectional Data Flow Analysis. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Maria-Virginia Aponte |
Extending Record Typing to Type Parametric Modules with Sharing. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
Standard ML |
1 | Arun Lakhotia |
Constructing Call Multigraphs Using Dependence Graphs. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Nils Klarlund, Michael I. Schwartzbach |
Graph Types. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|