39. POPL 2012:
Philadelphia, Pennsylvania, USA John Field , Michael Hicks (Eds.):
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012.
ACM 2012, ISBN 978-1-4503-1083-3 Award presentation and interview
export record as
dblp key:
Andrew P. Black ,
Peter W. O'Hearn :
Presentation of the SIGPLAN distinguished achievement award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS; and interview.
1-2
export record as
dblp key:
Tony Hoare :
Message of thanks: on the receipt of the 2011 ACM SIGPLAN distinguished achievement award.
3-6
1.A:
verification
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
1.B:
semantics
export record as
dblp key:
conf/popl/KrishnaswamiBH12 export record as
dblp key:
export record as
dblp key:
2.A:
privacy and access control
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
2.B:
decision procedures
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
3.A:
security
export record as
dblp key:
export record as
dblp key:
3.B:
complexity for concurrency
export record as
dblp key:
export record as
dblp key:
Invited talk
export record as
dblp key:
4.A:
medley
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
4.B:
mMechanized proofs
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/popl/KleinCDEFFMRTF12
5.A:
concurrency
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
5.B:
type theory
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
6.A:
dynamic analysis
export record as
dblp key:
export record as
dblp key:
conf/popl/SmaragdakisESYF12
6.B:
names and binders
export record as
dblp key:
export record as
dblp key:
Invited talk 2
export record as
dblp key:
J. Strother Moore :
Meta-level features in an industrial-strength theorem prover.
425-426
7.A:
verified transformations
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
7.B:
functional programming
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
8.A:
C/C++ semantics
export record as
dblp key:
export record as
dblp key:
conf/popl/RamananandroRL12 export record as
dblp key:
8.B:
type systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
