你即將離開本站

並前往https://isabelle.in.tum.de/~haftmann/pdf/data_refinement_in_isabelle_hol_haftmann_krauss_kuncar_nipkow.pdf

Data Refinement in Isabelle/HOL

At the core is an extension of the code generator to deal with data type invariants. In order to automate the process of setting up specific data refinements, ...

確定！ 回上一頁

查詢 「Code refinement」的人也找了：

  1. Refine code
    2.
  2. Refine source code
    3.