Search Results for 'Coq'

Coq published presentations and documents on DocSlides.

Coq The worlds best macro assembler Andrew Kennedy Nick Benton Microsoft Research akennnick microsoft

celsa-spraggs
12 Slides

com Jonas B Jensen ITU Copenhagen jobritudk Pierre...

Subset coercions in Coq Matthieu Sozeau LRI Paris Sud

lindy-dunigan
16 Slides

fr Abstract We propose a new language for writing ...

Vadim Zaliva

tawny-fly
10 Slides

,. Franz Franchetti. Carnegie Mellon University....

Commission Nationale

lois-ondreau
10 Slides

Ecole de Rugby. Réunion du 27 février 2014. Com...

In the

lois-ondreau
22 Slides

ETC, electrons pass through a series of protein c...

CS252r: Advanced Topics in Programming Languages

sherrill-nordquist
31 Slides

Greg Morrisett. Goal. Understand how to build mod...

A Certificate Infrastructure for Machine-Checked Proofs of

faustina-dinatale
58 Slides

Torben. . Amtoft. K. , . Josiah . Dodds. P. , . ...

Formally proving facts in

briana-ranney
11 Slides

the refinement . algebra. Vlad. . Shcherbina. Il...

Using Coq for Separation Logic and the need for a better ID

ellena-manuel
166 Slides

Kenneth Roe. 6. /01/2015. The Johns Hopkins Unive...

Reasoning about Relaxed Programs

karlyn-bohler
21 Slides

Michael . Carbin. Deokhwan. Kim, . Sasa. . Misa...

Automated Theorem Proving:

luanne-stotts
43 Slides

A Retrospection. &. Applications of Formal Me...

similarwithmoreclevercodingofnumbers.Coq'sStandardLibraryprovidesbasic

trish-goza
100 Slides

lt dec,noted?afterwards,canbeusedasaneectivecomp...

Type-based termination analysis

trish-goza
19 Slides

with disjunctive invariants. Dimitrios Vytiniotis...

AQUISITION DES

aaron
13 Slides

COQS et crampons. ARBITRAGE. PLAQUAGE. SECURITE. ...

Using the Coq theorem prover

min-jolicoeur
0 Slides

to verify complex data structure invariants. Ken...

AbstractMitochondrial diseases are a group of rare multisystem disord

elyana
11 Slides

4288 European Review for Medical and Pharmacologic...