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

TOTAL DOCUMENTS

38

(FIVE YEARS 0)

H-INDEX

13

(FIVE YEARS 0)

Published By ACM Press

0897910656

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Principal type-schemes for functional programs

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

10.1145/582153.582176 ◽

1982 ◽

Author(s):

Luis Damas ◽

Robin Milner

Keyword(s):

Download Full-text

Code generation and reorganization in the presence of pipeline constraints

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

10.1145/582153.582166 ◽

1982 ◽

Author(s):

John L. Hennessy ◽

Thomas R. Gross

Keyword(s):

Code Generation

Download Full-text

Lithe

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

10.1145/582153.582169 ◽

1982 ◽

Author(s):

David Sandberg

Download Full-text

On effective axiomatizations of Hoare logics

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

10.1145/582153.582186 ◽

1982 ◽

Author(s):

Edmund M. Clarke ◽

Steven M. German ◽

Joseph Y. Halpern

Download Full-text

Extended naming conventions for communicating processes

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

10.1145/582153.582158 ◽

1982 ◽

Author(s):

Nissim Francez

Keyword(s):

Communicating Processes

Download Full-text

Semantics and correctness of a query language translation

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

10.1145/582153.582184 ◽

1982 ◽

Author(s):

E. Gansner ◽

J. R. Horgan ◽

C. M. R. Kintala ◽

D. J. Moore ◽

P. Surko

Keyword(s):

Query Language ◽

Language Translation

Download Full-text

Programming aspects of VLSI

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

10.1145/582153.582160 ◽

1982 ◽

Author(s):

Richard J. Lipton ◽

Robert Sedgewick ◽

Jacobo Valdes

Download Full-text

Non-syntactic attribute flow in language based editors

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

10.1145/582153.582174 ◽

1982 ◽

Author(s):

Gregory F. Johnson ◽

Charles N. Fischer

Download Full-text

Optimal-time incremental semantic analysis for syntax-directed editors

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

10.1145/582153.582172 ◽

1982 ◽

Author(s):

Thomas Reps

Keyword(s):

Semantic Analysis ◽

Download Full-text

A semantics-directed compiler generator

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

10.1145/582153.582178 ◽

1982 ◽

Author(s):

Lawrence Paulson

Download Full-text