Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017
Latest Publications

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By ACM Press

9781450347051
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Complx: a verification framework for concurrent imperative programs

2017 ◽  
Author(s):  
Sidney Amani ◽  
June Andronick ◽  
Maksym Bortin ◽  
Corey Lewis ◽  
Christine Rizkallah ◽  
...  

scholarly journals Type-and-scope safe programs and their proofs

2017 ◽  
Author(s):  
Guillaume Allais ◽  
James Chapman ◽  
Conor McBride ◽  
James McKinna

scholarly journals Verifying dynamic race detection

2017 ◽  
Author(s):  
William Mansky ◽  
Yuanfeng Peng ◽  
Steve Zdancewic ◽  
Joseph Devietti
Keyword(s):  
Race Detection

scholarly journals A Coq formal proof of the Lax-Milgram theorem

2017 ◽  
Author(s):  
Sylvie Boldo ◽  
François Clément ◽  
Florian Faissole ◽  
Vincent Martin ◽  
Micaela Mayero
Keyword(s):  
Formal Proof
Load More ...
Sign in / Sign up

Export Citation Format

Share Document