论文信息 - Projection in Temporal Logic Programming

Projection in Temporal Logic Programming

We define a projection operator in the framework of the temporal logic programming. Its syntax and semantics are presented and illustrated with examples. We also discuss the implementation details of the projection construct.

[1] Amir Pnueli,et al. Now you may compose temporal logic specifications , 1984, STOC '84.

[2] Fred Krögr. Temporal Logic Of Programs , 1987 .

[3] Acm Sigsoft,et al. Proceedings of the ACM SIGSOFT, International Workshop on Formal Methods in Software Development, Napa, California, USA, 9-11 May 1990 , 1990 .

[4] Leslie Lamport,et al. The temporal logic of actions , 1994, TOPL.

[5] Amir Pnueli,et al. A Choppy Logic , 1986, LICS.

[6] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[7] Ben C. Moszkowski,et al. Executing temporal logic programs , 1986, Seminar on Concurrency.

[8] Chih-Sung Tang,et al. Toward a Unified Logic Basis for Programming Languages , 1983, IFIP Congress.