“J·D·多蒂”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果4个，建议您升级VIP下载更多相关专利

[发明专利]用于声明性数据脚本语言的类型系统-CN200980140409.0无效
发明人： D·E·兰沃西;G·柏曼;A·D·高登;D·F·伯克斯;B·H·洛夫林;J·C·施利梅尔;J·D·多蒂 -专利权人：微软公司
申请日： 2009-09-30 - 公布日： 2011-08-31 - 主分类号： G06F17/00 文献下载
摘要：提供用于灵活地定义声明性编程语言的各类型的高效的、合乎逻辑的和有表现力的类型系统，以使得可以生成高效的且结构上紧凑的数据密集的应用程序。该类型系统支持精化类型和类型成员表达式的组合，并支持包含所有有效值作为成员的顶端类型。借助于该类型系统，各类型可以被表达成其他类型的交和/或并。因而，可以为真实世界数据存储中存在的全部数据类型高效地表示类型。
用于声明数据脚本语言类型系统

[发明专利]一致地信令状态变更-CN200980106643.1有效
发明人： C·A·西泽伯斯基;G·M·凯泽;J·R·威廉姆斯;J·D·多蒂 -专利权人：微软公司
申请日： 2009-01-23 - 公布日： 2011-01-19 - 主分类号： G06F9/06 文献下载
摘要：本发明的信令系统提供了用于传递、报告，和/或以其他方式处理软件依赖关系链中的状态变更的同步方法。在第一阶段，信令系统标识软件组件之间的所有依赖关系，并还用第一表示来设置每一个节点的二进制指示符。在标识源节点中的任何变更(例如，值被更新)之后，系统将每一二进制指示符更新为第二设置。在第二阶段，系统基本上按从源节点，到中间节点，以及最终节点等的渐进次序，启动依赖关系链中的所有监听程序。一旦所有监听程序都有机会基于已更新的值来执行一个或多个进程，系统就可以丢弃依赖关系图，以允许为后续值变更构建新的依赖关系图。
一致地状态变更

[发明专利]使用书签的流对象实例化-CN200880125603.7有效
发明人： J·D·多蒂;J·C·施利梅尔;C·L·安德森;M·J·加金 -专利权人：微软公司
申请日： 2008-12-29 - 公布日： 2010-12-22 - 主分类号： G06F15/16 文献下载
摘要：对一组流权标中的权标加书签，每一个权标都表示实例化指令或实例化上下文。导航器接收一组流权标，并将这些权标提供给实例化管理器。然而，如果导航器接收到用书签来标记特定权标的指令，则导航器缓冲至少在该用书签标记的权标处开始(并且在存在先前书签的情况下甚至可能更早)的该组流指令。导航器响应于来自实例化管理器的指令来重放在书签处开始的该组流权标。实例化管理器接收该组流权标。如果实例化管理器目前不能处理特定权标的指令，则实例化管理器指示导航器用书签来标记该特定权标。在实例化管理器稍后接收到准许该实例化管理器返回到该书签的权标时，该实例化管理器返回到书签以重放在该书签处开始的实例化指令。
使用书签对象实例