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

TOTAL DOCUMENTS

30

(FIVE YEARS 0)

H-INDEX

18

(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 ◽

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 ◽

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 ◽

Author(s):

K. A. Yelick ◽

J. L. Zachary

Keyword(s):

Logic Programming ◽

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 ◽

Author(s):

K. D. Cooper ◽

K. Kennedy

Keyword(s):

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 ◽

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 ◽

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 ◽

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 ◽

Author(s):

C. Paulin-Mohring

Keyword(s):

Calculus Of Constructions

Download Full-text

How to make ad-hoc polymorphism less ad hoc

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

10.1145/75277.75283 ◽

1989 ◽

Author(s):

P. Wadler ◽

S. Blott

Keyword(s):

Download Full-text

Polymorphic unification and ML typing

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

10.1145/75277.75286 ◽

1989 ◽

Author(s):

P. C. Kanellakis ◽

J. C. Mitchell

Download Full-text