Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages - POPL '05
Latest Publications

TOTAL DOCUMENTS

31

(FIVE YEARS 0)

H-INDEX

21

(FIVE YEARS 0)

Published By ACM Press

158113830x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Transition predicate abstraction and fair termination

Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages - POPL '05 ◽

10.1145/1040305.1040317 ◽

2005 ◽

Author(s):

Andreas Podelski ◽

Andrey Rybalchenko

Keyword(s):

Predicate Abstraction

Download Full-text

Automated soundness proofs for dataflow analyses and transformations via local rules

Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages - POPL '05 ◽

10.1145/1040305.1040335 ◽

2005 ◽

Author(s):

Sorin Lerner ◽

Todd Millstein ◽

Erika Rice ◽

Craig Chambers

Download Full-text

Transactors

Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages - POPL '05 ◽

10.1145/1040305.1040322 ◽

2005 ◽

Author(s):

John Field ◽

Carlos A. Varela

Download Full-text

Associated types with class

Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages - POPL '05 ◽

10.1145/1040305.1040306 ◽

2005 ◽

Author(s):

Manuel M. T. Chakravarty ◽

Gabriele Keller ◽

Simon Peyton Jones ◽

Simon Marlow

Download Full-text

Separation logic and abstraction

Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages - POPL '05 ◽

10.1145/1040305.1040326 ◽

2005 ◽

Author(s):

Matthew Parkinson ◽

Gavin Bierman

Keyword(s):

Separation Logic

Download Full-text

Synthesis of interface specifications for Java classes

Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages - POPL '05 ◽

10.1145/1040305.1040314 ◽

2005 ◽

Author(s):

Rajeev Alur ◽

Pavol ?ern� ◽

P. Madhusudan ◽

Wonhong Nam

Download Full-text

Mutatis mutandis

Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages - POPL '05 ◽

10.1145/1040305.1040321 ◽

2005 ◽

Author(s):

Gareth Stoyle ◽

Michael Hicks ◽

Gavin Bierman ◽

Peter Sewell ◽

Iulian Neamtiu

Download Full-text

Downgrading policies and relaxed noninterference

Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages - POPL '05 ◽

10.1145/1040305.1040319 ◽

2005 ◽

Author(s):

Peng Li ◽

Steve Zdancewic

Download Full-text

Scalable error detection using boolean satisfiability

Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages - POPL '05 ◽

10.1145/1040305.1040334 ◽

2005 ◽

Author(s):

Yichen Xie ◽

Alex Aiken

Keyword(s):

Error Detection ◽

Boolean Satisfiability

Download Full-text

A syntactic approach to eta equality in type theory

Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages - POPL '05 ◽

10.1145/1040305.1040312 ◽

2005 ◽

Author(s):

Healfdene Goguen

Keyword(s):

Type Theory ◽

Syntactic Approach

Download Full-text