Search results for "POPL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Raghu Ramakrishnan 0001	Parallelism in Logic Programs.	POPL	1990	DBLP DOI BibTeX RDF
1	Andrea Asperti, Gian-Luigi Ferrari 0002, Roberto Gorrieri	Implicative Formulae in the "Proofs as Computations" Analogy.	POPL	1990	DBLP DOI BibTeX RDF
1	Alan J. Demers, Mark D. Weiser, Barry Hayes, Hans-Juergen Boehm, Daniel G. Bobrow, Scott Shenker	Combining Generational and Conservative Garbage Collection: Framework and Implementations.	POPL	1990	DBLP DOI BibTeX RDF
1	Yves Lafont	Interaction Nets.	POPL	1990	DBLP DOI BibTeX RDF
1	R. Ramesh 0001, I. V. Ramakrishnan, David Scott Warren	Automata-Driven Indexing of Prolog Clauses.	POPL	1990	DBLP DOI BibTeX RDF	Prolog
1	Frances E. Allen (eds.)	Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, USA, January 1990	POPL	1990	DBLP BibTeX RDF
1	John Field	On Laziness and Optimality in Lambda Interpreters: Tools for Specification and Analysis.	POPL	1990	DBLP DOI BibTeX RDF
1	Justin O. Graver, Ralph E. Johnson	A Type System for Smalltalk.	POPL	1990	DBLP DOI BibTeX RDF	Smalltalk
1	Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy	Explicit Substitutions.	POPL	1990	DBLP DOI BibTeX RDF
1	John Lamping	An Algorithm for Optimal Lambda Calculus Reduction.	POPL	1990	DBLP DOI BibTeX RDF
1	Alain Deutsch	On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications.	POPL	1990	DBLP DOI BibTeX RDF
1	Vijay A. Saraswat, Martin C. Rinard	Concurrent Constraint Programming.	POPL	1990	DBLP DOI BibTeX RDF
1	François Rouaix	Safe Run-time Overloading.	POPL	1990	DBLP DOI BibTeX RDF	ML
1	Thomas J. Marlowe, Barbara G. Ryder	An Efficient Hybrid Algorithm for Incremental Data Flow Analysis.	POPL	1990	DBLP DOI BibTeX RDF
1	John C. Mitchell	Toward a Typed Foundation for Method Specialization and Inheritance.	POPL	1990	DBLP DOI BibTeX RDF
1	Paul C. Attie, Nissim Francez, Orna Grumberg	Fairness and Hyperfairness in Multi-Party Interactions.	POPL	1990	DBLP DOI BibTeX RDF
1	José Meseguer 0001	Relating Models of Polymorphism.	POPL	1989	DBLP DOI BibTeX RDF
1	Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin	Dynamic Typing in a Statically-Typed Language. (long version: TOPLAS 13 (2): 237-268 (1991))	POPL	1989	DBLP DOI BibTeX RDF
1	Douglas Stott Parker Jr.	Partial Order Programming.	POPL	1989	DBLP DOI BibTeX RDF
1	Bent Thomsen	A Calculus of Higher Order Communicating Systems.	POPL	1989	DBLP DOI BibTeX RDF	CCS
1	Christine Paulin-Mohring	Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions.	POPL	1989	DBLP DOI BibTeX RDF	ML
1	Shmuel Sagiv, Orit Edelstein, Nissim Francez, Michael Rodeh	Resolving Circularity in Attribute Grammars with Applications to Data Flow Analysis.	POPL	1989	DBLP DOI BibTeX RDF
1	William W. Pugh, Tim Teitelbaum	Incremental Computation via Function Caching.	POPL	1989	DBLP DOI BibTeX RDF
1	K. Gopinath, John L. Hennessy	Copy Elimination in Functional Languages.	POPL	1989	DBLP DOI BibTeX RDF
1	Peter D. Mosses	Unified Algebras and Modules.	POPL	1989	DBLP DOI BibTeX RDF
1	William Baxter, Henry R. Bauer III	The Program Dependence Graph and Vectorization.	POPL	1989	DBLP DOI BibTeX RDF
1	E. Allen Emerson, Tom Sadler, Jai Srinivasan	Efficient Temporal Reasoning.	POPL	1989	DBLP DOI BibTeX RDF
1	Katherine A. Yelick, Joseph L. Zachary	Moded Type Systems for Logic Programming.	POPL	1989	DBLP DOI BibTeX RDF
1	Paul C. Attie, E. Allen Emerson	Synthesis of Concurrent Systems with Many Similar Sequential Processes.	POPL	1989	DBLP DOI BibTeX RDF
1	Rebecca Parsons Selke	A Rewriting Semantics for Program Dependence Graphs.	POPL	1989	DBLP DOI BibTeX RDF
1	Nachum Dershowitz, Stéphane Kaplan	Rewrite, Rewrite, Rewrite, Rewrite, Rewrite.	POPL	1989	DBLP DOI BibTeX RDF
1	Marianne Baudinet	Temporal Logic Programming is Complete and Expressive.	POPL	1989	DBLP DOI BibTeX RDF
1	Keith D. Cooper, Ken Kennedy	Fast Interprocedural Alias Analysis.	POPL	1989	DBLP DOI BibTeX RDF
1	Didier Rémy	Typechecking Records and Variants in a Natural Extension of ML.	POPL	1989	DBLP DOI BibTeX RDF	ML
1	Haim Gaifman, Ehud Shapiro	Fully Abstract Compositional Semantics for Logic Programs.	POPL	1989	DBLP DOI BibTeX RDF
1	Timothy J. Hickey	CLP* and Constraint Abstraction.	POPL	1989	DBLP DOI BibTeX RDF	Prolog
1	Philip Wadler, Stephen Blott	How to Make ad-hoc Polymorphism Less ad-hoc.	POPL	1989	DBLP DOI BibTeX RDF	ML
1	Gennaro Monteleone	Generalized Conjunctive Types.	POPL	1989	DBLP DOI BibTeX RDF
1	Andrew W. Appel, Trevor Jim	Continuation-Passing, Closure-Passing Style.	POPL	1989	DBLP DOI BibTeX RDF	ML
1	Kim Guldstrand Larsen, Arne Skou	Bisimulation Through Probabilistic Testing.	POPL	1989	DBLP DOI BibTeX RDF
1	Paris C. Kanellakis, John C. Mitchell	Polymorphic Unification and ML Typing.	POPL	1989	DBLP DOI BibTeX RDF	ML
1	Richard Kelsey, Paul Hudak	Realistic Compilation by Program Transformation.	POPL	1989	DBLP DOI BibTeX RDF	T
1	Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck	An Efficient Method of Computing Static Single Assignment Form. (long version: TOPLAS 13(4): 451-490 (1991))	POPL	1989	DBLP DOI BibTeX RDF
1		Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989	POPL	1989	DBLP BibTeX RDF
1	Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson	The Modula-3 Type System.	POPL	1989	DBLP DOI BibTeX RDF	Modula
1	Bengt Jonsson 0001	A Fully Abstract Trace Model for Dataflow Networks.	POPL	1989	DBLP DOI BibTeX RDF
1	Amir Pnueli, Roni Rosner	On the Synthesis of a Reactive Module.	POPL	1989	DBLP DOI BibTeX RDF
1	Luc Bougé, Nissim Francez	A Compositional Approach to Superimposition.	POPL	1988	DBLP DOI BibTeX RDF	CSP
1	Albert R. Meyer, Kurt Sieber	Towards Fully Abstract Semantics for Local Variables.	POPL	1988	DBLP DOI BibTeX RDF	ALGOL
1	John M. Lucassen, David K. Gifford	Polymorphic Effect Systems.	POPL	1988	DBLP DOI BibTeX RDF
1	Paul Hudak, Jonathan Young	A Collecting Interpretation of Expressions (Without Powerdomains). (long version: TOPLAS 13(2): 269-290 (1991))	POPL	1988	DBLP DOI BibTeX RDF
1	Ryan Stansifer	Type Inference with Subtypes.	POPL	1988	DBLP DOI BibTeX RDF
1	Bard Bloom, Sorin Istrail, Albert R. Meyer	Bisimulation Can't Be Traced. (long version: JACM 42(1): 232-268 (1995))	POPL	1988	DBLP DOI BibTeX RDF
1	Saumya K. Debray	Efficient Dataflow Analysis of Logic Programs.	POPL	1988	DBLP DOI BibTeX RDF
1	Susan Horwitz, Jan F. Prins, Thomas W. Reps	Integrating Non-Interfering Versions of Programs.	POPL	1988	DBLP DOI BibTeX RDF
1	Susan Horwitz, Jan F. Prins, Thomas W. Reps	On the Adequacy of Program Dependence Graphs for Representing Programs.	POPL	1988	DBLP DOI BibTeX RDF
1	Matthias Felleisen	The Theory and Practice of First-Class Prompts.	POPL	1988	DBLP DOI BibTeX RDF
1	Hanne Riis Nielson, Flemming Nielson	Automatic Binding Time Analysis for a Typed Lambda-Calculus.	POPL	1988	DBLP DOI BibTeX RDF
1	François Irigoin, Rémi Triolet	Supernode Partitioning.	POPL	1988	DBLP DOI BibTeX RDF
1	Margaret Montenyohl, Mitchell Wand	Correct Flow Analysis in Continuation Semantics.	POPL	1988	DBLP DOI BibTeX RDF
1	Martin D. Carroll, Barbara G. Ryder	Incremental Data Flow Analysis via Dominator and Attribute Updates.	POPL	1988	DBLP DOI BibTeX RDF
1	Jeanne Ferrante, Peter Mager (eds.)	Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, USA, January 10-13, 1988	POPL	1988	DBLP BibTeX RDF
1	Cristina Ruggieri, Thomas P. Murtagh	Lifetime Analysis of Dynamically Allocated Objects.	POPL	1988	DBLP DOI BibTeX RDF
1	Luca Cardelli	Structural Subtyping and the Notion of Power Type.	POPL	1988	DBLP DOI BibTeX RDF
1	Bowen Alpern, Mark N. Wegman, F. Kenneth Zadeck	Detecting Equality of Variables in Programs.	POPL	1988	DBLP DOI BibTeX RDF
1	A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn	A Proper Extension of ML with an Effective Type-Assignment.	POPL	1988	DBLP DOI BibTeX RDF	ML
1	Gregory F. Johnson, Dominic Duggan	Stores and Partial Continuations as First-Class Objects in a Language and its Environment.	POPL	1988	DBLP DOI BibTeX RDF
1	Eduardo Pelegrí-Llopart, Susan L. Graham	Optimal Code Generation for Expression Trees: An Application of BURS Theory.	POPL	1988	DBLP DOI BibTeX RDF
1	Samuel N. Kamin	Inheritance in Smalltalk-80: A Denotational Definition.	POPL	1988	DBLP DOI BibTeX RDF	ML, Smalltalk-80
1	John H. Williams, Edward L. Wimmers	Sacrificing Simplicity for Convenience: Where Do You Draw the Line?	POPL	1988	DBLP DOI BibTeX RDF	FP
1	Philip Wadler	Strictness Analysis Aids Time Analysis.	POPL	1988	DBLP DOI BibTeX RDF
1	Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck	Global Value Numbers and Redundant Computations.	POPL	1988	DBLP DOI BibTeX RDF
1	Moshe Y. Vardi	A Temporal Fixpoint Calculus.	POPL	1988	DBLP DOI BibTeX RDF
1	Monica Lam 0001	Compiler Optimizations for Asynchronous Systolic Array Programs.	POPL	1988	DBLP DOI BibTeX RDF
1	Stephen J. Garland, John V. Guttag	Inductive Methods for Reasoning about Abstract Data Types.	POPL	1988	DBLP DOI BibTeX RDF
1	John C. Mitchell, Robert Harper 0001	The Essence of ML. (long version: TOPLAS 15(2): 211-252 (1993))	POPL	1988	DBLP DOI BibTeX RDF	ML
1	Peter Lee 0001, Uwe F. Pleban	A Realistic Compiler Generator Based on High-Level Semantics.	POPL	1987	DBLP DOI BibTeX RDF
1	Anne Neirynck, Prakash Panangaden, Alan J. Demers	Computation of Aliases and Support Sets.	POPL	1987	DBLP DOI BibTeX RDF
1	Randy Allen, David Callahan, Ken Kennedy	Automatic Decomposition of Scientific Programs for Parallel Execution.	POPL	1987	DBLP DOI BibTeX RDF
1	Daniel Leivant, Tim Fernando	Skinny and Fleshy Failures of Relative Completeness.	POPL	1987	DBLP DOI BibTeX RDF
1	David Bernstein, Jeffrey M. Jaffe, Michael Rodeh	Scheduling Arithmetic and Load Operations in Parallel with No Spilling.	POPL	1987	DBLP DOI BibTeX RDF
1	Jennifer Widom, David Gries, Fred B. Schneider	Completeness and Incompleteness of Trace-Based Network Proof Systems.	POPL	1987	DBLP DOI BibTeX RDF
1	David R. Chase	An Improvement to Bottom-up Tree Pattern Matching.	POPL	1987	DBLP DOI BibTeX RDF
1	Cordelia V. Hall, David S. Wise	Compiling Strictness into Streams.	POPL	1987	DBLP DOI BibTeX RDF	Daisy
1	Eugene W. Stark	Concurrent Transition System Semantics of Process Networks.	POPL	1987	DBLP DOI BibTeX RDF
1	Vijay A. Saraswat	The Concurrent Logic Programming Language CP: Definition and Operational Semantics.	POPL	1987	DBLP DOI BibTeX RDF	Prolog
1	Flemming Nielson	Strictness Analysis and Denotational Abstract Interpretation.	POPL	1987	DBLP DOI BibTeX RDF
1	Tsung-Min Kuo, Prateek Mishra	On Strictness and its Analysis.	POPL	1987	DBLP DOI BibTeX RDF	ML
1	Eugene E. Kohlbecker, Mitchell Wand	Macro-by-Example: Deriving Syntactic Transformations from their Specifications.	POPL	1987	DBLP DOI BibTeX RDF
1	David Gelernter, Suresh Jagannathan, Thomas London	Environments as First Class Objects.	POPL	1987	DBLP DOI BibTeX RDF	LISP
1	Frank J. Oles	Semantics for Concurrency without Powerdomains.	POPL	1987	DBLP DOI BibTeX RDF
1	Philip Wadler	Views: A Way for Pattern Matching to Cohabit with Data Abstraction.	POPL	1987	DBLP DOI BibTeX RDF
1	Maurice Herlihy, Jeannette M. Wing	Axioms for Concurrent Objects.	POPL	1987	DBLP DOI BibTeX RDF
1	M. Drew Moshier, William C. Rounds	A Logic for Partially Specified Data Structures.	POPL	1987	DBLP DOI BibTeX RDF
1	Matthias Felleisen, Daniel P. Friedman	A Calculus for Assignments in Higher-Order Languages.	POPL	1987	DBLP DOI BibTeX RDF
1	Zohar Manna, Amir Pnueli	Specification and Verification of Concurrent Programs By Forall-Automata.	POPL	1987	DBLP DOI BibTeX RDF
1	Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman	Empty Types in Polymorphic Lambda Calculus.	POPL	1987	DBLP DOI BibTeX RDF
1	Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice	Lustre: A Declarative Language for Programming Synchronous Systems.	POPL	1987	DBLP DOI BibTeX RDF
1	Pierre Jouvelot	Semantic Parallelization: A Practical Exercise in Abstract Interpretation.	POPL	1987	DBLP DOI BibTeX RDF
1		Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987	POPL	1987	DBLP BibTeX RDF

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