因为我们进行的是上下文无关的分析，所以只需要断定一个给定的变量u能够指向一个给定的堆对象h,不需要指出在程序中的什么地方u可能指向h，或者在什么样的上下文中u可以指向h请注意，变量可以通过它的全名来命名。在Java中，这个全名包括了模块、类、方法和方法中的块以及变量名本身。因此，我们可以区分标识符相同的多个变量。
假设我们的语言可以用下列方式来表示和操作引用：

1)某些程序变量的类型为“指向T的指针”或“指向r的引用”，其中T是一个类型。这些变量可以是静态的，也可能位于运行时刻栈中。我们简单地称它们为变量。

Html是一种用来描述web文档的内容的语言，超文本传输协议（http），是一种用来描述如何在internet上发送这些文档的语言。http指出了浏览器进行请求、服务器提供响应的规则，这种规则或协议包含：以名字请求的一个文档、在数据格式上达成一致、判断用户是谁、决定如何处理过期资源、指出请求结果。当使用web浏览器时，不必直接键入http命令，而是键入一个url，浏览器将该行为转换为http命令，此命令向url中指定的服务器文档发出请求。Web服务器找到文档，将其发回至浏览器加以显示，并伴有其相关图形和其他超链接。