1 option
Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs / Andrei Popescu and Steve Zdancewic.
- Format:
- Book
- Author/Creator:
- Popescu, Andrei, author.
- Zdancewic, Steve, author.
- Series:
- ACM Conferences
- Language:
- English
- Subjects (All):
- Computer science--Mathematics--Congresses.
- Computer science.
- Computer software--Verification--Congresses.
- Computer software.
- Physical Description:
- 1 online resource : illustrations
- Other Title:
- CPP 2022
- Place of Publication:
- New York : Association for Computing Machinery, 2022.
- Summary:
- Welcome to the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2022). CPP covers the practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP 2022 will be held on 17-18 January 2022 in Philadelphia, Pennsylvania, United States. The conference is co-located with POPL 2022, and is sponsored by ACM SIGPLAN in cooperation with ACM SIGLOG.
- Notes:
- Description based on publisher supplied metadata and other sources.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.