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

TOTAL DOCUMENTS

30

(FIVE YEARS 0)

H-INDEX

15

(FIVE YEARS 0)

Published By ACM Press

0897911474

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A greedy concurrent approach to incremental code generation

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

10.1145/318593.318634 ◽

1985 ◽

Author(s):

Ray Ford ◽

Duangkaew Sawamiphakdi

Keyword(s):

Code Generation

Download Full-text

Constant propagation with conditional branches

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

10.1145/318593.318659 ◽

1985 ◽

Author(s):

Mark N. Wegman ◽

Frank Kenneth Zadeck

Keyword(s):

Constant Propagation

Download Full-text

Embedding type structure in semantics

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

10.1145/318593.318602 ◽

1985 ◽

Author(s):

Mitchell Wand

Keyword(s):

Download Full-text

Program specification and development in standard ML

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

10.1145/318593.318614 ◽

1985 ◽

Author(s):

Donald Sannella ◽

Andrzej Tarlecki

Keyword(s):

Program Specification ◽

Download Full-text

A model and temporal proof system for networks of processes

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

10.1145/318593.318624 ◽

1985 ◽

Author(s):

Van Nguyen ◽

David Gries ◽

Susan Owicki

Keyword(s):

Download Full-text

On linearizing parallel code

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

10.1145/318593.318636 ◽

1985 ◽

Author(s):

Jeanne Ferrante ◽

Mary Mace

Keyword(s):

Download Full-text

Logical and mathematical reasoning about imperative programs

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

10.1145/318593.318625 ◽

1985 ◽

Author(s):

Daniel Leivant

Keyword(s):

Mathematical Reasoning

Download Full-text

Denotational semantics and rewrite rules for FP

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

10.1145/318593.318623 ◽

1985 ◽

Author(s):

Joseph Y. Halpern ◽

John H. Williams ◽

Edward L. Wimmers ◽

Timothy C. Winkler

Keyword(s):

Denotational Semantics ◽

Download Full-text

Declaration-free type checking

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

10.1145/318593.318603 ◽

1985 ◽

Author(s):

Prateek Mishra ◽

Uday S. Reddy

Keyword(s):

Download Full-text

Modalities for model checking (extended abstract)

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

10.1145/318593.318620 ◽

1985 ◽

Author(s):

E. Allen Emerson ◽

Chin-Laung Lei

Keyword(s):

Download Full-text