Traditional code transformation structures, such as an abstract syntax tree, may have limitations in their ability to extract semantic meaning from code. Others have begun to work on this issue, such as the state-of-the-art Aroma system and its simplified parse tree (SPT). Continuing this research direction, we present a new graphical structure to capture semantics from code using what we refer to as a program-derived semantic graph (PSG). The principle behind the PSG is to provide a single structure that can capture program semantics at many levels of granularity. Thus, the PSG is hierarchical in nature. Moreover, because the PSG may have cycles due to dependencies in semantic layers, it is a graph, not a tree. In this paper, we describe the PSG and its fundamental structural differences to the Aroma's SPT. Although our work in the PSG is in its infancy, our early results indicate it is a promising new research direction to explore to automatically extract program semantics.

中文翻译：

---

使用程序派生语义图的软件语言理解

传统的代码转换结构，例如抽象语法树，在从代码中提取语义的能力方面可能存在局限性。其他人已经开始研究这个问题，例如最先进的 Aroma 系统及其简化的解析树 (SPT)。继续这个研究方向，我们提出了一种新的图形结构，使用我们所说的程序衍生语义图 (PSG) 从代码中捕获语义。PSG 背后的原理是提供一个单一结构，可以在多个粒度级别捕获程序语义。因此，PSG 本质上是分层的。此外，由于语义层的依赖关系，PSG 可能具有循环，因此它是一个图，而不是一棵树。在本文中，我们描述了 PSG 及其与 Aroma SPT 的基本结构差异。