不是完全抽象的指称语义。这个开放问题在1990年代随着博弈语义和涉及逻辑关系的技术的发展基本解决了。 详情请参见PCF语言。
源到源转换的指称语义.把一个程序语言转换成另一个语言经常是有用的。例如一个并发编程语言可被转换成进程演算；高级编程语言可以被转换成字节码(实际上，常规指称语义可以被看作把编程语言解释成域的范畴的内部语言)。在这个语境中，来自指称语义的概念，不如完全抽象，有助于满足安全关注。
完全抽象.完全抽象的概念关心程序的指称语义是否精确