文章定义了基于跟踪（ｔｒａｃｅ）的逻辑语言ＦＴｒａｃｅ，它是一阶线性时序逻辑语言的扩充，同时也是“对象演算”研究工作的基础。Ｔｒａｃｅ演算所述的“对象”用来刻画......