氏名: 倉内伸和 (l0461627)
論文題目: 現実的なプログラムの代数的仕様の記述に関する考察
論文概要
代数的仕様記述は形式性に優れる反面、現実的なプログラムの仕様を代数的仕様のみで記述することは難しい。現実的なプログラムの仕様を記述するためには、代
数的仕様記述に何らかの技法を補う必要がある。本研究では、
既存の現実的なプログラムから代数的仕様記述法を用いて仕様を記述してみ
ることにより、実用的なレベルでの代数的仕様記述法の表現能力の限界や、代
数的仕様記述を補うために必要な技法を探った。具体的には、素材となる既存
の現実的なプログラムとして簡略化されたGNU grep 2.0を用い、その基本とな
る部分について代数的仕様で記述した。そしてその過程において代数的仕様で
の記述が困難あるいは不可能な部分について考察を行なった。
目次に戻る