Coq

Results: 297



#Item
191Systematic Development of Programs for Parallel and Cloud Computing: Towards a Framework NII Lectures Series Fr´ed´eric Loulergue

Systematic Development of Programs for Parallel and Cloud Computing: Towards a Framework NII Lectures Series Fr´ed´eric Loulergue

Add to Reading List

Source URL: www.nii.ac.jp

Language: English - Date: 2013-10-30 02:04:09
192LFMTPNominal Reasoning Techniques in Coq (Extended Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science

LFMTPNominal Reasoning Techniques in Coq (Extended Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science

Add to Reading List

Source URL: www.seas.upenn.edu

Language: English - Date: 2014-07-10 05:49:28
193Lecture 7 Generate-Test-Aggregate in Coq - NII Lectures Series [width=4cm]niilogo.jpg

Lecture 7 Generate-Test-Aggregate in Coq - NII Lectures Series [width=4cm]niilogo.jpg

Add to Reading List

Source URL: www.nii.ac.jp

Language: English - Date: 2013-11-28 19:26:39
19422 Developing applications with Objective Caml Having reached this point, the reader should no longer doubt the richness of Objective Caml. This language rests on a functional and imperative core, and it integrates the t

22 Developing applications with Objective Caml Having reached this point, the reader should no longer doubt the richness of Objective Caml. This language rests on a functional and imperative core, and it integrates the t

Add to Reading List

Source URL: caml.inria.fr

Language: English - Date: 2011-11-23 02:41:37
195Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Tilting at windmills with Coq: formal verification of a compilation algorithm for parallel moves

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Tilting at windmills with Coq: formal verification of a compilation algorithm for parallel moves

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2007-12-21 03:21:14
    196Experiments in validating formal semantics for C Sandrine Blazy ENSIIE and INRIA Rocquencourt [removed] Abstract. This paper reports on the design of adequate on-machine

    Experiments in validating formal semantics for C Sandrine Blazy ENSIIE and INRIA Rocquencourt [removed] Abstract. This paper reports on the design of adequate on-machine

    Add to Reading List

    Source URL: www.ensiie.fr

    Language: English - Date: 2008-06-30 05:17:26
    197Proof General Organize your proofs! User Manual for Proof General 4.2pre January 2012 proofgeneral.inf.ed.ac.uk

    Proof General Organize your proofs! User Manual for Proof General 4.2pre January 2012 proofgeneral.inf.ed.ac.uk

    Add to Reading List

    Source URL: proofgeneral.inf.ed.ac.uk

    Language: English - Date: 2015-04-19 00:44:55
    198Proof General meets IsaWin Combining Text-Based And Graphical User Interfaces David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Christoph L¨

    Proof General meets IsaWin Combining Text-Based And Graphical User Interfaces David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Christoph L¨

    Add to Reading List

    Source URL: proofgeneral.inf.ed.ac.uk

    Language: English - Date: 2005-06-02 05:55:58
    199The CompCert C verified compiler Documentation and user’s manual Version 2.4 Xavier Leroy INRIA Paris-Rocquencourt September 17, 2014

    The CompCert C verified compiler Documentation and user’s manual Version 2.4 Xavier Leroy INRIA Paris-Rocquencourt September 17, 2014

    Add to Reading List

    Source URL: compcert.inria.fr

    Language: English - Date: 2014-09-17 05:19:05