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

TOTAL DOCUMENTS

31

(FIVE YEARS 0)

H-INDEX

17

(FIVE YEARS 0)

Published By ACM Press

0897914198

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatic construction of sparse data flow evaluation graphs

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

10.1145/99583.99594 ◽

1991 ◽

Author(s):

Jong-Deok Choi ◽

Ron Cytron ◽

Jeanne Ferrante

Keyword(s):

Data Flow ◽

Sparse Data ◽

Automatic Construction

Download Full-text

Parameter-passing and the lambda calculus

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

10.1145/99583.99616 ◽

1991 ◽

Author(s):

Erik Crank ◽

Matthias Felleisen

Keyword(s):

Lambda Calculus ◽

Parameter Passing

Download Full-text

A theory of incremental computation and its application

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

10.1145/99583.99587 ◽

1991 ◽

Author(s):

R. S. Sundaresh ◽

Paul Hudak

Keyword(s):

Incremental Computation

Download Full-text

Algebraic reconstruction of types and effects

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

10.1145/99583.99623 ◽

1991 ◽

Author(s):

Pierre Jouvelot ◽

David Gifford

Keyword(s):

Algebraic Reconstruction

Download Full-text

Temporal proof methodologies for real-time systems

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

10.1145/99583.99629 ◽

1991 ◽

Author(s):

Tom Henzinger ◽

Zohar Manna ◽

Amir Pnueli

Keyword(s):

Real Time ◽

Real Time Systems ◽

Download Full-text

Subtyping recursive types

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

10.1145/99583.99600 ◽

1991 ◽

Author(s):

Roberto M. Amadio ◽

Luca Cardelli

Download Full-text

Pointer-induced aliasing: a problem taxonomy

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

10.1145/99583.99599 ◽

1991 ◽

Author(s):

William Landi ◽

Barbara G. Ryder

Download Full-text

A relational approach to strictness analysis for higher-order polymorphic functions

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

10.1145/99583.99593 ◽

1991 ◽

Author(s):

Samson Abramsky ◽

Thomas P. Jensen

Keyword(s):

Higher Order ◽

Relational Approach ◽

Strictness Analysis

Download Full-text

A dynamic extent control operator for partial continuations

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

10.1145/99583.99610 ◽

1991 ◽

Author(s):

Christian Queinnec ◽

Bernard Serpette

Keyword(s):

Control Operator

Download Full-text

Modeling concurrency with geometry

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

10.1145/99583.99625 ◽

1991 ◽

Author(s):

Vaughn Pratt

Download Full-text