Constructive Logics for Program Correctness

書誌事項

Constructive Logics for Program Correctness

Takayasu Ito

Maruzen Planet, c2012

  • : [pbk.]

大学図書館所蔵 件 / 6

この図書・雑誌をさがす

注記

Bibliography: p. 301-304

内容説明・目次

目次

  • 1 Program Correctness Formulae and Their Basic Properties(Notions of Program Correctness;Properties of Correctness Formulae sp(S,Q)and vp(S,Q))
  • 2 Logics for Program Correctness in Classical Logic Framework(JTsp:Logic for Strong Correctness of Procedural Programs;JTzp:Logic for Strong Correctness of Functional Programs ほか)
  • 3 Fully Constructive Logics for Program Correctness and Problem Specification Logic(Fully Constructive Logic on sp(S,Q)and PS logic;Fully Constructive Logic on zp(FD,Q)and PS logic)
  • 4 Correctness of Stream Programs and Constructive Semantics(Correctness of Stream Programs;Program Correctness and Constructive Identity for Programs ほか)

「BOOKデータベース」 より

詳細情報

  • NII書誌ID(NCID)
    BB11993901
  • ISBN
    • 9784863451469
  • 出版国コード
    ja
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Tokyo
  • ページ数/冊数
    xi, 304 p.
  • 大きさ
    26 cm
  • 分類
ページトップへ