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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897913434

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Deciding ML typability is complete for deterministic exponential time

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

10.1145/96709.96748 ◽

1990 ◽

Cited By ~ 39

Author(s):

Harry G. Mairson

Keyword(s):

Exponential Time

Safe run-time overloading

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

10.1145/96709.96746 ◽

1990 ◽

Cited By ~ 5

Author(s):

Francois Rouaix

Keyword(s):

Run Time

Combining generational and conservative garbage collection: framework and implementations

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

10.1145/96709.96735 ◽

1990 ◽

Cited By ~ 46

Author(s):

Alan Demmers ◽

Mark Weiser ◽

Barry Hayes ◽

Hans Boehm ◽

Daniel Bobrow ◽

...

Keyword(s):

Garbage Collection

On the relations computable by a class of concurrent automata

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

10.1145/96709.96743 ◽

1990 ◽

Cited By ~ 8

Author(s):

Eugene W. Stark

Parallelism in logic programs

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

10.1145/96709.96734 ◽

1990 ◽

Cited By ~ 1

Author(s):

Raghu Ramakrishnan

Keyword(s):

Logic Programs

Automata-driven indexing of Prolog clauses

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

10.1145/96709.96738 ◽

1990 ◽

Cited By ~ 11

Author(s):

R. Ramesh ◽

I. V. Ramakrishnan ◽

D. S. Warren

Computable process

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

10.1145/96709.96716 ◽

1990 ◽

Author(s):

Yiannis N. Moschovakis

A relationship between abstract interpretation and projection analysis

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

10.1145/96709.96724 ◽

1990 ◽

Cited By ~ 10

Author(s):

Geoffrey Burn

Keyword(s):

Abstract Interpretation ◽

Projection Analysis

A formulae-as-type notion of control

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

10.1145/96709.96714 ◽

1990 ◽

Cited By ~ 188

Author(s):

Timothy G. Griffin

Making asynchronous parallelism safe for the world

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

10.1145/96709.96731 ◽

1990 ◽

Cited By ~ 42

Author(s):

Guy L. Steele

Keyword(s):

The World

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Deciding ML typability is complete for deterministic exponential time

Safe run-time overloading

Combining generational and conservative garbage collection: framework and implementations

On the relations computable by a class of concurrent automata

Parallelism in logic programs

Automata-driven indexing of Prolog clauses

Computable process

A relationship between abstract interpretation and projection analysis

A formulae-as-type notion of control

Making asynchronous parallelism safe for the world

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