Coq - PDFSEARCH.IO - Document Search Engine

Coq
Results: 297

#	Item
21	Proving correctness of a dynamic atomicity analysis in Coq Caitlin Sadowski Jaeheon Yi Kenneth Knowles Add to Reading List Source URL: kennknowles.com - Date: 2014-03-19 14:17:46
22	Toward Type-Preserving Compilation of Coq William J. Bowman in target languages TYPES Add to Reading List Source URL: www.williamjbowman.com - Date: 2018-03-18 12:54:47
23	Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant Gilles Barthe1 , Julien Forest1 , David Pichardie1 , and Vlad Rusu2 1 EVEREST Team, INRIA Sophia-Antipolis, France Add to Reading List Source URL: people.irisa.fr - Date: 2016-12-12 04:14:29
24	A Coq Formalization of the Relational Data Model? ´ V´eronique Benzaken1 , Evelyne Contejean2 , and Stefania Dumbrava1 1 Add to Reading List Source URL: www.lri.fr - Date: 2014-01-18 04:31:20
25	An implementation of Deflate in Coq arXiv:1609.01220v1 [cs.LO] 5 Sep 2016 Christoph-Simon Senjak and Martin Hofmann {christoph.senjak,hofmann}@ifi.lmu.de Add to Reading List Source URL: arxiv.org - Date: 2016-09-06 14:38:59
26	A Systematic Derivation of the STG Machine Verified in Coq Maciej Pir´og Dariusz Biernacki Add to Reading List Source URL: www.ii.uni.wroc.pl - Date: 2011-07-27 12:51:32
27	Chapter 1 Reading HoTT in Coq 1.1 Reading Coq Files Add to Reading List Source URL: mdnahas.github.io - Date: 2016-06-10 16:02:17
28	QuickChick: A Coq Framework For Veriﬁed Property Based Testing Zoe Paraskevopoulou September 8, 2014 Add to Reading List Source URL: prosecco.gforge.inria.fr - Date: 2014-09-18 14:06:24
29	Motivation The States Effect Coq Basics Add to Reading List Source URL: ljk.imag.fr - Date: 2013-12-05 15:44:38
30	Somme des angles d’un triangle et unicit´ e de la parall` ele : une preuve d’´ equivalence formalis´ ee en Coq Add to Reading List Source URL: hal.inria.fr - Date: 2016-03-04 12:36:28