プログラム解析における細粒度の構文情報と意味情報の連係に向けて  [in Japanese] Collaboration of Fine-grained Syntactic and Semantic Information in Program Analysis  [in Japanese]

Search this Article

Author(s)

Abstract

プログラムの構成要素と構造を細粒度に分解し, 一次元表現として与えるStreamCodeから, 意味情報をやはり細粒度に要素化するソフトウェアクォークモデルへの変換について議論する. 見通し良く変換を実現するために, SQMの順序依存の定義を中間表現として用い, StreamCodeからSQMへの変換パターンを定義できることを示す. また, C言語のサブセットの必要性についても議論する.

We discuss a translation from StreamCode into SQM(Software Quark Model). StreamCode is a representation of fine-grained syntactic information of programs. SQM is a representation of fine-grained semantic information of programs. We introduce the order-dependent definition of SQM as intermediate representation, and show how it contributes the translation. We also discuss the necessity of a subset of the C language.

Journal

  • Technical report of IEICE. SS

    Technical report of IEICE. SS 105(25), 19-24, 2005-04-15

    The Institute of Electronics, Information and Communication Engineers

References:  4

Codes

  • NII Article ID (NAID)
    110003277351
  • NII NACSIS-CAT ID (NCID)
    AN10013287
  • Text Lang
    JPN
  • Article Type
    ART
  • ISSN
    09135685
  • NDL Article ID
    7357087
  • NDL Source Classification
    ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
  • NDL Call No.
    Z16-940
  • Data Source
    CJP  NDL  NII-ELS 
Page Top