Formalization and Verification of Pointers in the Temporal Logic Language XYZ/E Programs
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    Pointer is an important data type in most programming languages.It can make programs more efficient and more elegant.Unfortunately,this important concept is always notorious for its timelessness.Until now,no proper way to formalize it in temporal logic language has been found.XYZ/E is a temporal logic system as well as a programming language.It can represent almost every kind of significant features in conventional imperative languages.This paper is devoted to the representation of pointer in language XYZ/E and the verification of XYZ/SE programs with pointers.

    Reference
    Related
    Cited by
Get Citation

李广元,唐稚松.时序逻辑语言XYZ/E中指针的形式化表示与验证.软件学报,2000,11(3):285-292

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:March 27,1998
  • Revised:November 01,1998
  • Adopted:
  • Online:
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063