-
Patent Agency Ranking
公开(公告)号：CN101606154A
公开(公告)日：2009-12-16
申请号：CN200880003975.2
申请日：2008-02-05
Applicant: 微软公司
IPC: G06F17/30
CPC classification number: G06F16/2438 , G06F16/2423
Abstract: 所要求保护的主题涉及运算符模式的形式化，其可方便表达式的第一子句中的运算符到表达式的下一子句中的运算符的元素类型的类型流。流到下一子句的类型以及其中现存的运算符可被组合以推断下一子句的元素类型。由此，可增量式地实现类型检查、自动完成和其它有利特征而无需在前对表达式的完全转换。
-
公开(公告)号：CN101523384A
公开(公告)日：2009-09-02
申请号：CN200680027771.3
申请日：2006-06-29
Applicant: 微软公司
IPC: G06F17/00
CPC classification number: G06F8/24 , G06F8/30 , G06F8/65 , G06F17/30595 , G06F17/30607 , Y10S707/99931 , Y10S707/99943 , Y10S707/99944
Abstract: 本公开关于在对象关系映射中使用的代码生成模式。该代码模式可用于管理双向关系并确保一致性。该代码模式可支持按需或延期的关系数据加载。也提供了改变检测和跟踪。另外，默认成员修改器允许开发员在不直接修改生成的源代码的情况下覆盖工具生成的源代码。
-
公开(公告)号：CN101253478A
公开(公告)日：2008-08-27
申请号：CN200680032080.2
申请日：2006-08-15
Applicant: 微软公司
Abstract: 提供了通过供应选择进入(或选择退出)后期绑定来平衡编程语言内后期绑定和早期绑定的系统和方法，其中后期绑定是基于该变量的静态类型(例如，对象或类型/字符串)而触发的。此外，可以允许变量在编程语言的不同区域(例如，程序段)内具有不同的静态类型。
-
公开(公告)号：CN101233512A
公开(公告)日：2008-07-30
申请号：CN200680027767.7
申请日：2006-06-29
Applicant: 微软公司
IPC: G06F17/30
CPC classification number: G06F17/30595 , G06F8/51 , G06F17/30427
Abstract: 一个系统，该系统用于把查询从第一计算语言的表示(图1，110)转换成不同于所述第一计算语言的第二计算语言的表示(图1，130)的等效查询，它包括查询模块，该查询模块接受面向对象表示的查询，以翻译成目标查询语言的等效查询。该系统也包括翻译模块(图1，120)，该翻译模块使用查询的面向对象表示来创建目标查询语言的理想化版本的该查询的第一版本，并使用该查询的第一版本来创建目标查询语言(图1)的实现版本的该查询的第二版本。也提供使用该系统的方法。
-
公开(公告)号：CN101233488A
公开(公告)日：2008-07-30
申请号：CN200680027769.6
申请日：2006-06-21
Applicant: 微软公司
IPC: G06F9/45
Abstract: 一种支持将所选语义对象表示成数据对象的语言的编译器。数据对象可通过多种方式用来扩展编程语言的能力。数据对象可被传递给应用程序并用于创建该应用程序的可执行指令。这样，以编译器的本机语言编写的指令可用于控制接受使用与编译器本机语言不一致的语言的程序的应用程序。编译器的句法检查和变量绑定能力可用于要由与编译器生成的对象代码分开的应用程序执行的那些指令。表示为数据对象的语义对象可基于包含在源代码中的表达操作来选择，或者可以基于隐式类型转换来选择。
-
-
-
-
Search Results
55
records
(took 0.021 seconds)
