37. POPL 2010:
Madrid, Spain Manuel V. Hermenegildo , Jens Palsberg (Eds.):
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010.
ACM 2010, ISBN 978-1-60558-479-9 Invited talk
export record as
dblp key:
conf/popl/GershenfeldDCKGDGS10
Concurrency
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Static analysis I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Verified compilers
export record as
dblp key:
export record as
dblp key:
Adam Chlipala :
A verified compiler for an impure functional language.
93-106
export record as
dblp key:
Type inference
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Invited talk
export record as
dblp key:
Reasoning about programs
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Static analysis II
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Verification
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Types
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Program synthesis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Relating and integrating static and dynamic checks
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Compilers
export record as
dblp key:
export record as
dblp key:
João Dias ,
Norman Ramsey :
Automatically generating instruction selectors using declarative machine descriptions.
403-416
export record as
dblp key:
Security and ownership
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Medley
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
