We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
Advanced Search
Volume 6 Issue 1
January  1991
Turn off MathJax
Article Contents
Abstract
References
Related Articles
Xie Hongliang, Gong Jie, C.S.Tang. A Structured Temporal Logic Language:XYZ/SE[J]. Journal of Computer Science and Technology, 1991, 6(1): 1-10.
Citation: Xie Hongliang, Gong Jie, C.S.Tang. A Structured Temporal Logic Language:XYZ/SE[J]. Journal of Computer Science and Technology, 1991, 6(1): 1-10.
shu

A Structured Temporal Logic Language:XYZ/SE

  • Institute of Software Academia Sinica; Beoing; Institute of Software; Academia Sinica;

More Information
  • Published Date: January 09, 1991
    Abstract
  • In order to enhance the readability and to simplify the verification of temporal logic programs in the XYZ system,we propose a structured temporal logic language called XYZ/SE,based on XYZ/BE which is the basis language of the XYZ system.A set of proof rules are given and proved to be sound and adequate for proving the partial correctness of XYZ/SE programs in a compositional way.Moreover,we show that every XYZ/BE program can be transformed into an equivalent XYZ/SE program.So we have developed a general co…
    • FullText(HTML)
    • References (5)
  • [1]
    Y.L.Feng, H.M.Lin, Z.S.Tang, A Proof system for temporal logic programs. Journal of Comput. Research & Development (in Chinese ), 7 (1985).
    [2]
    J.Gong. A System of Automatic Transformation from a Temporal Logic to Its Structured Version.Techn. Rept.IS-AS-XYZ-88-13,1988.
    [3]
    D.Hareh. First-Order Dynamic Logic. Lecture Notes in Comput.Sci., 68. Springer-Verlay, New York. 1979.
    [4]
    F.Kroger, Temporal Logic of Programs. Lecture Notes, Techn. Univ. Munich, Inst. for Informatics, Rept. TUM-18521,1985.
    [5]
    R.W.Li, A Mechanized Temporal Logic as Proof Checker. Techn. Rept. IS-AS-XYZ-88-14, 1988. ………….
    • Relative Articles

  • Related Articles

    [1]Zhen-Hua Duan, Maciej Koutny. A Framed Temporal Logic Programming Language[J]. Journal of Computer Science and Technology, 2004, 19(3).
    [2]MA Huadong, LIU Shenquan. Multimedia Data Modeling Based on TemporalLogic and XYZ System[J]. Journal of Computer Science and Technology, 1999, 14(2): 188-193.
    [3]Tian Zengping, Wang Yujun, Qu Yunyao, Shi Baile. On the Expressive Power of F-Logic Language[J]. Journal of Computer Science and Technology, 1997, 12(6): 510-519.
    [4]Tang Changjie, Xiong Min. The Temporal Mechanisms in Hbase[J]. Journal of Computer Science and Technology, 1996, 11(4): 365-371.
    [5]Zhong Shaochun, Liu Dayou. Processing of Uncertainty Temporal Relations[J]. Journal of Computer Science and Technology, 1996, 11(1): 72-82.
    [6]Jin Zhi. The Structure and Semantics of an Object-Oriented Logic Programming Language: SCKE[J]. Journal of Computer Science and Technology, 1995, 10(1): 74-84.
    [7]Zhao Zhaokeng, Dai Jun, Chen Wendan. Automated Theorem Proving in Temporal Logic:T-Resolution[J]. Journal of Computer Science and Technology, 1994, 9(1): 53-62.
    [8]Li Renwei, He Pei, Zhang Wenhui. An Introduction to IN CAPS System[J]. Journal of Computer Science and Technology, 1993, 8(1): 26-37.
    [9]Lin Huimin, Gong Chun, Xie Hongliang. Abstract Implementation of Algebraic Specifications in a Temporal Logic Language[J]. Journal of Computer Science and Technology, 1991, 6(1): 11-20.
    [10]Li Renwei. A Natural Deduction System of Temporal Logic[J]. Journal of Computer Science and Technology, 1988, 3(3): 173-185.
    • Supplements (0)

Catalog

    Get Citation
    PDF
    XML
    Article views (6) PDF downloads (1270) Cited by()
    Related

    Copyright ©2025 JCST, All Rights Reserved     京ICP备05002829号-1

    Institute of Computing Technology, Chinese Academy of Sciences
    P.O. Box 2704, Beijing 100190, P.R. China

    Tel.: 86-10-62610746 E-mail: jcst@ict.ac.cn

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return