programming_theory

基礎 - ソフトウェア基礎 － プログラム理論

• 帰納的関数論

• λ計算

  • λ式

  • λ式の計算

  • λ式の簡約

  • λ計算の意味論

  • 組み合わせ子論理

• 項書き換え系

  • 項書き換え系

  • 項の簡約

  • 簡約化戦略

• プログラム

  • 関数型プログラム

  • 命令型プログラム

  • 論理型プログラム

  • 非決定性プログラム

  • 並行プログラム

  • データ型

• プログラムの抽象化

  • 情報隠蔽

  • データ抽象

• 形式的意味論

  • 構文論

  • 操作的意味論

  • 表示的意味論

  • 代数的意味論

  • 公理的意味論

  • 属性文法

• プログラム証明論

  • プログラムの性質

  • ？？

  • Algol型プログラムの検証

  • 再帰的プログラムの検証

  • プログラム検証法

  • プログラム検証系

• プログラム図式論

  • プログラム図式

  • プログラム図式の決定問題