1) Yi xiang lun jie
《易象论解》
1.
As an imitation of the Orderly Sequence of the Hexagrams of Zhouyi by WANG Anshi, Yi xiang lun jie (Commentaries on and Interpretations of the Yi images) is a kind of new Orderly Sequence of the Hexagrams.
《易象论解》是王安石模仿《序卦传》形式所作的另类"新《序卦传》"。
2) The Image of Yi in the book of Changes
试论《周易》易象
3) Yi xue xiang shu lun
《易学象数论》
4) introducing the Yi into the annotations of the Analects of Confucius
以《易》解《论语》
5) On the Yi principles of image-number
象数易道论纲
6) abstract interpretation theory
抽象解释理论
1.
This paper describes the abstract interpretation framework of the program semantics based on the Galois connection, and then discusses three typical applications of the abstract interpretation theory: The program transformation, the program verification techniques about the safety property and the program verification.
描述了程序语义基于Galois连接的抽象解释理论框架,讨论了基于抽象解释理论的程序变换、程序安全性验证和活性性质验证这3种典型的应用,并指出了基于抽象解释理论的程序验证的主要研究方向。
补充资料：论解
1.论说和解释。 2.谓据理申辩使之解脱(罪责)。 3.处理解决。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条