38. POPL 2011:
Austin, TX, USA Thomas Ball , Mooly Sagiv (Eds.):
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011.
ACM 2011, ISBN 978-1-4503-0490-0 Invited talk
export record as
dblp key:
Xavier Leroy :
Verified squared: does critical software deserve verified tools?
1-2
Point analyis
export record as
dblp key:
export record as
dblp key:
conf/popl/SmaragdakisBL11 export record as
dblp key:
Semi-automated verification
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/popl/RamananandroRL11
Static analysis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Semantic models and translations
export record as
dblp key:
export record as
dblp key:
François Pottier :
A typed store-passing translation for general references.
147-158
Shape analysis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Type abstractions
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Invited talk
export record as
dblp key:
Matthew MacLaurin :
The design of kodu: a tiny visual programming language for children on the Xbox 360.
241-246
Separation logic
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Automata
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jérôme Leroux :
Vector addition system reachability problem: a short self-contained proof.
307-316
Synthesis
export record as
dblp key:
Sumit Gulwani :
Automating string processing in spreadsheets using input-output examples.
317-330
export record as
dblp key:
export record as
dblp key:
Algebra
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Model checking
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:
Invited talk
export record as
dblp key:
Complexity
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:
conf/popl/BocchinoHHAAWS11
Compilation
export record as
dblp key:
conf/popl/PouchetBBCRSV11 export record as
dblp key:
export record as
dblp key:
Norman Ramsey ,
João Dias :
Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code.
575-586
Verification
export record as
dblp key:
export record as
dblp key:
Rajeev Alur ,
Pavol Cerný :
Streaming transducers for algorithmic verification of single-pass list-processing programs.
599-610
export record as
dblp key:
8.1 + 8.2
export record as
dblp key:
data released under the ODC-BY 1.0 license
