用于声明性编程语言的基于树的有向图编程结构

摘要

提供了用于声明性编程语言的基于树的有向图编程结构的各实施例。在各实施例中，复杂的图结构化数据(在此在一个非限制性实现中被称为“DGraph”)是使用紧凑的人类友好的句法而不使用显式标识符来创作的。在一个非限制性方面，句法包括对遵从关系(也被称为因子分解的关系)的支持。在另一非限制性方面，半结构化图数据是基于树的表示，并且句法包括引用的词法解析或词法作用域确定和/或非局部初始化。

主权项

一种用于基于树表示来将声明性编程模型的编程构造表示成有向图的方法，包括：接收400声明性编程语言的至少一个句法树数据结构的表示；接收410定义交叉引用所述至少一个句法树数据结构的不同方式的词法作用域的至少一个指示；以及生成420包括始发自来自第一句法树数据结构的节点和来自第二句法树数据结构的节点的至少一个交叉引用的有向图数据结构，所述至少一个交叉引用是基于词法作用域的所述至少一个指示来确定的。