公开(公告)号：CN102696026A

公开(公告)日：2012-09-26

申请号：CN201080060863.8

申请日：2010-12-31

Applicant: 微软公司

Inventor： M·J·沃伦 ,  A·Y·阿哈罗尼 ,  M·托格森 ,  R·帕凯 ,  N·M·加夫特 ,  J·帕森斯 ,  D·N·舒艾奇 ,  A·V·青高兹 ,  P·戈尔德 ,  K·皮尔希-比森 ,  刘凯玲

IPC: G06F17/00 ,  G06F17/27

CPC classification number: G06F17/30327 ,  G06F8/427

Abstract: 通过创建数据结构来启用在增量改变下带有父指针的高效不可变句法表示，该数据结构包括至少一个允许在树中进行向上和向下引用两者的树结构、以及不可变的（只读）且允许其自身的部分在其他数据结构中被重复使用的树结构。所描述的数据结构使得工具能够搜索并将特定的子树定位目标。该树的表示被定为目标的子树的片段在使用时被产生。树的其余部分不被产生。只读树保留相对信息，从而使其可被重新组装和共享。

公开(公告)号：CN101253477A

公开(公告)日：2008-08-27

申请号：CN200680031473.1

申请日：2006-08-04

Applicant: 微软公司

Inventor： H·J·M·梅杰 ,  A·希尔维 ,  B·C·贝克曼 ,  P·A·维柯 ,  A·Y·阿哈罗尼 ,  D·N·舒艾奇 ,  P·F·戴尔顿

IPC: G06F9/44 ,  G06F9/45 ,  G06F17/00

CPC classification number: G06F8/31

Abstract: 提供了增强编程语言的系统和方法，而这是通过为包括引用和值类型T两者的静态类型引入除值层面之外在类型层面上的空统一来实现的。不加提及实际类型地引入一种添加一层可空性(以及移除该可空性)的操作符，从而以精确的方式指引重载。