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

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

13

(FIVE YEARS 0)

Published By ACM Press

0897912152

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An improvement to bottom-up tree pattern matching

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

10.1145/41625.41640 ◽

1987 ◽

Author(s):

D. R. Chase

Keyword(s):

Pattern Matching ◽

Bottom Up ◽

Tree Pattern ◽

Tree Pattern Matching

Download Full-text

Automatic decomposition of scientific programs for parallel execution

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

10.1145/41625.41631 ◽

1987 ◽

Author(s):

r. Allen ◽

D. Callahan ◽

K. Kennedy

Keyword(s):

Parallel Execution ◽

Automatic Decomposition

Download Full-text

Skinny and fleshy failures of relative completeness

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

10.1145/41625.41647 ◽

1987 ◽

Author(s):

D. Leivant ◽

T. Fernando

Download Full-text

Semantic parallelization: a practical exercise in abstract interpretation

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

10.1145/41625.41629 ◽

1987 ◽

Author(s):

P. Jouvelot

Keyword(s):

Abstract Interpretation

Download Full-text

Semantics for concurrency without powerdomains

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

10.1145/41625.41644 ◽

1987 ◽

Author(s):

F. J. Oles

Download Full-text

Macro-by-example: Deriving syntactic transformations from their specifications

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

10.1145/41625.41632 ◽

1987 ◽

Author(s):

E. E. Kohlbecker ◽

M. Wand

Download Full-text

Concurrent transition system semantics of process networks

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

10.1145/41625.41643 ◽

1987 ◽

Author(s):

E. W. Stark

Keyword(s):

Transition System ◽

Process Networks

Download Full-text

Constraint logic programming

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

10.1145/41625.41635 ◽

1987 ◽

Author(s):

J. Jaffar ◽

J.-L. Lassez

Keyword(s):

Logic Programming ◽

Constraint Logic Programming

Download Full-text

Environments as first class objects

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

10.1145/41625.41634 ◽

1987 ◽

Author(s):

D. Gelernter ◽

S. Jagannathan ◽

T. London

Download Full-text

The concurrent logic programming language CP: Definition and operational semantics

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

10.1145/41625.41630 ◽

1987 ◽

Author(s):

V. A. Saraswat

Keyword(s):

Logic Programming ◽

Programming Language ◽

Operational Semantics ◽

Concurrent Logic Programming ◽

Logic Programming Language

Download Full-text