Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897916360

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Higher-order concurrent programs with finite communication topology (extended abstract)

Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 ◽

10.1145/174675.174538 ◽

1994 ◽

Cited By ~ 62

Author(s):

Hanne Riis Nielson ◽

Flemming Nielson

Keyword(s):

Higher Order ◽

Concurrent Programs ◽

Communication Topology

Download Full-text

Higher-order equational logic programming

Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 ◽

10.1145/174675.177889 ◽

1994 ◽

Cited By ~ 4

Author(s):

Zhenyu Qian

Keyword(s):

Logic Programming ◽

Higher Order ◽

Equational Logic

Download Full-text

Soft typing with conditional types

Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 ◽

10.1145/174675.177847 ◽

1994 ◽

Cited By ~ 77

Author(s):

Alexander Aiken ◽

Edward L. Wimmers ◽

T. K. Lakshman

Download Full-text

Decidable bounded quantification

Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 ◽

10.1145/174675.177844 ◽

1994 ◽

Cited By ~ 8

Author(s):

Giuseppe Castagna ◽

Benjamin C. Pierce

Download Full-text

Combinations of abstract domains for logic programming

Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 ◽

10.1145/174675.177880 ◽

1994 ◽

Cited By ~ 22

Author(s):

Agostino Cortesi ◽

Baudouin Le Charlier ◽

Pascal Van Hentenryck

Keyword(s):

Logic Programming ◽

Abstract Domains

Download Full-text

Manifest types, modules, and separate compilation

Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 ◽

10.1145/174675.176926 ◽

1994 ◽

Cited By ~ 102

Author(s):

Xavier Leroy

Keyword(s):

Separate Compilation

Download Full-text

Value dependence graphs

Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 ◽

10.1145/174675.177907 ◽

1994 ◽

Cited By ~ 36

Author(s):

Daniel Weise ◽

Roger F. Crew ◽

Michael Ernst ◽

Bjarne Steensgaard

Keyword(s):

Dependence Graphs

Download Full-text

Deriving algorithms from type inference systems

Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 ◽

10.1145/174675.177858 ◽

1994 ◽

Cited By ~ 20

Author(s):

Chris Hankin ◽

Daniel Le Métayer

Keyword(s):

Type Inference ◽

Inference Systems

Download Full-text

Memory subsystem performance of programs using copying garbage collection

Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 ◽

10.1145/174675.174710 ◽

1994 ◽

Cited By ~ 11

Author(s):

Amer Diwan ◽

David Tarditi ◽

Eliot Moss

Keyword(s):

Garbage Collection ◽

Memory Subsystem

Download Full-text

Multi-pass execution of functional logic programs

Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 ◽

10.1145/174675.177965 ◽

1994 ◽

Author(s):

Jukka Paakki

Keyword(s):

Logic Programs ◽

Functional Logic

Download Full-text

Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Higher-order concurrent programs with finite communication topology (extended abstract)

Higher-order equational logic programming

Soft typing with conditional types

Decidable bounded quantification

Combinations of abstract domains for logic programming

Manifest types, modules, and separate compilation

Value dependence graphs

Deriving algorithms from type inference systems

Memory subsystem performance of programs using copying garbage collection

Multi-pass execution of functional logic programs

Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94
Latest Publications