Search

Your search keyword '"Zhong Shao"' showing total 1 results
Start Over Author "Zhong Shao" Category computers / artificial intelligence / general
1 results on '"Zhong Shao"'

1. Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

Author

Jean-Pierre Jouannaud, Zhong Shao, Jean-Pierre Jouannaud, and Zhong Shao

Subjects
Computer science, Machine theory, Compilers (Computer programs), Computer science—Mathematics, Software engineering, Artificial intelligence
Abstract

This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. They are organized in topical sections on logic and types, certificates, formalization, proof assistants, teaching, programming languages, hardware certification, miscellaneous, and proof perls.

Published
2011

Catalog

Books, media, physical & digital resources
See catalog results