CPP 2011:
Kenting, Taiwan
APLAS/CPP Invited Talks
Session 1:
Logic and Types
Session 2:
Certificates
Dale Miller:
A Proposal for Broad Spectrum Proof Certificates.
54-69
Session 3:
Invited Talk
Session 4:
Formalization
Tom Ridge:
Simple, Functional, Sound and Complete Parsing for All Context-Free Grammars.
103-118
Session 5:
Proof Assistants
Session 6:
Teaching
Wolfram Kahl:
The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider's "Logical Approach to Discrete Math".
216-230
Session 7:
Invited Talk
Session 8:
Programming Languages
Jieung Kim,
Sukyoung Ryu:
Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance.
264-279
Session 9:
Hardware Certification
Session 10:
Miscellaneous
Session 11:
Proof Pearls
data released under the ODC-BY 1.0 license
