Upload
Featured Recent Articles Topics Login Upload

Search Results for 'Coq'

Coq published presentations and documents on DocSlides.

AQUISITION DES
AQUISITION DES
by aaron
COQS et crampons. ARBITRAGE. PLAQUAGE. SECURITE. ...
Commission Nationale
Commission Nationale
by lois-ondreau
Ecole de Rugby. Réunion du 27 février 2014. Com...
In the
In the
by lois-ondreau
ETC, electrons pass through a series of protein c...
Formally proving facts in
Formally proving facts in
by briana-ranney
the refinement . algebra. Vlad. . Shcherbina. Il...
Automated Theorem Proving:
Automated Theorem Proving:
by luanne-stotts
A Retrospection. &. Applications of Formal Me...
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...
Using the Coq theorem prover
Using the Coq theorem prover
by min-jolicoeur
to verify complex data structure invariants. Ken...
Type-based termination analysis
Type-based termination analysis
by trish-goza
with disjunctive invariants. Dimitrios Vytiniotis...
similarwithmoreclevercodingofnumbers.Coq'sStandardLibraryprovidesbasic
similarwithmoreclevercodingofnumbers.Coq'sStandardLibraryprovidesbasic
by trish-goza
lt dec,noted?afterwards,canbeusedasaneectivecomp...
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 ...
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. , . ...
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...