27. OOPSLA 2012:
Tucson, Arizona, USA - Proceedings Gary T. Leavens , Matthew B. Dwyer (Eds.):
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012.
ACM 2012, ISBN 978-1-4503-1561-6 Concurrency I
export record as
dblp key:
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:
export record as
dblp key:
Compilation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/oopsla/CastanosEINNOW12
Updating software
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Concurrency II
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/oopsla/KaliberaMJV12
Synthesis
export record as
dblp key:
export record as
dblp key:
conf/oopsla/PrountzosMP12 export record as
dblp key:
export record as
dblp key:
Fault detection & avoidance
export record as
dblp key:
export record as
dblp key:
Jeff Huang ,
Charles Zhang :
LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction.
451-466
export record as
dblp key:
conf/oopsla/Effinger-DeanLCGB12 export record as
dblp key:
Program analysis I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/oopsla/Tobin-HochstadtH12 export record as
dblp key:
Dynamic languages
export record as
dblp key:
conf/oopsla/ZhaoPYQWGOPMET12 Haiping Zhao ,
Iain Proctor ,
Minghui Yang ,
Xin Qi ,
Mark Williams ,
Qi Gao ,
Guilherme Ottoni ,
Andrew Paroski ,
Scott MacVicar ,
Jason Evans ,
Stephen Tu :
The HipHop compiler for PHP.
575-586
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Programming support I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Concurrency III
export record as
dblp key:
export record as
dblp key:
Zachary R. Anderson :
Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies.
717-736
export record as
dblp key:
export record as
dblp key:
Types & modules
export record as
dblp key:
export record as
dblp key:
conf/oopsla/TakikawaSDTF12 export record as
dblp key:
export record as
dblp key:
Program analysis II
export record as
dblp key:
export record as
dblp key:
conf/oopsla/AusielloDFF12 export record as
dblp key:
export record as
dblp key:
Programming support II
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/oopsla/StricklandTFF12 export record as
dblp key:
Program understanding
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Guoqing Xu :
Finding reusable data structures.
1017-1034
data released under the ODC-BY 1.0 license
