Denotational Semantics of Tabular Expressions
Author:
Affiliation:

Clc Number:

Fund Project:

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

    Tabular expressions are a formal notation using Tabular form to organize functions or relationships, and they have been widely used in documenting and analyzing software systems. To avoid misunderstanding and to support user with trustworthy tools, the meaning of these expressions must be fully defined. This paper presents the formal grammar and denotational semantics of the Tabular expressions in general model. By defining semantics assigned equation of each syntax unit of the Tabular expressions' formal grammar, denotational semantics of the Tabular expressions is specified. In addition, the meaning of some classical Tabular expression types and new table types are described based on this semantics. Comparisons made with other semantics description methods show that the denotational semantics method defines Tabular expressions' meaning precisely without subjecting to the restrictions of models and types of Tabular expressions. The proposed method breaks the existing methods' limitations and is an effective method.

    Reference
    Related
    Cited by
Get Citation

张鹏,刘磊,刘华虓,金英. Tabular表达式的指称语义研究.软件学报,2014,25(6):1212-1224

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:February 26,2013
  • Revised:August 21,2013
  • Adopted:
  • Online: February 07,2014
  • 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