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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897912942

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Synthesis of concurrent systems with many similar sequential processes (extended abstract)

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

10.1145/75277.75294 ◽

1989 ◽

Cited By ~ 5

Author(s):

P. C. Attie ◽

E. A. Emerson

Keyword(s):

Concurrent Systems ◽

Sequential Processes

Download Full-text

Efficient temporal reasoning (extended abstract)

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

10.1145/75277.75292 ◽

1989 ◽

Cited By ~ 7

Author(s):

E. A. Emerson ◽

T. Sadler ◽

J. Srinivasan

Keyword(s):

Temporal Reasoning

Download Full-text

Moded type systems for logic programming

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

10.1145/75277.75287 ◽

1989 ◽

Cited By ~ 4

Author(s):

K. A. Yelick ◽

J. L. Zachary

Keyword(s):

Logic Programming ◽

Type Systems

Download Full-text

Fast interprocedual alias analysis

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

10.1145/75277.75282 ◽

1989 ◽

Cited By ~ 39

Author(s):

K. D. Cooper ◽

K. Kennedy

Keyword(s):

Alias Analysis

Download Full-text

Realistic compilation by program transformation (detailed summary)

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

10.1145/75277.75302 ◽

1989 ◽

Cited By ~ 40

Author(s):

R. Kelsey ◽

P. Hudak

Keyword(s):

Program Transformation

Download Full-text

Relating models of polymorphism

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

10.1145/75277.75297 ◽

1989 ◽

Cited By ~ 4

Author(s):

J. Meseguer

Download Full-text

CLP and constraint abstraction

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

10.1145/75277.75288 ◽

1989 ◽

Cited By ~ 4

Author(s):

T. J. Hickey

Download Full-text

Extracting ω's programs from proofs in the calculus of constructions

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

10.1145/75277.75285 ◽

1989 ◽

Cited By ~ 43

Author(s):

C. Paulin-Mohring

Keyword(s):

Calculus Of Constructions

Download Full-text

Continuation-passing, closure-passing style

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

10.1145/75277.75303 ◽

1989 ◽

Cited By ~ 59

Author(s):

A. W. Appel ◽

T. Jim

Download Full-text

Resolving circularity in attribute grammars with applications to data flow analysis (preliminary version)

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

10.1145/75277.75281 ◽

1989 ◽

Cited By ~ 4

Author(s):

S. Sagiv ◽

O. Edelstein ◽

N. Francez ◽

M. Rodeh

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Attribute Grammars ◽

Data Flow Analysis ◽

Preliminary Version

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Synthesis of concurrent systems with many similar sequential processes (extended abstract)

Efficient temporal reasoning (extended abstract)

Moded type systems for logic programming

Fast interprocedual alias analysis

Realistic compilation by program transformation (detailed summary)

Relating models of polymorphism

CLP and constraint abstraction

Extracting ω's programs from proofs in the calculus of constructions

Continuation-passing, closure-passing style

Resolving circularity in attribute grammars with applications to data flow analysis (preliminary version)

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