Search results for "POPL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Cornelis Huizing, Rob Gerth, Willem P. de Roever	Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language.	POPL	1987	DBLP DOI BibTeX RDF
1	David R. Cheriton, Michael E. Wolf	Extensions for Multi-Module Records in Conventional Programming Languages.	POPL	1987	DBLP DOI BibTeX RDF
1	Krzysztof R. Apt, Nissim Francez, Shmuel Katz	Appraising Fairness in Languages for Distributed Programming.	POPL	1987	DBLP DOI BibTeX RDF
1	Val Tannen, Albert R. Meyer	Computable Values Can Be Classical.	POPL	1987	DBLP DOI BibTeX RDF
1	Jiazhen Cai, Robert Paige	Binding Performance at Language Design Time.	POPL	1987	DBLP DOI BibTeX RDF
1	Joxan Jaffar, Jean-Louis Lassez	Constraint Logic Programming.	POPL	1987	DBLP DOI BibTeX RDF	Prolog
1	Takuya Katayama, Hisashi Sasaki	Global Storage Allocation in Attribute Evaluation.	POPL	1986	DBLP DOI BibTeX RDF
1	Barbara Liskov, Maurice Herlihy, Lucy Gilbert	Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing.	POPL	1986	DBLP DOI BibTeX RDF
1	Roger Hoover	Dynamically Bypassing Copy Rule Chains in Attribute Grammars.	POPL	1986	DBLP DOI BibTeX RDF
1	Marina C. Chen	A Parallel Language and its Compilation to Multiprocessor Machines or VLSI.	POPL	1986	DBLP DOI BibTeX RDF
1	Stan Jefferson, Samuel N. Kamin	Executable Specifications with Quantifiers in the FASE System.	POPL	1986	DBLP DOI BibTeX RDF
1	Philip J. Hatcher, Thomas W. Christopher	High-Quality Code Generation Via Bottom-Up Tree Pattern Matching.	POPL	1986	DBLP DOI BibTeX RDF
1	Jia-Huai You, P. A. Subrahmanyam	Equational Logic Programming: An Extension to Equational Programming.	POPL	1986	DBLP DOI BibTeX RDF
1	Christian Lengauer, Chua-Huang Huang	A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks.	POPL	1986	DBLP DOI BibTeX RDF
1	Hassan Aït-Kaci, Roger Nasr	Logic and Inheritance.	POPL	1986	DBLP DOI BibTeX RDF
1	Ulrik Jørring, William L. Scherlis	Compilers and Staging Transformations.	POPL	1986	DBLP DOI BibTeX RDF
1	Albert R. Meyer, Mark B. Reinhold	"Type" Is Not A Type.	POPL	1986	DBLP DOI BibTeX RDF
1	Neil D. Jones, Alan Mycroft	Data Flow Analysis of Applicative Programs Using Minimal Function Graphs.	POPL	1986	DBLP DOI BibTeX RDF
1	Paul Hudak, Jonathan Young	Higher-Order Strictness Analysis in Untyped Lambda Calculus.	POPL	1986	DBLP DOI BibTeX RDF
1	Gregor Snelting, Wolfgang Henhapl	Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis.	POPL	1986	DBLP DOI BibTeX RDF
1	Pierre Wolper	Expressing Interesting Properties of Programs in Propositional Temporal Logic.	POPL	1986	DBLP DOI BibTeX RDF
1	Mitchell Wand	Finding the Source of Type Errors.	POPL	1986	DBLP DOI BibTeX RDF
1	Ron Cytron, Andy Lowry, F. Kenneth Zadeck	Code Motion of Control Structures in High-Level Languages.	POPL	1986	DBLP DOI BibTeX RDF
1	Paul Hudak, Lauren Smith	Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems.	POPL	1986	DBLP DOI BibTeX RDF
1	Gregory F. Johnson, Janet A. Walz	A Maximum-Flow Approach to Anomaly Isolation in Unification-Based Incremental Type Inference.	POPL	1986	DBLP DOI BibTeX RDF
1	Larry G. Jones, Janos Simon	Hierarchical VLSI Design Systems Based on Attribute Grammars.	POPL	1986	DBLP DOI BibTeX RDF
1	Nicholas Carriero, David Gelernter, Jerrold Leichter	Distributed Data Structures in Linda.	POPL	1986	DBLP DOI BibTeX RDF
1	David B. MacQueen	Using Dependent Types to Express Modular Structure.	POPL	1986	DBLP DOI BibTeX RDF
1	Howard Barringer, Ruurd Kuiper 0001, Amir Pnueli	A Really Abstract Concurrent Model and its Temporal Logic.	POPL	1986	DBLP DOI BibTeX RDF
1	Thomas W. Reps, Carla Marceau, Tim Teitelbaum	Remote Attribute Updating for Language-Based Editors.	POPL	1986	DBLP DOI BibTeX RDF
1	Reino Kurki-Suonio	Towards Programming with Knowledge Expressions.	POPL	1986	DBLP DOI BibTeX RDF
1		Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, USA, January 1986	POPL	1986	DBLP BibTeX RDF
1	Irene Greif, Robert Seliger, William E. Weihl	Atomic Data Abstractions in a Distributed Collaborative Editing System.	POPL	1986	DBLP DOI BibTeX RDF
1	John C. Mitchell	Representation Independence and Data Abstraction.	POPL	1986	DBLP DOI BibTeX RDF
1	Raghu Ramakrishnan 0001, Abraham Silberschatz	Annotations for Distributed Programming in Logic.	POPL	1986	DBLP DOI BibTeX RDF
1	Deborah S. Coutant	Retargetable High-Level Alias Analysis.	POPL	1986	DBLP DOI BibTeX RDF
1	Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten	Operational Semantics of a Parallel Object-Oriented Language.	POPL	1986	DBLP DOI BibTeX RDF
1	Daniel Leivant	Logical and Mathematical Reasoning about Imperative Programs.	POPL	1985	DBLP DOI BibTeX RDF
1	Mary S. Van Deusen, Zvi Galil, Brian K. Reid (eds.)	Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, New Orleans, Louisiana, USA, January 1985	POPL	1985	DBLP BibTeX RDF
1	Donald Sannella, Andrzej Tarlecki	Program Specification and Development in Standard ML.	POPL	1985	DBLP DOI BibTeX RDF	Standard ML
1	E. Allen Emerson, Chin-Laung Lei	Modalities for Model Checking: Branching Time Strikes Back.	POPL	1985	DBLP DOI BibTeX RDF
1	Lori L. Pollock, Mary Lou Soffa	Incremental Compilation of Locally Optimized Code.	POPL	1985	DBLP DOI BibTeX RDF
1	Andrew W. Appel	Semantics-Directed Code Generation.	POPL	1985	DBLP DOI BibTeX RDF
1	Van Nguyen, David Gries, Susan S. Owicki	A Model and Temporal Proof System for Networks of Processes.	POPL	1985	DBLP DOI BibTeX RDF
1	Paul Hudak, Adrienne G. Bloss	The Aggregate Update Problem in Functional Programming Systems.	POPL	1985	DBLP DOI BibTeX RDF
1	Daniel P. Friedman, Christopher T. Haynes	Constraining Control.	POPL	1985	DBLP DOI BibTeX RDF
1	Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer 0001	Principles of OBJ2.	POPL	1985	DBLP DOI BibTeX RDF	OBJ, OBJ
1	Gary Lindstrom	Functional Programming and the Logical Variable.	POPL	1985	DBLP DOI BibTeX RDF
1	Christopher W. Fraser, David R. Hanson	High-Level Language Facilities for Low-Level Services.	POPL	1985	DBLP DOI BibTeX RDF
1	Leslie Lamport, Fred B. Schneider	Constraints: A Uniform Approach to Aliasing and Typing.	POPL	1985	DBLP DOI BibTeX RDF
1	John C. Mitchell, Gordon D. Plotkin	Abstract Types Have Existential Type.	POPL	1985	DBLP DOI BibTeX RDF
1	Keith D. Cooper	Analyzing Aliases of Reference Formal Parameters.	POPL	1985	DBLP DOI BibTeX RDF
1	Robert Cartwright	Types as Intervals.	POPL	1985	DBLP DOI BibTeX RDF
1	Prateek Mishra, Uday S. Reddy	Declaration-Free Type Checking.	POPL	1985	DBLP DOI BibTeX RDF	equational languages, regular trees, solving inequations, type inference
1	Orna Lichtenstein, Amir Pnueli	Checking That Finite State Concurrent Programs Satisfy Their Linear Specification.	POPL	1985	DBLP DOI BibTeX RDF
1	Jeanne Ferrante, Mary E. Mace	On Linearizing Parallel Code.	POPL	1985	DBLP DOI BibTeX RDF
1	Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra	Compiling Path Expressions into VLSI Circuits.	POPL	1985	DBLP DOI BibTeX RDF
1	Julian A. Padget, John P. Fitch	Closurize and Concentrate.	POPL	1985	DBLP DOI BibTeX RDF	LISP
1	Ray Ford, Duangkaew Sawamiphakdi	A Greedy Approach to Incremental Code Generation.	POPL	1985	DBLP DOI BibTeX RDF	Pascal
1	Mark N. Wegman, F. Kenneth Zadeck	Constant Propagation with Conditional Branches. (long version: TOPLAS 13(2): 181-210 (1991))	POPL	1985	DBLP DOI BibTeX RDF
1	David Bernstein, Ron Y. Pinter, Michael Rodeh	Optimal Scheduling of Arithmetic Operations in Parallel with Memory Accesses.	POPL	1985	DBLP DOI BibTeX RDF
1	Michael B. Jones, Richard F. Rashid, Mary R. Thompson	Matchmaker: An Interface Specification Language for Distributed Processing.	POPL	1985	DBLP DOI BibTeX RDF	interface specification language, multi-targeted compiler, distributed systems, object-oriented languages, remote procedure call, interprocess communication
1	Gregory F. Johnson, Charles N. Fischer	A Meta-Language and System for Nonlocal Incremental Attribute Evaluation in Language-Based Editors.	POPL	1985	DBLP DOI BibTeX RDF
1	Leslie Lamport	What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority.	POPL	1985	DBLP DOI BibTeX RDF
1	Alfred V. Aho, Mahadevan Ganapathi	Efficient Tree Pattern Matching: An Aid to Code Generation.	POPL	1985	DBLP DOI BibTeX RDF
1	Mitchell Wand	Embedding Type Structure in Semantics.	POPL	1985	DBLP DOI BibTeX RDF
1	Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler	Denotational Semantics and Rewrite Rules for FP.	POPL	1985	DBLP DOI BibTeX RDF	FP
1	Walter F. Tichy, Mark C. Baker	Smart Recompilation.	POPL	1985	DBLP DOI BibTeX RDF
1	Reinhard Wilhelm	Inverse Currying Transformation on Attribute Grammars.	POPL	1984	DBLP DOI BibTeX RDF
1	Joe D. Warren	A Hierarchical Basis for Reordering Transformations.	POPL	1984	DBLP DOI BibTeX RDF
1	Don Milos, Uwe F. Pleban, George Loegel	Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited.	POPL	1984	DBLP DOI BibTeX RDF
1	Mitchell Wand	A Types-as-Sets Semantics for Milner-Style Polymorphism.	POPL	1984	DBLP DOI BibTeX RDF
1	Robert G. Bandes	Constraining-Unification and the Programming Language Unicorn.	POPL	1984	DBLP DOI BibTeX RDF
1	Prateek Mishra, Robert M. Keller	Static Inference of Properties of Applicative Programs.	POPL	1984	DBLP DOI BibTeX RDF
1	L. Peter Deutsch, Allan M. Schiffman	Efficient Implementation of the Smalltalk-80 System.	POPL	1984	DBLP DOI BibTeX RDF	Smalltalk-80
1	P. A. Subrahmanyam, Jia-Huai You	Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs.	POPL	1984	DBLP DOI BibTeX RDF
1	Steven D. Johnson	Applicative Programming and Digital Design.	POPL	1984	DBLP DOI BibTeX RDF
1	Jean-Jacques Thiel	Stop Losing Sleep Over Incomplete Data Type Specifications.	POPL	1984	DBLP DOI BibTeX RDF	Data types specifications, Completeness, Unification, Term rewriting systems, Substitutions, Equational theories
1	Dennis E. Shasha, Amir Pnueli, W. Ewald	Temporal Verification of Carrier-Sense Local Area Network Protocols.	POPL	1984	DBLP DOI BibTeX RDF
1	Jerald S. Schwarz, Dean Rubine	Treat - An Applicative Code Generator.	POPL	1984	DBLP DOI BibTeX RDF
1	Ken Kennedy, Mary S. Van Deusen, Larry Landweber (eds.)	Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, USA, January 1984	POPL	1984	DBLP BibTeX RDF
1	Eugene W. Myers	Efficient Applicative Data Types.	POPL	1984	DBLP DOI BibTeX RDF
1	Nissim Francez, Dexter Kozen	Generalized Fair Termination.	POPL	1984	DBLP DOI BibTeX RDF
1	Michal Grabowski	On Relative Completeness of Programming Logics.	POPL	1984	DBLP DOI BibTeX RDF
1	Paul Hudak, David A. Kranz	A Combinator-Based Compiler for a Functional Language.	POPL	1984	DBLP DOI BibTeX RDF
1	Mark Sherman 0001	Paragon: Novel Uses of Type Hierarchies for Data Abstraction.	POPL	1984	DBLP DOI BibTeX RDF	PARAGON
1	Brian Cantwell Smith	Reflection and Semantics in Lisp.	POPL	1984	DBLP DOI BibTeX RDF	LISP
1	Jean-Claude Raoult, Ravi Sethi	The Global Storage Needs of a Subcomputation.	POPL	1984	DBLP DOI BibTeX RDF
1	Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot	The Semantics of Local Storage, or What Makes the Free-List Free?	POPL	1984	DBLP DOI BibTeX RDF
1	David B. MacQueen, Gordon D. Plotkin, Ravi Sethi	An Ideal Model for Recursive Polymorphic Types.	POPL	1984	DBLP DOI BibTeX RDF
1	Norihisa Suzuki, Minoru Terada	Creating Efficient Systems for Object-Oriented Languages.	POPL	1984	DBLP DOI BibTeX RDF	Smalltalk-80
1	Christoph M. Hoffmann, Michael J. O'Donnell	Implementation of an Interpreter for Abstract Equations.	POPL	1984	DBLP DOI BibTeX RDF
1	Harold Ossher	Grids: A New Program Structuring Mechanism Based on Layered Graphs.	POPL	1984	DBLP DOI BibTeX RDF
1	Thomas P. Murtagh	A Less Dynamic Memory Allocation Scheme for Algol-like Languages.	POPL	1984	DBLP DOI BibTeX RDF	ALGOL
1	Richard C. Waters	Expressional Loops.	POPL	1984	DBLP DOI BibTeX RDF
1	John C. Mitchell	Coercion and Type Inference.	POPL	1984	DBLP DOI BibTeX RDF
1	Jean-Pierre Jouannaud, Hélène Kirchner	Completion of a Set of Rules Modulo a Set of Equations.	POPL	1984	DBLP DOI BibTeX RDF
1	Robert P. Nix	Editing by Example.	POPL	1984	DBLP DOI BibTeX RDF
1	Ehud Shapiro	Systems Programming in Concurrent Prolog.	POPL	1984	DBLP DOI BibTeX RDF	Concurrent Prolog
1	Thomas W. Reps, Bowen Alpern	Interactive Proof Checking.	POPL	1984	DBLP DOI BibTeX RDF

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