《時序邏輯與時序邏輯程式設計》是2005年科學出版社出版的圖書，作者是Duan Zhenhua（段振華）。
基本介紹
- 中文名：時序邏輯與時序邏輯程式設計
- 作者：段振華
- 出版社：科學出版社
- 出版時間：2005年04月
- ISBN：7030166515
內容簡介,圖書目錄,
內容簡介
The book presents a framing technique for temporal logic programming, which includes the definitions of new assignments, the assignment flag and the framing operator, the formalization of algebraic properties of the framing operator, the minimal model semantics of framed programs, as well as an executable framed interpreter. The synchronous communication operator await is based directly on the proposed framing technique. It enables us to deal with concurrent computation. Based on EITL and await operator, a framed concurrent temporal logic programming language, ETLL, is formally defined within EITL.
圖書目錄
Chapter 1 Introduction
Chapter 2 Propositional Temporal Logic
Chapter 3 First Order Temporal Logic
Chapter 4 Programming Language
Chapter 5 Projection in Temporal Logic Programming
Chapter 6 Framing
Chapter 7 Minimal Model Semantics of Framed Programs
Chapter 8 Communication and Synchronization
Chapter 9 A Framed Interpreter for Extended Tempura
Chapter 10 Conclusion
Appendix
Bibliography
Index
