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

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

15

(FIVE YEARS 0)

Published By ACM Press

1581136285

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Discovering affine equalities using random interpretation

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

10.1145/604131.604138 ◽

2003 ◽

Author(s):

Sumit Gulwani ◽

George C. Necula

Download Full-text

From symptom to cause

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

10.1145/604131.604140 ◽

2003 ◽

Author(s):

Thomas Ball ◽

Mayur Naik ◽

Sriram K. Rajamani

Download Full-text

From control effects to typed continuation passing

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

10.1145/604131.604144 ◽

2003 ◽

Author(s):

Hayo Thielecke

Download Full-text

Selective memoization

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

10.1145/604131.604133 ◽

2003 ◽

Author(s):

Umut A. A. Acar ◽

Guy E. Blelloch ◽

Robert Harper

Download Full-text

Coercive subtyping for the calculus of constructions

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

10.1145/604131.604145 ◽

2003 ◽

Author(s):

Gang Chen

Keyword(s):

Calculus Of Constructions

Download Full-text

Static prediction of heap space usage for first-order functional programs

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

10.1145/604131.604148 ◽

2003 ◽

Author(s):

Martin Hofmann ◽

Steffen Jost

Keyword(s):

Download Full-text

New results on the computability and complexity of points--to analysis

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

10.1145/604131.604142 ◽

2003 ◽

Author(s):

Venkatesan T. Chakaravarthy

Download Full-text

Destructors, finalizers, and synchronization

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

10.1145/604131.604153 ◽

2003 ◽

Author(s):

Hans-J. Boehm

Download Full-text

Toward a foundational typed assembly language

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

10.1145/604131.604149 ◽

2003 ◽

Author(s):

Karl Crary

Keyword(s):

Assembly Language ◽

Typed Assembly Language

Download Full-text

A real-time garbage collector with low overhead and consistent utilization

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

10.1145/604131.604155 ◽

2003 ◽

Author(s):

David F. Bacon ◽

Perry Cheng ◽

V. T. Rajan

Keyword(s):

Real Time ◽

Garbage Collector

Download Full-text