Upload
Featured Recent Articles Topics Login Upload

Search Results for 'Coq Modules'

Coq Modules published presentations and documents on DocSlides.

Automated Theorem Proving:
Automated Theorem Proving:
by luanne-stotts
A Retrospection. &. Applications of Formal Me...
Formally proving facts in
Formally proving facts in
by briana-ranney
the refinement . algebra. Vlad. . Shcherbina. Il...
In the
In the
by lois-ondreau
ETC, electrons pass through a series of protein c...
Coq The worlds best macro assembler Andrew Kennedy Nick Benton Microsoft Research akennnick microsoft
Coq The worlds best macro assembler Andrew Kennedy Nick Benton Microsoft Research akennnick microsoft
by celsa-spraggs
com Jonas B Jensen ITU Copenhagen jobritudk Pierre...
Subset coercions in Coq Matthieu Sozeau LRI Paris Sud
Subset coercions in Coq Matthieu Sozeau LRI Paris Sud
by lindy-dunigan
fr Abstract We propose a new language for writing ...
Using Coq for Separation Logic and the need for a better ID
Using Coq for Separation Logic and the need for a better ID
by ellena-manuel
Kenneth Roe. 6. /01/2015. The Johns Hopkins Unive...
Reasoning about Relaxed Programs
Reasoning about Relaxed Programs
by karlyn-bohler
Michael . Carbin. Deokhwan. Kim, . Sasa. . Misa...
similarwithmoreclevercodingofnumbers.Coq'sStandardLibraryprovidesbasic
similarwithmoreclevercodingofnumbers.Coq'sStandardLibraryprovidesbasic
by trish-goza
lt dec,noted?afterwards,canbeusedasaneectivecomp...
Vadim Zaliva
Vadim Zaliva
by tawny-fly
,. Franz Franchetti. Carnegie Mellon University....
CS252r: Advanced Topics in Programming Languages
CS252r: Advanced Topics in Programming Languages
by sherrill-nordquist
Greg Morrisett. Goal. Understand how to build mod...
A Certificate Infrastructure for Machine-Checked Proofs of
A Certificate Infrastructure for Machine-Checked Proofs of
by faustina-dinatale
Torben. . Amtoft. K. , . Josiah . Dodds. P. , . ...
Type-based termination analysis
Type-based termination analysis
by trish-goza
with disjunctive invariants. Dimitrios Vytiniotis...
Using the Coq theorem prover
Using the Coq theorem prover
by min-jolicoeur
to verify complex data structure invariants. Ken...
AbstractMitochondrial diseases are a group of rare multisystem disord
AbstractMitochondrial diseases are a group of rare multisystem disord
by elyana
4288 European Review for Medical and Pharmacologic...