Search results for "POPL"

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

Publications at "POPL"( http://dblp.L3S.de/Venues/POPL )