Treffer 1 - 20 von 109 für Suche 'NORRISH, MICHAEL', Suchdauer: 0,76s Treffer weiter einschränken
  1. 1
    Refinements for Free

    Refinements for Free von Cohen, Cyril, Dénès, Maxime, Mörtberg, Anders


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Mechanisation of the AKS Algorithm

    Mechanisation of the AKS Algorithm von Chan, Hing Lun, Norrish, Michael

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    TacticToe: Learning to Prove with Tactics

    TacticToe: Learning to Prove with Tactics von Gauthier, Thibault, Kaliszyk, Cezary, Urban, Josef, Kumar, Ramana, Norrish, Michael

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Formally Verified Algorithms for Upper-Bounding State Space Diameters

    Formally Verified Algorithms for Upper-Bounding State Space Diameters von Abdulaziz, Mohammad, Norrish, Michael, Gretton, Charles

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    A String of Pearls: Proofs of Fermat's Little Theorem

    A String of Pearls: Proofs of Fermat's Little Theorem von Chan, Hing Lun, Norrish, Michael

    Veröffentlicht in Journal of Formalized Reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API

    Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API von Bishop, Steve, Fairbairn, Matthew, Mehnert, Hannes, Norrish, Michael, Ridge, Tom, Sewell, Peter, Smith, Michael, Wansbrough, Keith

    Veröffentlicht in Journal of the ACM

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    The verified CakeML compiler backend

    The verified CakeML compiler backend von KIAM TAN, YONG, MYREEN, MAGNUS O., KUMAR, RAMANA, FOX, ANTHONY, OWENS, SCOTT, NORRISH, MICHAEL


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    A mechanisation of some context-free language theory in HOL4

    A mechanisation of some context-free language theory in HOL4 von Barthwal, Aditi, Norrish, Michael


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL

    Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL von Huffman, Brian, Kunčar, Ondřej


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  10. 10
    A Brief Overview of HOL4

    A Brief Overview of HOL4 von Slind, Konrad, Norrish, Michael


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings

    Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings von Gonthier, Georges, Norrish, Michael

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Classification of Finite Fields with Applications

    Classification of Finite Fields with Applications von Chan, Hing-Lun, Norrish, Michael

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Computational Verification of Network Programs in Coq

    Computational Verification of Network Programs in Coq von Stewart, Gordon


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Proof Pearl: Bounding Least Common Multiples with Triangles

    Proof Pearl: Bounding Least Common Multiples with Triangles von Chan, Hing-Lun, Norrish, Michael

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Mechanised Modal Model Theory

    Mechanised Modal Model Theory von Xu, Yiming, Norrish, Michael


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Proof-Producing Synthesis of CakeML from Monadic HOL Functions

    Proof-Producing Synthesis of CakeML from Monadic HOL Functions von Abrahamsson, Oskar, Ho, Son, Kanabar, Hrutvik, Kumar, Ramana, Myreen, Magnus O., Norrish, Michael, Tan, Yong Kiam

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    πn(Sn) in Homotopy Type Theory

    πn(Sn) in Homotopy Type Theory von Licata, Daniel R., Brunerie, Guillaume


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Rewriting Conversions Implemented with Continuations

    Rewriting Conversions Implemented with Continuations von Norrish, Michael

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Recursive Function Definition for Types with Binders

    Recursive Function Definition for Types with Binders von Norrish, Michael


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    PureCake: A Verified Compiler for a Lazy Functional Language

    PureCake: A Verified Compiler for a Lazy Functional Language von Kanabar, Hrutvik, Vivien, Samuel, Abrahamsson, Oskar, Myreen, Magnus O., Norrish, Michael, Pohjola, Johannes Åman, Zanetti, Riccardo


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: