Read/Search this Article
Abstract
2階の論理変数を使ったプログラミング手法について考察する。オブジェクト指向言語のメッセージ送信を時相論理のイベント、オブジェクトを2階の変数と考えることにより、プログラム全体を状態遷移機械と2階の時相論理の集まりと考えることができる。2階の変数をまだ未知のオブジェクトと考えることにより開放型システムの自動検証の可能性などの考察を行う。
Object is represented by 2nd order logic variable. Using 2nd order temporal logic and it's automatic verification, we can formalize open system as a set of finite automaton and 2nd order temporal logic. 2nd order logic based Programming methodology is also presented.
Journal
- Technical report of IEICE. SS [List of Volumes]
-
Technical report of IEICE. SS 96(347), 33-39, 1996-11-05 [Table of Contents]
The Institute of Electronics, Information and Communication Engineers
Share