专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20070055978A1 Type inference and type-directed late binding 有权
标题翻译：类型推断和类型导向晚期绑定
公开(公告)号：US20070055978A1
公开(公告)日：2007-03-08
申请号：US11220167
申请日：2005-09-06
申请人： Henricus Meijer , Brian Beckman , David Schach , Amanda Silver , Paul Vick , Peter Drayton , Avner Aharoni , Ralf Lammel
发明人： Henricus Meijer , Brian Beckman , David Schach , Amanda Silver , Paul Vick , Peter Drayton , Avner Aharoni , Ralf Lammel
IPC分类号： G06F9/44
CPC分类号： G06F8/31 , G06F9/449
摘要： Systems and methods that enhance and balance a late binding and an early binding in a programming language, via supplying an option component to opt-in (or opt-out) late binding, and wherein a late binding is triggered based on a static type for the variable (e.g., object or a type/string.) Additionally, the variable is enabled to have different static types at different regions (e.g., a program fragment) of the programming language.
摘要翻译：通过提供选项组件来选择（或选择退出）后期绑定，增强和平衡编程语言中的后期绑定和早期绑定的系统和方法，并且其中基于静态类型触发后期绑定变量（例如，对象或类型/字符串）。此外，变量可以在编程语言的不同区域（例如，程序片段）中具有不同的静态类型。

2. 发明申请

US20070074185A1 Identifier expressions 审中-公开
标题翻译：标识符表达式
公开(公告)号：US20070074185A1
公开(公告)日：2007-03-29
申请号：US11215135
申请日：2005-08-30
申请人： Henricus Meijer , Peter Drayton , Brian Beckman , Paul Vick , Amanda Silver , David Schach , Avner Aharoni
发明人： Henricus Meijer , Peter Drayton , Brian Beckman , Paul Vick , Amanda Silver , David Schach , Avner Aharoni
IPC分类号： G06F9/45
CPC分类号： G06F8/437 , G06F8/31
摘要： Systems and methods that enhance a programming language with late binding via employing expressions of the form “Expression” in syntactic positions—wherein previously only compile-time constants were allowed. In a related aspect, the subject innovation can parameterize over a member name, via examining the grammar of the language (and all the available helpers) and replace identifiers or constants with an expression(s).
摘要翻译：通过在句法位置采用表达式“表达式”的表达形式来增强具有后期绑定的编程语言的系统和方法，其中以前只允许编译时常数。在相关方面，主体创新可以通过检查语言的语法（和所有可用的助手）来参数化成员名称，并用表达式替换标识符或常量。

3. 发明申请

US20070050380A1 Nullable and late binding 失效
标题翻译：可疑和晚期绑定
公开(公告)号：US20070050380A1
公开(公告)日：2007-03-01
申请号：US11215178
申请日：2005-08-30
申请人： Henricus Meijer , Amanda Silver , Brian Beckman , Paul Vick , Avner Aharoni , David Schach , Peter Drayton
发明人： Henricus Meijer , Amanda Silver , Brian Beckman , Paul Vick , Avner Aharoni , David Schach , Peter Drayton
IPC分类号： G06F7/00
CPC分类号： G06F8/31
摘要： Systems and methods that enhance a programming language by introducing null unification on a type level in addition to a value level, for static types of both reference and value types T. An operator that adds a level of nullability (and removes such nullability) is introduced without a mention of the actual type, to steer overloading in a precise manner.
摘要翻译：引入了一个编程语言的系统和方法，通过在类型级别上引入空值统一，除了值级别之外，还引用了引用和值类型T的静态类型。引入了可空性级别（并消除了这种可空性）的操作符被引入没有提到实际的类型，以精确的方式引导超载。

4. 发明申请

US20070044066A1 Embedded multi-language programming 审中-公开
标题翻译：嵌入式多语言编程
公开(公告)号：US20070044066A1
公开(公告)日：2007-02-22
申请号：US11208228
申请日：2005-08-19
申请人： Henricus Meijer , Brian Beckman , Avner Aharoni , David Schach , Peter Drayton , Ralf Lammel , Jose Blakeley , Cyrus Najmabadi
发明人： Henricus Meijer , Brian Beckman , Avner Aharoni , David Schach , Peter Drayton , Ralf Lammel , Jose Blakeley , Cyrus Najmabadi
IPC分类号： G06F9/44
CPC分类号： G06F8/33
摘要： Multiple programming languages can be embedded and supported within a single source. Programs nested with syntax from a plurality of languages (e.g., C#, SQL, XML . . . ), among other things, enable users to avail themselves of advantageous aspects of different languages for particular tasks. Language services that provide language specific functionality including but not limited to formatting, intelligent assist, auto completion, and coloring, can be employed and switched between to afford support for their respective languages in a mixed language source program. Similarly, mixed language programs can be compiled with language specific services or systems such as parsers, scanners and the like to process corresponding code portions.
摘要翻译：多种编程语言可以在单一来源内嵌入和支持。嵌套有来自多种语言（例如，C＃，SQL，XML ...）的语法的程序等等使得用户能够利用不同语言的有利方面来执行特定任务。可以使用提供语言特定功能的语言服务，包括但不限于格式化，智能辅助，自动完成和着色，并在混合语言源程序中为其各自语言提供支持。类似地，混合语言程序可以用语言特定的服务或诸如解析器，扫描仪等的系统来编译以处理相应的代码部分。

5. 发明申请

US20070050754A1 Relaxed and extended delegates 失效
标题翻译：放松和扩展的代表
公开(公告)号：US20070050754A1
公开(公告)日：2007-03-01
申请号：US11214701
申请日：2005-08-30
申请人： Henricus Meijer , Brian Beckman , Peter Drayton , David Schach , Ralf Lammel , Avner Aharoni
发明人： Henricus Meijer , Brian Beckman , Peter Drayton , David Schach , Ralf Lammel , Avner Aharoni
IPC分类号： G06F9/44
CPC分类号： G06F8/31
摘要： Systems and methods that enhance expressibility in a programming language (e.g., Visual Basic) via relaxation of artificial restrictions and extension of delegates associated therewith, without changing the runtime infrastructure. A stub is employed that can replace an impermissible expression in the programming language, to leverage the existing permissible expressions.
摘要翻译：通过放松人为限制和与之相关联的委托的扩展来增强编程语言（例如，Visual Basic）中的表达性的系统和方法，而不改变运行时基础设施。使用一个可以替代编程语言中不允许的表达式的存根，以利用现有的允许表达式。

6. 发明申请

US20070038978A1 Layered type systems 有权
标题翻译：分层式系统
公开(公告)号：US20070038978A1
公开(公告)日：2007-02-15
申请号：US11201507
申请日：2005-08-11
申请人： Henricus Meijer , David Schach , Avner Aharoni , Peter Drayton
发明人： Henricus Meijer , David Schach , Avner Aharoni , Peter Drayton
IPC分类号： G06F9/44
CPC分类号： G06F8/437
摘要： The subject disclosure pertains to layering of a plurality of type systems. A development environment and language compilers can support multiple data models and their type systems in the same program. Elements of a program such as expressions can then be associated with several types from the multiple type systems. Compilers can employ the information provided by additional type systems to improve static type checking. Furthermore, the information can be bubbled up to a user in a plurality of forms including but not limited to intelligent assistance, auto-completion, tool tips, error information, and return types to enhance the program development experience.
摘要翻译：主题公开涉及多个类型系统的分层。开发环境和语言编译器可以在同一程序中支持多种数据模型及其类型系统。诸如表达式的程序的元素然后可以与多种类型的系统中的几种类型相关联。编译器可以使用附加类型系统提供的信息来改进静态类型检查。此外，信息可以以多种形式鼓泡到用户，包括但不限于智能辅助，自动完成，工具提示，错误信息和返回类型，以增强程序开发经验。

7. 发明申请

US20070055962A1 Anonymous types 失效
标题翻译：匿名类型
公开(公告)号：US20070055962A1
公开(公告)日：2007-03-08
申请号：US11219256
申请日：2005-09-02
申请人： Henricus Meijer , Brian Beckman , Paul Vick , Amanda Silver
发明人： Henricus Meijer , Brian Beckman , Paul Vick , Amanda Silver
IPC分类号： G06F9/45
CPC分类号： G06F8/437
摘要： A computer-implemented system for representing data comprises a position indicator that indicates a position of a datum within a group, a name indicator that optionally names the datum, and a value of the datum. A type to be assigned to the datum is derived from at least one of a name of the datum and the position of the datum within the group. Methods of using the system are also provided.
摘要翻译：用于表示数据的计算机实现的系统包括指示组内的数据的位置的位置指示符，可选地命名数据的名称指示符和基准的值。要分配给基准的类型从基准的名称和组内基准的位置中的至少一个派生。还提供了使用该系统的方法。

8. 发明申请

US20070094647A1 Data interfaces 有权
标题翻译：数据接口
公开(公告)号：US20070094647A1
公开(公告)日：2007-04-26
申请号：US11214404
申请日：2005-08-29
申请人： Henricus Meijer , Amanda Silver , Paul Vick , Brian Beckman
发明人： Henricus Meijer , Amanda Silver , Paul Vick , Brian Beckman
IPC分类号： G06F9/45
CPC分类号： G06F8/437 , G06F8/44
摘要： A computer-implemented system for accessing data stored in a computer-readable format comprises a data source indicator that identifies least one datum of a data source to be typed. The system also includes a type definition component that defines a strongly typed view of the at least one datum. Methods of using the system are also provided.
摘要翻译：用于访问以计算机可读格式存储的数据的计算机实现的系统包括识别待键入的数据源的最少一个数据的数据源指示符。该系统还包括定义至少一个基准的强类型视图的类型定义组件。还提供了使用该系统的方法。

9. 发明申请

US20070050168A1 Type extensions 失效
标题翻译：输入扩展名
公开(公告)号：US20070050168A1
公开(公告)日：2007-03-01
申请号：US11214424
申请日：2005-08-29
申请人： Henricus Meijer , Paul Vick , Brian Beckman , Amanda Silver
发明人： Henricus Meijer , Paul Vick , Brian Beckman , Amanda Silver
IPC分类号： G01R27/28
CPC分类号： G06F9/4492
摘要： A system for extending data types in software comprises an extension unit that modifies an arbitrary preexisting base data type, the preexisting base data type having at least one member. The system also includes a supplemental member that is included with the extension unit and that provides additional functionality to the preexisting base type. Methods for using the system are also provided.
摘要翻译：用于以软件扩展数据类型的系统包括修改任意的预先存在的基本数据类型的扩展单元，预先存在的基本数据类型具有至少一个成员。该系统还包括扩展单元附带的补充成员，并为预先存在的基本类型提供附加功能。还提供了使用该系统的方法。

10. 发明申请

US20070043702A1 Query expressions and interactions with metadata 有权
标题翻译：查询表达式和与元数据的交互
公开(公告)号：US20070043702A1
公开(公告)日：2007-02-22
申请号：US11207221
申请日：2005-08-19
申请人： Priyamvadha Lakshminarayanan , Avner Aharoni , Henricus Meijer , David Schach
发明人： Priyamvadha Lakshminarayanan , Avner Aharoni , Henricus Meijer , David Schach
IPC分类号： G06F17/30
CPC分类号： G06F17/30926 , Y10S707/99933
摘要： This disclosure pertains to the interaction between query expressions and metadata. Metadata, for example provided by one or more schemas, can supply information over a domain to be queried and/or navigated. This metadata can be applied to the query expression, or vice versa, to return information about the domain and/or the query expression.
摘要翻译：本公开涉及查询表达式和元数据之间的交互。例如由一个或多个模式提供的元数据可以通过要查询和/或导航的域提供信息。该元数据可以应用于查询表达式，反之亦然，以返回有关域和/或查询表达式的信息。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式