会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 92. 发明授权
    • Static inheritance systems and methods
    • 静态继承系统和方法
    • US08250528B2
    • 2012-08-21
    • US11012409
    • 2004-12-15
    • Henricus Johannes Maria MeijerSergey DubinetsYan V. LeshinskyEvgeny N. Veselov
    • Henricus Johannes Maria MeijerSergey DubinetsYan V. LeshinskyEvgeny N. Veselov
    • G06F9/44
    • G06F9/4492
    • The subject invention pertains to a system and method of extending programming languages to enable static inheritance. In particular, static subclasses can be defined which extend class functionality and/or behaviors without extending base class state. The subclasses can be specified to include static fields as well as static or instance methods and/or properties that provide a more specific interpretation of an object without extending the state thereof. Furthermore, a static subclass can be specified to provide for type aliasing. Casting is also enabled in both directions between base class type and derived class type in a convenient manner without run-time performance penalties. According to one aspect of the invention, the disclosed systems and methods can be employed to create specific programmatic context, for instance for accessing, manipulating, and type checking external data (e.g., XML).
    • 本发明涉及一种扩展编程语言以实现静态继承的系统和方法。 特别地,可以定义静态子类,其扩展类功能和/或行为,而不扩展基类状态。 子类可以指定为包括静态字段以及静态或实例方法和/或属性,可以在不扩展对象的状态的情况下提供对对象的更具体的解释。 此外,可以指定静态子类来提供类型别名。 在方便的方式下,也可以在基类类型和派生类类型之间的两个方向上启用转换,而无需运行时性能损失。 根据本发明的一个方面,所公开的系统和方法可用于创建特定的编程上下文,例如用于访问,操纵和类型检查外部数据(例如,XML)。
    • 95. 发明申请
    • RESUMABLE METHODS
    • 可恢复的方法
    • US20110265070A1
    • 2011-10-27
    • US12767811
    • 2010-04-27
    • Henricus Johannes Maria MeijerMads TorgersenNeal M. GafterNiklas Gustafsson
    • Henricus Johannes Maria MeijerMads TorgersenNeal M. GafterNiklas Gustafsson
    • G06F9/45
    • G06F8/314
    • APIs are provided, that are external to a programming language but that provide functionality that can be plugged into a language compiler. The provided APIs tailor functionality associated with asynchronous programming, iterators or writing symmetric co-routines using a generalized pattern-based approach. Several types of resumable methods are provided in the APIs which can be applied to method bodies written in traditional program code. Syntactically distinguishable control points in method bodies written in traditional program code invoke transformation of the code by the compiler using the external APIs. The transformed code enables the pausing and resumption of the code sandwiched between control points in the transformed code. The source code contained within a method having control points in it is transformed so that code within the method can be executed in discrete parts, each part starting and ending at a control point in the transformed code.
    • 提供API,它们是编程语言外部的,但是提供可以插入到语言编译器中的功能。 提供的API定制与异步编程相关的功能,迭代器或使用广义的基于模式的方法来编写对称协同程序。 API中提供了几种类型的可恢复方法,可以将其应用于以传统程序代码编写的方法体。 以传统程序代码编写的方法体中的语法上可区分的控制点通过外部API调用编译器对代码的转换。 转换的代码使得能够暂停和恢复被转换代码中的控制点之间的代码。 包含在其中具有控制点的方法中的源代码被变换,使得该方法中的代码可以以离散部分执行,每个部分开始并在变换代码的控制点结束。