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

TOTAL DOCUMENTS

32

(FIVE YEARS 0)

H-INDEX

22

(FIVE YEARS 0)

Published By ACM Press

0897919793

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

From polyvariant flow information to intersection and union types

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

10.1145/268946.268963 ◽

1998 ◽

Author(s):

Jens Palsberg ◽

Christina Pavlopoulou

Keyword(s):

Flow Information

Download Full-text

Parallelization in calculational forms

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

10.1145/268946.268972 ◽

1998 ◽

Author(s):

Zhenjiang Hu ◽

Masato Takeichi ◽

Wei-Ngan Chin

Download Full-text

Putting pointer analysis to work

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

10.1145/268946.268957 ◽

1998 ◽

Author(s):

Rakesh Ghiya ◽

Laurie J. Hendren

Keyword(s):

Pointer Analysis

Download Full-text

Alias analysis of executable code

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

10.1145/268946.268948 ◽

1998 ◽

Author(s):

Saumya Debray ◽

Robert Muth ◽

Matthew Weippert

Keyword(s):

Alias Analysis ◽

Executable Code

Download Full-text

Fast interprocedural class analysis

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

10.1145/268946.268965 ◽

1998 ◽

Author(s):

Greg DeFouw ◽

David Grove ◽

Craig Chambers

Keyword(s):

Download Full-text

Local type inference

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

10.1145/268946.268967 ◽

1998 ◽

Author(s):

Benjamin C. Pierce ◽

David N. Turner

Keyword(s):

Type Inference ◽

Download Full-text

Second-order unification and type inference for Church-style polymorphism

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

10.1145/268946.268969 ◽

1998 ◽

Author(s):

Aleksy Schubert

Keyword(s):

Second Order ◽

Download Full-text

Single and loving it

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

10.1145/268946.268973 ◽

1998 ◽

Author(s):

Suresh Jagannathan ◽

Peter Thiemann ◽

Stephen Weeks ◽

Andrew Wright

Download Full-text

A functional representation of data structures with a hole

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

10.1145/268946.268953 ◽

1998 ◽

Author(s):

Yasuhiko Minamide

Keyword(s):

Data Structures ◽

Functional Representation

Download Full-text

Escape analysis

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

10.1145/268946.268949 ◽

1998 ◽

Author(s):

Bruno Blanchet

Keyword(s):

Escape Analysis

Download Full-text