Coq

Results: 297



#Item
11A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

Add to Reading List

Source URL: www.eecs.northwestern.edu

Language: English - Date: 2015-12-21 08:20:24
12Formalisation en Coq du calcul de processus HOcore Simon Boulier 1 Alan Schmitt 2

Formalisation en Coq du calcul de processus HOcore Simon Boulier 1 Alan Schmitt 2

Add to Reading List

Source URL: sardes.inrialpes.fr

Language: French - Date: 2012-09-21 11:09:04
    13A Tale of Two Provers Verifying Monoidal String Matching in Liquid Haskell and Coq Niki Vazou University of Maryland

    A Tale of Two Provers Verifying Monoidal String Matching in Liquid Haskell and Coq Niki Vazou University of Maryland

    Add to Reading List

    Source URL: nikivazou.github.io

    Language: English - Date: 2018-04-16 22:20:30
      1428  Veranstaltungen Donnerstag, 26. April 2018 | Nr. 17 COQ D’OR / OXIL ZOFINGEN

      28 Veranstaltungen Donnerstag, 26. April 2018 | Nr. 17 COQ D’OR / OXIL ZOFINGEN

      Add to Reading List

      Source URL: www.stadtanzeiger-olten.ch

      Language: German - Date: 2018-04-26 10:53:34
        15Automation by Analogy, in Coq Alasdair Hill, Katya Komendantskaya Heriot-Watt University, Scotland 20 March 2018

        Automation by Analogy, in Coq Alasdair Hill, Katya Komendantskaya Heriot-Watt University, Scotland 20 March 2018

        Add to Reading List

        Source URL: cl-informatik.uibk.ac.at

        Language: English - Date: 2018-04-03 08:59:44
          16Symposium on Theoretical Aspects of Computer ScienceBordeaux), ppwww.stacs-conf.org DISCRETE JORDAN CURVE THEOREM: A PROOF FORMALIZED IN COQ WITH HYPERMAPS JEAN-FRANC

          Symposium on Theoretical Aspects of Computer ScienceBordeaux), ppwww.stacs-conf.org DISCRETE JORDAN CURVE THEOREM: A PROOF FORMALIZED IN COQ WITH HYPERMAPS JEAN-FRANC

          Add to Reading List

          Source URL: drops.dagstuhl.de

          Language: English - Date: 2008-02-05 05:34:49
            17Toward Type-Preserving Compilation of Coq ∗ William J. Bowman Northeastern University, USA   1.

            Toward Type-Preserving Compilation of Coq ∗ William J. Bowman Northeastern University, USA 1.

            Add to Reading List

            Source URL: www.williamjbowman.com

            - Date: 2018-03-18 12:54:47
              18A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

              A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

              Add to Reading List

              Source URL: jeapostrophe.github.io

              - Date: 2018-04-03 12:30:31
                19PRODUCTION PACEA 2017 _______ Articles dans des revues internationales ou nationales avec comité de lecture répertoriées par l’AERES ou dans des bases de données internationales (ACL) ACL - Baker O., Chamel B., Coq

                PRODUCTION PACEA 2017 _______ Articles dans des revues internationales ou nationales avec comité de lecture répertoriées par l’AERES ou dans des bases de données internationales (ACL) ACL - Baker O., Chamel B., Coq

                Add to Reading List

                Source URL: lascarbx.labex.u-bordeaux.fr

                  20A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

                  A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

                  Add to Reading List

                  Source URL: jeapostrophe.github.io

                  - Date: 2018-04-03 12:30:31