TY  - BOOK
AU  - Sagiv,Mooly
ED  - ACM Symposium on Principles of Programming Languages
ED  - ACM Special Interest Group for Algorithms and Computation Theory.
ED  - ACM Special Interest Group on Programming Languages.
ED  - Association for Computing Machinery.
TI  - POPL '11: proceedings of the 38th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 26-28, 2011, Austin, Texas 
SN  - 9781450304900
PY  - 2011///
CY  - New York, N.Y.
PB  - Association for Computing Machinery
KW  - Programming languages (Electronic computers)
KW  - Congresses
N1  - Includes bibliographical references and index
ER  -