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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1581131259

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Sparse code motion

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

10.1145/325694.325715 ◽

2000 ◽

Cited By ~ 18

Author(s):

Oliver Rüthing ◽

Jens Knoop ◽

Bernhard Steffen

Keyword(s):

Sparse Code ◽

Code Motion

Download Full-text

Implicit parameters

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

10.1145/325694.325708 ◽

2000 ◽

Cited By ~ 57

Author(s):

Jeffrey R. Lewis ◽

John Launchbury ◽

Erik Meijer ◽

Mark B. Shields

Download Full-text

A new approach to generic functional programming

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

10.1145/325694.325709 ◽

2000 ◽

Cited By ~ 50

Author(s):

Ralf Hinze

Keyword(s):

Functional Programming ◽

New Approach

Download Full-text

Verifying secrets and relative secrecy

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

10.1145/325694.325729 ◽

2000 ◽

Cited By ~ 42

Author(s):

Dennis Volpano ◽

Geoffrey Smith

Download Full-text

Deciding type equivalence in a language with singleton kinds

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

10.1145/325694.325724 ◽

2000 ◽

Cited By ~ 20

Author(s):

Christopher A. Stone ◽

Robert Harper

Download Full-text

Resource bound certification

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

10.1145/325694.325716 ◽

2000 ◽

Cited By ~ 85

Author(s):

Karl Crary ◽

Stephnie Weirich

Keyword(s):

Resource Bound

Download Full-text

Generalized certificate revocation

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

10.1145/325694.325736 ◽

2000 ◽

Cited By ~ 20

Author(s):

Carl A. Gunter ◽

Trevor Jim

Keyword(s):

Certificate Revocation

Download Full-text

Transforming out timing leaks

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

10.1145/325694.325702 ◽

2000 ◽

Cited By ~ 168

Author(s):

Johan Agat

Download Full-text

Paths vs. trees in set-based program analysis

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

10.1145/325694.325730 ◽

2000 ◽

Cited By ~ 5

Author(s):

Witold Charatonik ◽

Andreas Podelski ◽

Jean-Marc Talbot

Keyword(s):

Program Analysis

Download Full-text

Efficient algorithms for pre* and post* on interprocedural parallel flow graphs

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

10.1145/325694.325697 ◽

2000 ◽

Cited By ~ 47

Author(s):

Javier Esparza ◽

Andreas Podelski

Keyword(s):

Efficient Algorithms ◽

Parallel Flow ◽

Flow Graphs

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Sparse code motion

Implicit parameters

A new approach to generic functional programming

Verifying secrets and relative secrecy

Deciding type equivalence in a language with singleton kinds

Resource bound certification

Generalized certificate revocation

Transforming out timing leaks

Paths vs. trees in set-based program analysis

Efficient algorithms for pre* and post* on interprocedural parallel flow graphs

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