液体ハスケル

コンテンツへジャンプ
    リンクを追加する
    フリー百科事典『ウィキペディア』より
    液体ハスケル
    原作者ニキ・ヴァズー、エリック・サイデル
    、ランジット・ジャラ
    初回リリース2014年; 12年前 （2014年）
    安定版リリース
    0.9.12.2 / 2025年3月22日; 9か月前 （2025年3月22日）
    リポジトリgithub .com /ucsd-progsys /liquidhaskell
    書かれたハスケル
    入手可能な英語
    タイプ形式プログラム検証
    ライセンスBSD 3節
    Webサイトucsd-progsys .github .io /liquidhaskell

    Liquid Haskellはプログラミング言語Haskellのプログラム検証ツールであり、リファインメント型を使用して正確性プロパティを指定できます。[ 1 ] [ 2 ]プロパティは、 Z3 Theorem ProverなどのSMTLIB2準拠のSMT（ satisfiability modulo theory）ソルバーを使用して検証されます。

    参照

    [編集]

    参考文献

    [編集]
    1. ^ Vazou, Niki (2016). Liquid Haskell: 定理証明器としてのHaskell（論文）. カリフォルニア大学.
    2. ^ Vazou, Niki; Seidel, Eric (2014). 「Haskellのリファインメント型」 .第19回ACM SIGPLAN国際関数型プログラミング会議議事録. 国際関数型プログラミング会議. ACM. pp.  269– 282. doi : 10.1145/2692915.2628161 .

    さらに読む

    [編集]
    [編集]


    スタブアイコン

    この形式手法関連の記事はスタブです。記事を拡張することでWikipediaに貢献できます。

    スタブアイコン

    このフリーソフトウェアに関するオープンソースソフトウェアの記事はスタブです。記事を拡張することでWikipediaに貢献できます。

    「 https://en.wikipedia.org/w/index.php?title=Liquid_Haskell&oldid=1328406943」から取得
      液体ハスケル
      原作者ニキ・ヴァズー、エリック・サイデル
      、ランジット・ジャラ
      初回リリース2014年; 12年前 (2014)
      安定版リリース
      0.9.12.2 / 2025年3月22日; 9か月前 (2025-03-22)
      リポジトリgithub.com/ucsd-progsys/liquidhaskell
      書かれたハスケル
      入手可能な英語
      タイプ形式プログラム検証
      ライセンスBSD 3節
      Webサイトucsd-progsys.github.io/liquidhaskell

      Liquid Haskellはプログラミング言語Haskellのプログラム検証ツールであり、リファインメント型を使用して正確性プロパティを指定できます。[1] [2]プロパティは、 Z3 Theorem ProverなどのSMTLIB2準拠のSMT（ satisfiability modulo theory）ソルバーを使用して検証されます。

      参照

      参考文献

      1. ^ Vazou, Niki (2016). Liquid Haskell: 定理証明器としてのHaskell（論文）. カリフォルニア大学.
      2. ^ Vazou, Niki; Seidel, Eric (2014). 「Haskellのリファインメント型」 .第19回ACM SIGPLAN国際関数型プログラミング会議議事録. 国際関数型プログラミング会議. ACM. pp.  269– 282. doi :10.1145/2692915.2628161.
      • Löh, Andres (2018). Liquid Haskellワークショップ. BOB 2018.
      • Jhala, Ranjit (2014). Liquid Haskell. Boston Haskellユーザーグループ.

      さらに読む

      • Vazou, Niki (2018). Liquid Haskell: Haskellのリファインメント型. 第45回ACM SIGPLANプログラミング言語原理シンポジウム (POPL 2018).
      • Diatchki, Iavor (2015). 「SMTによるHaskell型の改良」.第8回ACM SIGPLAN Haskellシンポジウム - Haskell 2015 の議事録. ACM. pp.  1– 10. doi :10.1145/2804302.2804307. ISBN 9781450338080. S2CID  16429107。
      • 「Liquid Haskell - HaskellWiki」. wiki.haskell.org . 2019年3月31日閲覧。
      • GitHubの Liquid Haskell


      スタブアイコン

      この形式手法関連の記事はスタブです。記事を拡張することでWikipediaに貢献できます。

      スタブアイコン

      このフリーでオープンソースのソフトウェアに関する記事はスタブです。記事を拡張することでWikipediaに貢献できます。

      Retrieved from "https://en.wikipedia.org/w/index.php?title=Liquid_Haskell&oldid=1328406943"
      Original text
      Rate this translation
      Your feedback will be used to help improve Google Translate