公开(公告)号：CN102609243A

公开(公告)日：2012-07-25

申请号：CN201110445904.1

申请日：2011-12-27

Applicant: 微软公司

Inventor： Y·莱瓦诺尼 ,  朱伟荣 ,  张玲莉 ,  J·L·拉普 ,  A·L·布利斯

IPC: G06F9/34

CPC classification number: G06F9/455 ,  G06F8/434

Abstract: 本发明涉及仿真指针。本发明涉及用于仿真指针的方法、系统和计算机程序产品。可以通过如下方式来仿真指针：用 对替换该指针；以及用根据标签的switch和switch主体替换每个解除引用站点，该switch主体对该指针所指向的相应变量执行仿真的指针访问。可以使用数据流优化来减少switch的数目和/或减少在每个仿真的指针访问站点处需要考虑的case的数目。

公开(公告)号：CN102609243B

公开(公告)日：2014-12-10

申请号：CN201110445904.1

申请日：2011-12-27

Applicant: 微软公司

Inventor： Y·莱瓦诺尼 ,  朱伟荣 ,  张玲莉 ,  J·L·拉普 ,  A·L·布利斯

IPC: G06F9/34

CPC classification number: G06F9/455 ,  G06F8/434

Abstract: 本发明涉及仿真指针。本发明涉及用于仿真指针的方法、系统和计算机程序产品。可以通过如下方式来仿真指针：用 对替换该指针；以及用根据标签的switch和switch主体替换每个解除引用站点，该switch主体对该指针所指向的相应变量执行仿真的指针访问。可以使用数据流优化来减少switch的数目和/或减少在每个仿真的指针访问站点处需要考虑的case的数目。

公开(公告)号：CN102637123B

公开(公告)日：2014-09-24

申请号：CN201110439844.2

申请日：2011-12-23

Applicant: 微软公司

Inventor： P·F·林塞斯 ,  Y·莱瓦诺尼 ,  张玲莉 ,  朱伟荣 ,  D·J·麦克拉迪

IPC: G06F9/302

CPC classification number: G06F17/30 ,  G06F8/314 ,  G06F8/41 ,  G06F9/44 ,  G06F17/00

Abstract: 本申请涉及共同映射通信算子。高级编程语言提供了根据函数将输入可索引类型映射到输出可索引类型的共同映射通信算子。该函数将对应于输出可索引类型的索引空间映射到对应于输入可索引类型的索引空间。通过这样做，共同映射的通信算子将索引空间上的函数提升到可索引类型上的函数以容许与其他通信算子的可组成性。

公开(公告)号：CN102637123A

公开(公告)日：2012-08-15

申请号：CN201110439844.2

申请日：2011-12-23

Applicant: 微软公司

Inventor： P·F·林塞斯 ,  Y·莱瓦诺尼 ,  张玲莉 ,  朱伟荣 ,  D·J·麦克拉迪

IPC: G06F9/302

CPC classification number: G06F17/30 ,  G06F8/314 ,  G06F8/41 ,  G06F9/44 ,  G06F17/00

Abstract: 本申请涉及共同映射通信算子。高级编程语言提供了根据函数将输入可索引类型映射到输出可索引类型的共同映射通信算子。该函数将对应于输出可索引类型的索引空间映射到对应于输入可索引类型的索引空间。通过这样做，共同映射的通信算子将索引空间上的函数提升到可索引类型上的函数以容许与其他通信算子的可组成性。