Constructive Logics for Program Correctness
著者
書誌事項
Constructive Logics for Program Correctness
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データベース」 より