标签： compiler-construction static-analysis term abstract-interpretation
在一篇论文中，有这样的词：“只有在相同文本点创建的对象才能共享抽象表示”。 “文本点”是什么意思？我猜这个术语是一个通用术语，而不是特定于主题的术语。