| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910510483703321 |
|
|
Titolo |
Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs / / editors, Cătălin Hriţcu, Andrei Popescu |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York : , : Association for Computing Machinery, , 2021 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (x, 434 pages) : illustrations (some color) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Formal methods (Computer science) |
Computer software - Verification |
Computer science - Mathematics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
Welcome to the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2021). CPP covers the practical and theoretical topics in all areas that consider formal verication and certication as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP 2021 will be held on 17-19 January 2021 as a virtual meeting, where all papers are presented online. The conference is co-located with POPL 2021, and is sponsored by ACM SIGPLAN in cooperation with ACM SIGLOG. |
|
|
|
|
|
|
|
| |