利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

41 条记录 (耗时 0.048 秒)

    Embedding expressions in XML literals
    5.
    发明授权
    Embedding expressions in XML literals 有权
    在XML文字中嵌入表达式

    公开(公告)号：US08533693B2

    公开(公告)日：2013-09-10

    申请号：US12955680

    申请日：2010-11-29

    申请人： Henricus Johannes Maria Meijer ,  David N. Schach ,  Avner Y. Aharoni ,  Peter F. Drayton ,  Brian C. Beckman ,  Amanda Silver ,  Paul A. Vick

    发明人： Henricus Johannes Maria Meijer ,  David N. Schach ,  Avner Y. Aharoni ,  Peter F. Drayton ,  Brian C. Beckman ,  Amanda Silver ,  Paul A. Vick

    IPC分类号： G06F9/45 ,  G06F9/44

    CPC分类号： G06F17/2247 ,  G06F8/41 ,  G06F17/272

    摘要： An architecture that that extends conventional computer programming languages that compile into an instance of an extensible markup language (XML) document object model (DOM) to provide support for XML literals in the underlying programming language. This architecture facilitates a convenient short cut by replacing the complex explicit construction required by conventional systems to create an instance of a DOM with a concise XML literal for which conventional compilers can translate into the appropriate code. The architecture allows these XML literals to be embedded with expressions, statement blocks or namespaces to further enrich the power and versatility. In accordance therewith, context information describing the position and data types that an XML DOM can accept can be provided to the programmer via, for example, an integrated development environment. Additionally, the architecture supports escaping XML identifiers, a reification mechanism, and a conversion mechanism to convert between collections and singletons.

    摘要翻译： 一种将常规计算机编程语言扩展到可扩展标记语言（XML）文档对象模型（DOM）的实例的体系结构，以便为底层编程语言中的XML文字提供支持。 该架构通过替代传统系统所需的复杂显式构造来简化方便的快捷操作，以创建具有简洁XML文字的DOM实例，常规编译器可将其转换为适当的代码。 该架构允许这些XML文字嵌入表达式，语句块或命名空间，以进一步丰富功能和多功能性。 根据此，可以通过例如集成开发环境向程序员提供描述XML DOM可以接受的位置和数据类型的上下文信息。 另外，该架构支持转义XML标识符，一个验证机制，以及一个在集合和单例之间进行转换的转换机制。

    EMBEDDING EXPRESSIONS IN XML LITERALS
    7.
    发明申请
    EMBEDDING EXPRESSIONS IN XML LITERALS 有权
    嵌入式XML表达式表达式

    公开(公告)号：US20110072413A1

    公开(公告)日：2011-03-24

    申请号：US12955680

    申请日：2010-11-29

    申请人： Henricus Johannes Maria Meijer ,  David N. Schach ,  Avner Y. Aharoni ,  Peter F. Drayton ,  Brian C. Beckman ,  Amanda Silver ,  Paul A. Vick

    发明人： Henricus Johannes Maria Meijer ,  David N. Schach ,  Avner Y. Aharoni ,  Peter F. Drayton ,  Brian C. Beckman ,  Amanda Silver ,  Paul A. Vick

    IPC分类号： G06F9/44

    CPC分类号： G06F17/2247 ,  G06F8/41 ,  G06F17/272

    摘要： An architecture that that extends conventional computer programming languages that compile into an instance of an extensible markup language (XML) document object model (DOM) to provide support for XML literals in the underlying programming language. This architecture facilitates a convenient short cut by replacing the complex explicit construction required by conventional systems to create an instance of a DOM with a concise XML literal for which conventional compilers can translate into the appropriate code. The architecture allows these XML literals to be embedded with expressions, statement blocks or namespaces to further enrich the power and versatility. In accordance therewith, context information describing the position and data types that an XML DOM can accept can be provided to the programmer via, for example, an integrated development environment. Additionally, the architecture supports escaping XML identifiers, a reification mechanism, and a conversion mechanism to convert between collections and singletons.

    摘要翻译： 一种将常规计算机编程语言扩展到可扩展标记语言（XML）文档对象模型（DOM）的实例的体系结构，以便为底层编程语言中的XML文字提供支持。 该架构通过替代传统系统所需的复杂显式构造来简化方便的快捷操作，以创建具有简洁XML文字的DOM实例，常规编译器可将其转换为适当的代码。 该架构允许这些XML文字嵌入表达式，语句块或命名空间，以进一步丰富功能和多功能性。 根据此，可以通过例如集成开发环境向程序员提供描述XML DOM可以接受的位置和数据类型的上下文信息。 另外，该架构支持转义XML标识符，一个验证机制，以及一个在集合和单例之间进行转换的转换机制。

    Layered type systems
    10.
    发明授权
    Layered type systems 有权
    分层式系统

    公开(公告)号：US07730448B2

    公开(公告)日：2010-06-01

    申请号：US11201507

    申请日：2005-08-11

    申请人： Henricus Johannes Maria Meijer ,  David N. Schach ,  Avner Y. Aharoni ,  Peter F. Drayton

    发明人： Henricus Johannes Maria Meijer ,  David N. Schach ,  Avner Y. Aharoni ,  Peter F. Drayton

    IPC分类号： G06F9/44 ,  G06F9/45

    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.

    摘要翻译： 主题公开涉及多个类型系统的分层。 开发环境和语言编译器可以在同一程序中支持多种数据模型及其类型系统。 诸如表达式的程序的元素然后可以与多种类型的系统中的几种类型相关联。 编译器可以使用附加类型系统提供的信息来改进静态类型检查。 此外，信息可以以多种形式鼓泡到用户，包括但不限于智能辅助，自动完成，工具提示，错误信息和返回类型，以增强程序开发经验。