サイト内検索

詳細検索

ヘルプ

セーフサーチについて

性的・暴力的に過激な表現が含まれる作品の表示を調整できる機能です。
ご利用当初は「セーフサーチ」が「ON」に設定されており、性的・暴力的に過激な表現が含まれる作品の表示が制限されています。
全ての作品を表示するためには「OFF」にしてご覧ください。
※セーフサーチを「OFF」にすると、アダルト認証ページで「はい」を選択した状態になります。
※セーフサーチを「OFF」から「ON」に戻すと、次ページの表示もしくはページ更新後に認証が入ります。

【ネットストア】カレンダー全品ポイント最大10倍キャンペーン

【HB】丸善丸の内本店×hontoブックツリー 編集者がオススメする他社の本!(~12/10)

目次

  • Chapter 1 Introduction to Operational Semantics of Programs
    • Section 1.1 Operational semantics of procedural programs
    • Section 1.2 Operational semantics of a procedural language mPL
    • Section 1.3 State formula and logical operational semantics
    • Section 1.4 Operational semantics of functional programs
    • 〈Remarks〉
    • 〈References〉
  • Chapter 2 Lambda Calculus and Semantics of Functional Languages
    • Section 2.1 Introduction to λ calculus
    • Section 2.2 Introduction to Typed λ Calculus
    • Section 2.3 Operational Semantics of mFL and mML
    • 〈Remarks〉
    • 〈References〉
  • Chapter 3 Structural Operational Semantics
    • Section 3.1 Basic issues in operational semantics
    • Section 3.2 Basic concepts in Structural Operational Semantics
    • Section 3.3 Structural Operational Semantics of mPL
    • Section 3.4 Structural induction and its applications
    • Section 3.5 Structural Operational Semantics and λ calculus
    • Section 3.6 SOS of languages with declarations:Plotkin’s examples
    • 〈Remarks〉
    • 〈References〉
  • Chapter 4 Denotational Semantics and PPλ
    • Section 4.1 Introduction to domain theory
    • Section 4.2 Denotational semantics of mPL
    • Section 4.3 Denotational semantics of a functional language mFL
    • Section 4.4 Expressing properties of programs in denotational semantics
    • Section 4.5 PPλ:Predicative polymorphic typed λ calculus
    • 〈Remarks〉
    • 〈References〉
  • Chapter 5 Axiomatic Semantics based on Weak Correctness
    • Section 5.1 Semantics of weak correctness formula {P}S{Q}
    • Section 5.2 Axiomatic semantics of mPL
    • Section 5.3 Axiomatic semantics of expressions and read/write statements
    • Section 5.4 Assertion Language and Axiomatic Incompleteness of HL(STMT)
    • Section 5.5 vp(S,Q):Weakest precondition for {P}S{Q}
    • 〈Remarks〉
    • 〈References〉
  • Chapter 6 Axiomatic Semantics based on Strong Correctness
    • Section 6.1 sp(S,Q):Weakest precondition for strong correctness wff {P|S|Q}
    • Section 6.2 Tsp(STMT):Axiomatic semantics based on sp(S,Q)
    • Section 6.3 SL(STMT):Axiomatic semantics based on {P|S|Q}
    • Section 6.4 Axiomatic semantics of functional language mFL
    • Section 6.5 Relative completeness problems of program verification systems
    • 〈Remarks〉
    • 〈References〉
  • Chapter 7 Constructive Logics for Program Correctness and Verification
    • Section 7.1 Properties of sp(S,Q)and vp(S,Q)and their consistency issues
    • Section 7.2 Constructive logic JTsp for strong correctness based on sp(S,Q)
    • Section 7.3 Constructive logic JTzp for strong correctness of functional programs
    • Section 7.4 Remarks on intuitionistic and constructive aspects of JTsp and JTzp
    • 〈Remarks〉
    • 〈References〉
  • APPENDIX Gentzen’s Sequent Calculus:LK and LJ
    • A.1 LK:Classical predicate logic in Sequent Calculs
    • A.2 LJ:Intuitionistic predicate logic in Sequent Calculus
    • A.3 NJ:Intuitionistic predicate logic in Natural Deduction
    • 〈References〉

システム開発・設計 ランキング

システム開発・設計のランキングをご紹介します一覧を見る