Lanterna Rally
eBook PDF Download Digital Library
Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs
Author: Andrei Popescu
Publisher:
Published: 2022
Total Pages: 351
ISBN-13: 9781450391825
DOWNLOAD EBOOK →CPP '22
Author: Andrei Popescu (Senior lecturer in computer science)
Publisher:
Published: 2022
Total Pages:
ISBN-13:
DOWNLOAD EBOOK →Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs
Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs
Author: Cătălin Hriţcu
Publisher:
Published: 2021
Total Pages: 342
ISBN-13: 9781450382991
DOWNLOAD EBOOK →Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
Author: Jeremy Avigad
Publisher:
Published: 2016-01-20
Total Pages:
ISBN-13: 9781450341271
DOWNLOAD EBOOK →CPP 2016: Certified Proofs and Programs Jan 20, 2016-Jan 22, 2016 Saint Petersburg, USA. You can view more information about this proceeding and all of ACM�s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.
Certified Programs and Proofs
Author: Jean-Pierre Jouannaud
Publisher: Springer
Published: 2011-11-15
Total Pages: 414
ISBN-13: 3642253792
DOWNLOAD EBOOK →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.
CPP '20
