Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897917693

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Static analysis to reduce synchronization costs in data-parallel programs

Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 ◽

10.1145/237721.237799 ◽

1996 ◽

Cited By ~ 19

Author(s):

Manish Gupta ◽

Edith Schonberg

Keyword(s):

Static Analysis ◽

Parallel Programs ◽

Data Parallel

Download Full-text

Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C

Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 ◽

10.1145/237721.237724 ◽

1996 ◽

Cited By ~ 131

Author(s):

Rakesh Ghiya ◽

Laurie J. Hendren

Keyword(s):

Shape Analysis ◽

Cyclic Graph

Download Full-text

Trace-based program analysis

Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 ◽

10.1145/237721.237776 ◽

1996 ◽

Cited By ~ 11

Author(s):

Christopher Colby ◽

Peter Lee

Keyword(s):

Program Analysis

Download Full-text

A modal analysis of staged computation

Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 ◽

10.1145/237721.237788 ◽

1996 ◽

Cited By ~ 60

Author(s):

Rowan Davies ◽

Frank Pfenning

Keyword(s):

Modal Analysis ◽

Staged Computation

Download Full-text

The reflexive CHAM and the join-calculus

Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 ◽

10.1145/237721.237805 ◽

1996 ◽

Cited By ~ 165

Author(s):

Cédric Fournet ◽

Georges Gonthier

Download Full-text

From region inference to von Neumann machines via region representation inference

Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 ◽

10.1145/237721.237771 ◽

1996 ◽

Cited By ~ 50

Author(s):

Lars Birkedal ◽

Mads Tofte ◽

Magnus Vejlstrup

Keyword(s):

Von Neumann ◽

Region Representation

Download Full-text

Putting type annotations to work

Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 ◽

10.1145/237721.237729 ◽

1996 ◽

Cited By ~ 64

Author(s):

Martin Odersky ◽

Konstantin Läufer

Download Full-text

Discovering auxiliary information for incremental computation

Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 ◽

10.1145/237721.237769 ◽

1996 ◽

Cited By ~ 9

Author(s):

Yanhong A. Liu ◽

Scott D. Stoller ◽

Tim Teitelbaum

Keyword(s):

Auxiliary Information ◽

Incremental Computation

Download Full-text

Optimization and relaxation in constraint logic languages

Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 ◽

10.1145/237721.237735 ◽

1996 ◽

Cited By ~ 11

Author(s):

Kannan Govindarajan ◽

Bharat Jayaraman ◽

Surya Mantha

Download Full-text

What are principal typings and what are they good for?

Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 ◽

10.1145/237721.237728 ◽

1996 ◽

Cited By ~ 47

Author(s):

Trevor Jim

Keyword(s):

Good For

Download Full-text

Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Static analysis to reduce synchronization costs in data-parallel programs

Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C

Trace-based program analysis

A modal analysis of staged computation

The reflexive CHAM and the join-calculus

From region inference to von Neumann machines via region representation inference

Putting type annotations to work

Discovering auxiliary information for incremental computation

Optimization and relaxation in constraint logic languages

What are principal typings and what are they good for?

Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96
Latest Publications