利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

18 条记录 (耗时 0.023 秒)

    Compiler supporting programs as data objects
    2.
    发明申请
    Compiler supporting programs as data objects 有权
    编译器支持程序作为数据对象

    公开(公告)号：US20070028223A1

    公开(公告)日：2007-02-01

    申请号：US11193721

    申请日：2005-07-29

    申请人： Henricus Johannes Meijer ,  Anders Hejlsberg ,  Matthew Warren ,  Dinesh Kulkarni ,  Luca Bolognese ,  Peter Hallam ,  Gary Katzenberger ,  Donald Box

    发明人： Henricus Johannes Meijer ,  Anders Hejlsberg ,  Matthew Warren ,  Dinesh Kulkarni ,  Luca Bolognese ,  Peter Hallam ,  Gary Katzenberger ,  Donald Box

    IPC分类号： G06F9/45

    CPC分类号： G06F8/47 ,  G06F8/427 ,  G06F8/436

    摘要： A compiler supporting a language in which selected semantic objects are represented as data objects. The data objects may be used in multiple ways to expand the capabilities of the programming language. Data objects may be passed to applications and used to create executable instructions for that application. In this way, instructions written in the native language of the compiler may be used to control applications that accept programs in a language inconsistent with the native language of the compiler. The syntax checking and variable binding capabilities of the compiler may be used for those instructions that will be executed by an application separate from the object code generated by the compiler. The semantic objects represented as data objects may be selected based on express operations included in the source code or may be based on implicit type conversion.

    摘要翻译： 支持语言的编译器，其中选择的语义对象被表示为数据对象。 数据对象可以以多种方式用于扩展编程语言的能力。 数据对象可以传递给应用程序，并用于为该应用程序创建可执行指令。 以这种方式，用编译器的母语编写的指令可以用于控制接受与编译器的本机语言不一致的语言的程序的应用程序。 编译器的语法检查和变量绑定功能可以用于将由与编译器生成的目标代码分离的应用程序执行的那些指令。 可以基于包含在源代码中的快速操作来选择表示为数据对象的语义对象，或者可以基于隐式类型转换。

    Dynamically typed unsafe variance
    3.
    发明申请
    Dynamically typed unsafe variance 有权
    动态类型不安全差异

    公开(公告)号：US20070028210A1

    公开(公告)日：2007-02-01

    申请号：US11193692

    申请日：2005-07-29

    申请人： Erik Meijer ,  Anders Hejlsberg ,  Matthew Warren ,  Luca Bolognese ,  Peter Hallam ,  Gary Katzenberger

    发明人： Erik Meijer ,  Anders Hejlsberg ,  Matthew Warren ,  Luca Bolognese ,  Peter Hallam ,  Gary Katzenberger

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

    CPC分类号： G06F9/44589 ,  G06F9/45516

    摘要： A program execution engine that facilitates generic type variance verification is provided. The execution engine receives a program executable in the form of intermediate language (IL). The program executable can be based on code that includes expression(s) with generic type(s) which have been identified as requiring variance verification (e.g., covariance and/or contra-variance). The execution engine includes a variance verification component that dynamically determines whether value(s) associated with the generic type(s) identified as requiring variance verification comply with the particular variance verification requirement. The variance verification component can provide error information (e.g., throw an exception), if the specified variance is not safely compliant Variance verification can be based on static checking which places the burden on a source language compiler to emit the run-time checks in intermediate language (IL), if run-time checked variance is required. Additionally, language(s) that do not support variance can treat generic type(s) as non-variant.

    摘要翻译： 提供了促进通用类型方差验证的程序执行引擎。 执行引擎以中间语言（IL）的形式接收可执行的程序。 程序可执行程序可以基于包括已经被识别为需要方差验证（例如协方差和/或反差）的通用类型的表达式的代码。 执行引擎包括方差验证组件，其动态地确定与被识别为需要方差验证的通用类型相关联的值是否符合特定方差验证要求。 方差验证组件可以提供错误信息（例如抛出异常），如果指定的方差不能安全地符合方差验证可以基于静态检查，这会使源语言编译器的负担在中间体中发出运行时检查 语言（IL），如果运行时检查方差是必需的。 另外，不支持差异的语言可以将通用类型视为非变体。

    Code annotations for preventing access to unsafe functionality
    4.
    发明授权
    Code annotations for preventing access to unsafe functionality 失效
    用于防止访问不安全功能的代码注释

    公开(公告)号：US08375443B1

    公开(公告)日：2013-02-12

    申请号：US13246786

    申请日：2011-09-27

    申请人： Charles Reis ,  Peter Hallam ,  Loren Kohnfelder

    发明人： Charles Reis ,  Peter Hallam ,  Loren Kohnfelder

    IPC分类号： G06F11/00

    CPC分类号： G06F21/53

    摘要： A safe environment is established for running untrusted code in a system whose trusted libraries include native code. Annotations are applied to code in the system libraries to identify safe and unsafe code, and analysis tools reveal whether code outside the system libraries is able to trigger any unsafe behavior.

    摘要翻译： 建立了一个安全的环境，用于在受信任的库包括本地代码的系统中运行不受信任的代码。 注释应用于系统库中的代码，以识别安全和不安全的代码，分析工具可以显示系统库外的代码是否能够触发任何不安全的行为。

    Architecture that extends types using extension methods
    7.
    发明申请
    Architecture that extends types using extension methods 有权
    使用扩展方法扩展类型的体系结构

    公开(公告)号：US20070028209A1

    公开(公告)日：2007-02-01

    申请号：US11192919

    申请日：2005-07-29

    申请人： Henricus Meijer ,  Anders Hejlsberg ,  Matthew Warren ,  Luca Bolognese ,  Peter Hallam ,  Gary Katzenberger ,  Dinesh Kulkarni

    发明人： Henricus Meijer ,  Anders Hejlsberg ,  Matthew Warren ,  Luca Bolognese ,  Peter Hallam ,  Gary Katzenberger ,  Dinesh Kulkarni

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

    CPC分类号： G06F8/315

    摘要： Architecture that extends existing types including constructed and sealed types using extension methods. Extension methods are static methods that can be invoked using instance method syntax. Extension methods are declared by specifying the keyword “this” as a modifier on the first parameter of the methods. Extension methods have all the capabilities of regular static methods. In addition, once imported, extension methods can be invoked using instance method syntax. Also disclosed are rules for importing extension methods, and extension method invocations. Extension methods are imported through using-namespace-directives. In addition to importing the types contained in a namespace, a using-namespace-directive imports all extension methods in all static classes in the namespace. In effect, imported extension methods appear as additional methods on the types that are given by their first parameter and have lower precedence than regular instance methods.

    摘要翻译： 使用扩展方法扩展现有类型（包括构造和密封类型）的体系结构。 扩展方法是可以使用实例方法语法调用的静态方法。 扩展方法通过在方法的第一个参数上指定关键字“this”作为修饰符来声明。 扩展方法具有常规静态方法的所有功能。 另外，一旦导入，可以使用实例方法语法来调用扩展方法。 还公开了导入扩展方法和扩展方法调用的规则。 扩展方法通过using-namespace-directives导入。 除了导入命名空间中包含的类型之外，using-namespace-directive会在命名空间中的所有静态类中导入所有扩展方法。 实际上，导入的扩展方法在其第一个参数给出的类型上显示为附加方法，并且具有比常规实例方法更低的优先级。

    Local type alias inference system and method
    8.
    发明申请
    Local type alias inference system and method 审中-公开
    本地类型别名推理系统和方法

    公开(公告)号：US20060048095A1

    公开(公告)日：2006-03-02

    申请号：US10930145

    申请日：2004-08-31

    申请人： Henricus Meijer ,  Eric Gunnerson ,  Peter Hallam ,  Anders Hejlsberg ,  Gary Katzenberger ,  Matthew Warren

    发明人： Henricus Meijer ,  Eric Gunnerson ,  Peter Hallam ,  Anders Hejlsberg ,  Gary Katzenberger ,  Matthew Warren

    IPC分类号： G06F9/44

    CPC分类号： G06F8/434

    摘要： The present invention discloses an improved system and method for specifying and compiling computer programs. Type aliases are introduced whose binding is inferred by a type inference component during compilation. Once declared, type aliases can be utilized just like regular types thereby providing added efficiency in coding, among other things. Additionally, a mechanism for specifying the introduction of a new variable whose type is to be inferred is disclosed. This mechanism clears up an ambiguity during type inference concerning whether to infer a new variable type or utilize a variable in scope. Further yet, an efficient type inference system and method is disclosed to effectively deal with overloading among other things.

    摘要翻译： 本发明公开了一种用于指定和编译计算机程序的改进的系统和方法。 引入类型别名，其编译期间由类型推断组件推断其绑定。 一旦声明，类别别可以像常规类型一样使用，从而提高编码的效率等等。 另外，公开了一种用于指定引入类型被推断的新变量的机制。 这种机制在关于是推断新的变量类型还是在范围中使用变量的类型推理中清除了歧义。 此外，公开了一种有效的类型推理系统和方法，以有效地处理超负荷等。

    Extending expression-based syntax for creating object instances
    10.
    发明申请
    Extending expression-based syntax for creating object instances 有权
    扩展用于创建对象实例的基于表达式的语法

    公开(公告)号：US20070028212A1

    公开(公告)日：2007-02-01

    申请号：US11193584

    申请日：2005-07-29

    申请人： Henricus Meijer ,  Anders Hejlsberg ,  Matthew Warren ,  Luca Bolognese ,  Peter Hallam ,  Gary Katzenberger ,  Dinesh Kulkarni

    发明人： Henricus Meijer ,  Anders Hejlsberg ,  Matthew Warren ,  Luca Bolognese ,  Peter Hallam ,  Gary Katzenberger ,  Dinesh Kulkarni

    IPC分类号： G06F9/44

    CPC分类号： G06F9/4488

    摘要： Syntax for creating object instances utilizing expressions instead of statements. A syntax component facilitates extension of conventional object-creation-expression syntax. An initializer component provides for initialization of a newly-created entity via object and collection initializers. The initializer component provides initialization of the newly-created entity utilizing an object initializer where the object initializer specifies values for one or more fields or properties of the newly-created entity which is an object, and consists of a sequence of member initializers enclosed by tokens and separated by commas. The initializer component can also provides initialization of the newly-created entity utilizing a collection initializer when the underlying object implements a certain interface or implements a certain pattern. An overloading constructor can be called as part of the initialization process. In another aspect, code inferencing is disclosed whereby given a type, the corresponding code can be inferred by the compiler and inserted for compiling by a compiler.

    摘要翻译： 使用表达式而不是语句创建对象实例的语法。 语法组件有助于扩展常规的对象创建表达式语法。 初始化器组件通过对象和集合初始化器提供新创建的实体的初始化。 初始化器组件使用对象初始化器来提供新创建的实体的初始化，其中对象初始化器指定作为对象的新创建的实体的一个或多个字段或属性的值，并且包括由令牌包围的成员初始化器序列 并用逗号分隔。 初始化器组件还可以在底层对象实现特定接口或实现某种模式时，利用集合初始化器来提供新创建的实体的初始化。 可以调用重载构造函数作为初始化过程的一部分。 在另一方面，公开了代码推论，由此给定类型，相应的代码可以由编译器推断并插入以供编译器编译。