|
|
Conferences in DBLP
- Bowen Alpern, Mark N. Wegman, F. Kenneth Zadeck
Detecting Equality of Variables in Programs. [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:1-11 [Conf]
- Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck
Global Value Numbers and Redundant Computations. [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:12-27 [Conf]
- John C. Mitchell, Robert Harper
The Essence of ML. [Citation Graph (1, 0)][DBLP]
POPL, 1988, pp:28-46 [Conf]
- John M. Lucassen, David K. Gifford
Polymorphic Effect Systems. [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:47-57 [Conf]
- A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn
A Proper Extension of ML with an Effective Type-Assignment. [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:58-69 [Conf]
- Luca Cardelli
Structural Subtyping and the Notion of Power Type. [Citation Graph (5, 0)][DBLP]
POPL, 1988, pp:70-79 [Conf]
- Samuel N. Kamin
Inheritance in Smalltalk-80: A Denotational Definition. [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:80-87 [Conf]
- Ryan Stansifer
Type Inference with Subtypes. [Citation Graph (2, 0)][DBLP]
POPL, 1988, pp:88-97 [Conf]
- Hanne Riis Nielson, Flemming Nielson
Automatic Binding Time Analysis for a Typed Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:98-106 [Conf]
- Paul Hudak, Jonathan Young
A Collecting Interpretation of Expressions (Without Powerdomains). [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:107-118 [Conf]
- Philip Wadler
Strictness Analysis Aids Time Analysis. [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:119-132 [Conf]
- Susan Horwitz, Jan Prins, Thomas W. Reps
Integrating Non-Interfering Versions of Programs. [Citation Graph (1, 0)][DBLP]
POPL, 1988, pp:133-145 [Conf]
- Susan Horwitz, Jan Prins, Thomas W. Reps
On the Adequacy of Program Dependence Graphs for Representing Programs. [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:146-157 [Conf]
- Gregory F. Johnson, Dominic Duggan
Stores and Partial Continuations as First-Class Objects in a Language and its Environment. [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:158-168 [Conf]
- John H. Williams, Edward L. Wimmers
Sacrificing Simplicity for Convenience: Where Do You Draw the Line? [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:169-179 [Conf]
- Matthias Felleisen
The Theory and Practice of First-Class Prompts. [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:180-190 [Conf]
- Albert R. Meyer, Kurt Sieber
Towards Fully Abstract Semantics for Local Variables. [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:191-203 [Conf]
- Margaret Montenyohl, Mitchell Wand
Correct Flow Analysis in Continuation Semantics. [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:204-218 [Conf]
- Stephen J. Garland, John V. Guttag
Inductive Methods for Reasoning about Abstract Data Types. [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:219-228 [Conf]
- Bard Bloom, Sorin Istrail, Albert R. Meyer
Bisimulation Can't Be Traced. [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:229-239 [Conf]
- Luc Bougé, Nissim Francez
A Compositional Approach to Superimposition. [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:240-249 [Conf]
- Moshe Y. Vardi
A Temporal Fixpoint Calculus. [Citation Graph (3, 0)][DBLP]
POPL, 1988, pp:250-259 [Conf]
- Saumya K. Debray
Efficient Dataflow Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:260-273 [Conf]
- Martin D. Carroll, Barbara G. Ryder
Incremental Data Flow Analysis via Dominator and Attribute Updates. [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:274-284 [Conf]
- Cristina Ruggieri, Thomas P. Murtagh
Lifetime Analysis of Dynamically Allocated Objects. [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:285-293 [Conf]
- Eduardo Pelegrí-Llopart, Susan L. Graham
Optimal Code Generation for Expression Trees: An Application of BURS Theory. [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:294-308 [Conf]
- Monica S. Lam
Compiler Optimizations for Asynchronous Systolic Array Programs. [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:309-318 [Conf]
- François Irigoin, Rémi Triolet
Supernode Partitioning. [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:319-329 [Conf]
|
