Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL'06
Latest Publications

TOTAL DOCUMENTS

36

(FIVE YEARS 0)

H-INDEX

18

(FIVE YEARS 0)

Published By ACM Press

1595930272

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Protecting representation with effect encapsulation

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL'06 ◽

10.1145/1111037.1111069 ◽

2006 ◽

Author(s):

Yi Lu ◽

John Potter

Download Full-text

Formal certification of a compiler back-end or

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL'06 ◽

10.1145/1111037.1111042 ◽

2006 ◽

Author(s):

Xavier Leroy

Download Full-text

Simplifying reductions

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL'06 ◽

10.1145/1111037.1111041 ◽

2006 ◽

Author(s):

Gautam ◽

S. Rajopadhye

Download Full-text

The next 700 data description languages

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL'06 ◽

10.1145/1111037.1111039 ◽

2006 ◽

Author(s):

Kathleen Fisher ◽

Yitzhak Mandelbaum ◽

David Walker

Keyword(s):

Data Description ◽

Description Languages

Download Full-text

Associating synchronization constraints with data in an object-oriented language

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL'06 ◽

10.1145/1111037.1111067 ◽

2006 ◽

Author(s):

Mandana Vaziri ◽

Frank Tip ◽

Julian Dolby

Keyword(s):

Object Oriented ◽

Synchronization Constraints

Download Full-text

Verifying properties of well-founded linked lists

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL'06 ◽

10.1145/1111037.1111048 ◽

2006 ◽

Author(s):

Shuvendu K. Lahiri ◽

Shaz Qadeer

Keyword(s):

Download Full-text

Small bisimulations for reasoning about higher-order imperative programs

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL'06 ◽

10.1145/1111037.1111050 ◽

2006 ◽

Author(s):

Vasileios Koutavas ◽

Mitchell Wand

Keyword(s):

Download Full-text

Specifying C++ concepts

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL'06 ◽

10.1145/1111037.1111064 ◽

2006 ◽

Author(s):

Gabriel Dos Reis ◽

Bjarne Stroustrup

Download Full-text

Autolocker

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL'06 ◽

10.1145/1111037.1111068 ◽

2006 ◽

Author(s):

Bill McCloskey ◽

Feng Zhou ◽

David Gay ◽

Eric Brewer

Download Full-text

Certified assembly programming with embedded code pointers

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL'06 ◽

10.1145/1111037.1111066 ◽

2006 ◽

Author(s):

Zhaozhong Ni ◽

Zhong Shao

Download Full-text