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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

158113729x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A bisimulation for dynamic sealing

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

10.1145/964001.964015 ◽

2004 ◽

Cited By ~ 20

Author(s):

Eijiro Sumii ◽

Benjamin C. Pierce

Download Full-text

Atomizer

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

10.1145/964001.964023 ◽

2004 ◽

Cited By ~ 169

Author(s):

Cormac Flanagan ◽

Stephen N Freund

Download Full-text

Formalization of generics for the .NET common language runtime

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

10.1145/964001.964005 ◽

2004 ◽

Cited By ~ 14

Author(s):

Dachuan Yu ◽

Andrew Kennedy ◽

Don Syme

Keyword(s):

Common Language ◽

Common Language Runtime

Download Full-text

Asynchronous and deterministic objects

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

10.1145/964001.964012 ◽

2004 ◽

Cited By ~ 23

Author(s):

Denis Caromel ◽

Ludovic Henrio ◽

Bernard Paul Serpette

Download Full-text

Polymorphic typed defunctionalization

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

10.1145/964001.964009 ◽

2004 ◽

Cited By ~ 5

Author(s):

François Pottier ◽

Nadji Gauthier

Download Full-text

A logic you can count on

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

10.1145/964001.964013 ◽

2004 ◽

Cited By ~ 14

Author(s):

Silvano Dal Zilio ◽

Denis Lugiez ◽

Charles Meyssonnier

Download Full-text

Abstractions from proofs

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

10.1145/964001.964021 ◽

2004 ◽

Cited By ~ 202

Author(s):

Thomas A. Henzinger ◽

Ranjit Jhala ◽

Rupak Majumdar ◽

Kenneth L. McMillan

Download Full-text

Incremental execution of transformation specifications

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

10.1145/964001.964004 ◽

2004 ◽

Cited By ~ 14

Author(s):

Ganesh Sittampalam ◽

Oege de Moor ◽

Ken Friis Larsen

Download Full-text

Simple relational correctness proofs for static analyses and program transformations

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

10.1145/964001.964003 ◽

2004 ◽

Cited By ~ 131

Author(s):

Nick Benton

Keyword(s):

Program Transformations ◽

Correctness Proofs

Download Full-text

Global value numbering using random interpretation

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

10.1145/964001.964030 ◽

2004 ◽

Cited By ~ 10

Author(s):

Sumit Gulwani ◽

George C. Necula

Keyword(s):

Value Numbering

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

A bisimulation for dynamic sealing

Atomizer

Formalization of generics for the .NET common language runtime

Asynchronous and deterministic objects

Polymorphic typed defunctionalization

A logic you can count on

Abstractions from proofs

Incremental execution of transformation specifications

Simple relational correctness proofs for static analyses and program transformations

Global value numbering using random interpretation

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