-
公开(公告)号:US08473971B2
公开(公告)日:2013-06-25
申请号:US11220167
申请日:2005-09-06
申请人: Henricus Johannes Maria Meijer , Brian C. Beckman , David N. Schach , Amanda Silver , Paul A. Vick , Peter F. Drayton , Avner Y. Aharoni , Ralf Lammel
发明人: Henricus Johannes Maria Meijer , Brian C. Beckman , David N. Schach , Amanda Silver , Paul A. Vick , Peter F. Drayton , Avner Y. Aharoni , Ralf Lammel
摘要: 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.
摘要翻译: 通过提供选项组件来选择(或选择退出)后期绑定,增强和平衡编程语言中的后期绑定和早期绑定的系统和方法,并且其中基于静态类型触发后期绑定 变量(例如,对象或类型/字符串)。此外,变量可以在编程语言的不同区域(例如,程序片段)中具有不同的静态类型。
-
公开(公告)号:US07865533B2
公开(公告)日:2011-01-04
申请号:US11671417
申请日:2007-02-05
申请人: Henricus Johannes Maria Meijer , Amanda K. Silver , Paul A. Vick, Jr. , Eugueni Zabokritski , Aleksey V. Tsingauz
发明人: Henricus Johannes Maria Meijer , Amanda K. Silver , Paul A. Vick, Jr. , Eugueni Zabokritski , Aleksey V. Tsingauz
IPC分类号: G06F7/00
CPC分类号: G06F17/30967
摘要: The claimed subject matter relates to an architecture that can facilitate query comprehension that are constructed in a compositional manner. In accordance therewith, the query comprehensions can be assembled together in virtually in order without common requirements that force query operators of a query expression to follow ordering/syntactic rules. In addition, the architecture can provide for query expressions that arbitrarily composable and which can be terminated at any point. If the query expression terminates without a Select or Return clause at the end, the architecture can facilitate generation of an implicit Select or Return, and output results.
摘要翻译: 所要求保护的主题涉及可以促进以组成方式构建的查询理解的架构。 根据这一点,查询理解可以实际上组合在一起,而不需要强制查询运算符查询表达式遵循排序/句法规则的常见要求。 另外,架构可以提供任意可组合的查询表达式,并且可以在任何时候终止它。 如果最终没有Select或Return子句的查询表达式终止,那么架构可以方便生成隐式Select或Return,并输出结果。
-
公开(公告)号:US20080189277A1
公开(公告)日:2008-08-07
申请号:US11671414
申请日:2007-02-05
申请人: Henricus Johannes Maria Meijer , Amanda K. Silver , Paul A. Vick , Eugueni Zabokritski , Aleksey V. Tsingauz
发明人: Henricus Johannes Maria Meijer , Amanda K. Silver , Paul A. Vick , Eugueni Zabokritski , Aleksey V. Tsingauz
IPC分类号: G06F17/30
CPC分类号: G06F17/30392 , G06F17/3041
摘要: The claimed subject matter relates to a formalization of operator patterns that can facilitate type flow of element types between an operator in a first clause of an expression to an operator in a next clause of the expression. The type that flows to, and the operator extant in, the next clause can be combined to infer the element type of the next clause. As such, type-checking, autocompletion and other advantageous features can be accomplished incrementally without the need for a prior full translation of the expression.
摘要翻译: 所要求保护的主题涉及运算符模式的形式化,其可以促进表达式的第一个子句中的运算符与表达式的下一个子句中的运算符之间的元素类型的流动。 可以将流入的类型和下一个子句中的操作符存在,以推断下一个子句的元素类型。 因此,可以增量地实现类型检查,自动完成和其他有利特征,而不需要对表达式的先前的全面翻译。
-
公开(公告)号:US20090144229A1
公开(公告)日:2009-06-04
申请号:US11948078
申请日:2007-11-30
IPC分类号: G06F7/06
CPC分类号: G06F16/90335 , G06F16/24526 , G06F16/24534
摘要: Systems and methods that optimize query translations at compile time in LINQ languages. An optimization component optimizes algebraic trees and rewrites an expression composed from sequence operators into a more efficient expression(s). A compiler associated with the optimization component can receive syntax (e.g., query comprehensions, query expressions) to turn into standard sequence operators that can operate on arbitrary collections. The compiler can then perform transformations on the algebraic trees, such as push filter conditions upwards or downwards and/or to combine filter conditions.
摘要翻译: 在LINQ语言编译时优化查询翻译的系统和方法。 优化组件优化代数树,并将由序列运算符组成的表达式重写为更有效的表达式。 与优化组件相关联的编译器可以接收语法(例如,查询推导,查询表达式)以变成可以对任意集合进行操作的标准序列运算符。 然后,编译器可以对代数树进行转换,例如向上或向下推送过滤条件和/或组合过滤条件。
-
公开(公告)号:US07805456B2
公开(公告)日:2010-09-28
申请号:US11671414
申请日:2007-02-05
申请人: Henricus Johannes Maria Meijer , Amanda K. Silver , Paul A. Vick, Jr. , Eugueni Zabokritski , Aleksey V. Tsingauz
发明人: Henricus Johannes Maria Meijer , Amanda K. Silver , Paul A. Vick, Jr. , Eugueni Zabokritski , Aleksey V. Tsingauz
IPC分类号: G06F7/00
CPC分类号: G06F17/30392 , G06F17/3041
摘要: The claimed subject matter relates to a formalization of operator patterns that can facilitate type flow of element types between an operator in a first clause of an expression to an operator in a next clause of the expression. The type that flows to, and the operator extant in, the next clause can be combined to infer the element type of the next clause. As such, type-checking, autocompletion and other advantageous features can be accomplished incrementally without the need for a prior full translation of the expression.
摘要翻译: 所要求保护的主题涉及运算符模式的形式化,其可以促进表达式的第一个子句中的运算符与表达式的下一个子句中的运算符之间的元素类型的流动。 可以将流入的类型和下一个子句中的操作符存在,以推断下一个子句的元素类型。 因此,可以增量地实现类型检查,自动完成和其他有利特征,而不需要对表达式的先前的全面翻译。
-
公开(公告)号:US08239842B2
公开(公告)日:2012-08-07
申请号:US12391299
申请日:2009-02-24
申请人: Avner Aharoni , Timothy Yat Tim Ng , David N. Schach , Paul Allen Vick, Jr. , Lisa Feigenbaum , Sophia Salim , Henricus Johannes Maria Meijer , Jonathan Paul Aneja , Joseph Tyler Whitney
发明人: Avner Aharoni , Timothy Yat Tim Ng , David N. Schach , Paul Allen Vick, Jr. , Lisa Feigenbaum , Sophia Salim , Henricus Johannes Maria Meijer , Jonathan Paul Aneja , Joseph Tyler Whitney
IPC分类号: G06F9/45
CPC分类号: G06F8/427
摘要: Modified compilers and other development tools provide implied line continuation within a sequence of syntax tokens of a programming language grammar which includes multiple semantic contexts and which uses line termination as presumptive statement termination. When source code parsing encounters a line terminator adjacent a context-dependent implicit line continuation token in an associated semantic context, an explicit decision is made whether to imply line continuation. Line continuation may also be implied in response to other specified tokens.
摘要翻译: 修改的编译器和其他开发工具在包含多个语义环境的程序语言语法的语法标记序列中提供隐含的行延续,并且使用行终止作为推定语句终止。 当源代码解析在相关联的语义环境中遇到与上下文相关的隐式行延续标记相邻的行终止符时,明确地决定是否暗示行继续。 响应于其他指定的令牌也可以暗示行延续。
-
公开(公告)号:US20100218173A1
公开(公告)日:2010-08-26
申请号:US12391299
申请日:2009-02-24
申请人: Avner Aharoni , Timothy Yat Tim Ng , David N. Schach , Paul Allen Vick, JR. , Lisa Feigenbaum , Sophia Salim , Henricus Johannes Maria Meijer , Jonathan Paul Aneja , Joseph Tyler Whitney
发明人: Avner Aharoni , Timothy Yat Tim Ng , David N. Schach , Paul Allen Vick, JR. , Lisa Feigenbaum , Sophia Salim , Henricus Johannes Maria Meijer , Jonathan Paul Aneja , Joseph Tyler Whitney
IPC分类号: G06F9/45
CPC分类号: G06F8/427
摘要: Modified compilers and other development tools provide implied line continuation within a sequence of syntax tokens of a programming language grammar which includes multiple semantic contexts and which uses line termination as presumptive statement termination. When source code parsing encounters a line terminator adjacent a context-dependent implicit line continuation token in an associated semantic context, an explicit decision is made whether to imply line continuation. Line continuation may also be implied in response to other specified tokens.
摘要翻译: 修改的编译器和其他开发工具在包含多个语义环境的程序语言语法的语法标记序列中提供隐含的行延续,并且使用行终止作为推定语句终止。 当源代码解析在相关联的语义环境中遇到与上下文相关的隐式行延续标记相邻的行终止符时,明确地决定是否暗示行继续。 响应于其他指定的令牌也可以暗示行延续。
-
公开(公告)号:US08423588B2
公开(公告)日:2013-04-16
申请号:US13411345
申请日:2012-03-02
IPC分类号: G06F17/30
CPC分类号: G06F17/30516
摘要: Reshaping of streams is provided to facilitate utilizing the streams without rapidly increasing memory requirements as the size of the stream increases. The streams can be pushed to alternative storage upon being reshaped, for example, such as to a persistent storage. If the streams lose structure, for example if a hierarchical stream is reshaped into a flat structure for storage in a database, structural information can be stored along with the streams and utilized to shape the stream to its original structure upon request for data, for example. Streams can be pulled from an exposing device or application, and portions of the stream can be transformed and stored according to a set of stop elements; the stop elements can be associated with functions that take action on the stream upon reaching a stop element, such as transforming and storing a portion thereof.
摘要翻译: 提供流的重构以便于随着流的大小增加而快速增加存储器需求而利用流。 流可以被重新形成时被推送到备用存储器,例如,例如到持久存储器。 如果流丢失结构,例如,如果将分层流重新整形为用于存储在数据库中的平坦结构,则结构信息可以与流一起存储,并用于根据数据请求将流形成其原始结构,例如 。 流可以从曝光装置或应用程序中拉出,流的部分可以根据一组停止元素进行变换和存储; 停止元件可以与到达止动元件时对流进行动作的功能相关联,例如转换和存储其一部分。
-
公开(公告)号:US20090030926A1
公开(公告)日:2009-01-29
申请号:US11782627
申请日:2007-07-24
IPC分类号: G06F7/00
CPC分类号: G06F17/30516
摘要: Reshaping of streams is provided to facilitate utilizing the streams without rapidly increasing memory requirements as the size of the stream increases. The streams can be pushed to alternative storage upon being reshaped, for example, such as to a persistent storage. If the streams lose structure, for example if a hierarchical stream is reshaped into a flat structure for storage in a database, structural information can be stored along with the streams and utilized to shape the stream to its original structure upon request for data, for example. Streams can be pulled from an exposing device or application, and portions of the stream can be transformed and stored according to a set of stop elements; the stop elements can be associated with functions that take action on the stream upon reaching a stop element, such as transforming and storing a portion thereof.
摘要翻译: 提供流的重构以便于随着流的大小增加而快速增加存储器需求而利用流。 流可以被重新形成时被推送到备用存储器,例如,例如到持久存储器。 如果流丢失结构,例如,如果将分层流重新整形为用于存储在数据库中的平坦结构,则结构信息可以与流一起存储,并用于根据数据请求将流形成其原始结构,例如 。 流可以从曝光装置或应用程序中拉出,流的部分可以根据一组停止元素进行变换和存储; 停止元件可以与到达止动元件时对流进行动作的功能相关联,例如转换和存储其一部分。
-
20.
公开(公告)号:US20090030902A1
公开(公告)日:2009-01-29
申请号:US11782626
申请日:2007-07-24
申请人: Avner Y. Aharoni , Henricus Johannes Maria Meijer , David N. Schach , Andrew Eyring Kimball , Vladimir G. Sadov , Sravani Kothapalle , Ghanashyam Chandrasekhar Namboodiripad , Stanislav Kitsis , Mohamed Helal
发明人: Avner Y. Aharoni , Henricus Johannes Maria Meijer , David N. Schach , Andrew Eyring Kimball , Vladimir G. Sadov , Sravani Kothapalle , Ghanashyam Chandrasekhar Namboodiripad , Stanislav Kitsis , Mohamed Helal
IPC分类号: G06F17/30
CPC分类号: G06F8/33
摘要: Intelligent assistance functionality is provided in development environments and/or other editors for schematized data. Input of a trigger character sequence can initiate an intelligent assistance box having data corresponding to a related schema. Thus, the intelligent assistance data can be dynamic as schematized data can change; the data can be queried from the schema as requested to facilitate this end. In one embodiment, the data can be an extensible markup language (XML) schema having a plurality of elements. In this regard, syntax can be entered into a development environment to effectuate an intelligent assistance box comprising the elements of the schema; a root level element can be displayed for an initial trigger character sequence. After selecting the element, another trigger sequence can be input to facilitate querying the schema for next level elements, and so on.
摘要翻译: 智能帮助功能在开发环境和/或其他编辑器中提供用于图形化数据。 触发字符序列的输入可以启动具有与相关模式对应的数据的智能辅助箱。 因此,智能辅助数据可以是动态的,因为示意的数据可以改变; 可以根据请求从数据库中查询数据,以便于此结束。 在一个实施例中,数据可以是具有多个元素的可扩展标记语言(XML)模式。 在这方面,可以将语法输入到开发环境中以实现包括模式的元素的智能辅助箱; 可以为初始触发字符序列显示根级别元素。 选择元素后,可以输入另一个触发器序列,以方便查询下一级别元素的模式,依此类推。
-
-
-
-
-
-
-
-
-