Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

18

(FIVE YEARS 0)

Published By ACM Press

0897912527

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A proper extension of ML with an effective type-assignment

Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88 ◽

10.1145/73560.73565 ◽

1988 ◽

Author(s):

A. J. Kfoury ◽

J. Tiuryn ◽

P. Urzyczyn

Keyword(s):

Proper Extension ◽

Type Assignment

Download Full-text

Inheritance in smalltalk-80: a denotational definition

Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88 ◽

10.1145/73560.73567 ◽

1988 ◽

Author(s):

S. Kamin

Download Full-text

Efficient dataflow analysis of logic programs

Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88 ◽

10.1145/73560.73583 ◽

1988 ◽

Author(s):

S. K. Debray

Keyword(s):

Dataflow Analysis ◽

Download Full-text

A collecting interpretation of expressions

Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88 ◽

10.1145/73560.73570 ◽

1988 ◽

Author(s):

P. Hudak ◽

J. Young

Download Full-text

On the adequacy of program dependence graphs for representing programs

Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88 ◽

10.1145/73560.73573 ◽

1988 ◽

Author(s):

S. Horwitz ◽

J. Prins ◽

T. Reps

Keyword(s):

Dependence Graphs ◽

Program Dependence

Download Full-text

A compositional approach to superimposition

Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88 ◽

10.1145/73560.73581 ◽

1988 ◽

Author(s):

L. Bougé ◽

N. Francez

Keyword(s):

Compositional Approach

Download Full-text

Supernode partitioning

Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88 ◽

10.1145/73560.73588 ◽

1988 ◽

Author(s):

F. Irigoin ◽

R. Triolet

Download Full-text

Global value numbers and redundant computations

Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88 ◽

10.1145/73560.73562 ◽

1988 ◽

Author(s):

B. K. Rosen ◽

M. N. Wegman ◽

F. K. Zadeck

Download Full-text

Bisimulation can't be traced

Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88 ◽

10.1145/73560.73580 ◽

1988 ◽

Author(s):

B. Bloom ◽

S. Istrail ◽

A. R. Meyer

Download Full-text

Lifetime analysis of dynamically allocated objects

Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88 ◽

10.1145/73560.73585 ◽

1988 ◽

Author(s):

C. Ruggieri ◽

T. P. Murtagh

Keyword(s):

Lifetime Analysis

Download Full-text