%0 Journal Article
%T Formalization and Verification of Pointers in the Temporal Logic Language XYZ/E Programs<br>时序逻辑语言XYZ/E中指针的形式化表示与验证
%A LI Guang-yuan
%A TANG Zhi-song
%A <br>李广元
%A 唐稚松
%J 软件学报
%D 2000
%I 
%X 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.
%K Temporal logic
%K formal semantics
%K program verification
%K dynamic semantics
%K pointer<br>时序逻辑，形式语义，程序验证，动态语义，指针.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=045A3A7ABA67B80F&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=38B194292C032A66&sid=B8F8200D88DDC7D6&eid=8BB50A069C48D50B&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=4