利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

18 条记录 (耗时 0.03 秒)

    Dynamically typed unsafe variance
    12.
    发明申请
    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），如果运行时检查方差是必需的。 另外，不支持差异的语言可以将通用类型视为非变体。

    Local type alias inference system and method
    13.
    发明申请
    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.

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

    General programming language support for nullable types
    14.
    发明申请
    General programming language support for nullable types 有权
    通用编程语言支持可空类型

    公开(公告)号：US20060053131A1

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

    申请号：US10935247

    申请日：2004-09-07

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

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

    IPC分类号： G06F7/00

    CPC分类号： G06F8/31 ,  Y10S707/99934 ,  Y10S707/99935 ,  Y10S707/99942 ,  Y10S707/99945

    摘要： The subject invention relates to systems and methods that provide null capabilities within the context of programming languages. In one aspect, a system is provided that facilitates null-support in various programming languages. The system includes one or more types associated with at least one programming language. A type modifier is provided to signal that the type is nullable. The type modifier enables a multi-element structure to be automatically created in association with the type wherein, the multi-element structure includes the type and a Boolean element indicating whether or not the variable is null.

    摘要翻译： 本发明涉及在编程语言的上下文中提供零能力的系统和方法。 在一个方面，提供了一种促进各种编程语言的空支持的系统。 该系统包括与至少一种编程语言相关联的一种或多种类型。 提供一个类型修饰符来表示该类型为空。 类型修饰符使得能够与其中多元素结构包括类型的类型相关联地自动创建多元素结构，并且指示该变量是否为空的布尔元素。

    Code annotations for preventing access to unsafe functionality
    15.
    发明授权
    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.

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

    Attributed debugging
    17.
    发明申请
    Attributed debugging 有权
    归因调试

    公开(公告)号：US20050216892A1

    公开(公告)日：2005-09-29

    申请号：US10808905

    申请日：2004-03-25

    申请人： Anson Horton ,  Michael Montwill ,  Peter Hallam ,  Christopher George ,  Gang Peng

    发明人： Anson Horton ,  Michael Montwill ,  Peter Hallam ,  Christopher George ,  Gang Peng

    IPC分类号： G06F9/44

    CPC分类号： G06F11/3664

    摘要： A system and method facilitating attributed debugging is provided. The system and method of the present invention facilitate a developer of an object to determine what information a debugger displays. An attributed debugging system having a debugger with an expression evaluator is provided. The system can further include, optionally, a debuggee (e.g., process to be debugged). The debuggee includes attribute(s) which are employed by the debugger to facilitate debugging of the application—“attributed debugging”. The system can facilitate a developer of a type to declaratively indicate how information is to be displayed during debugging. Attributed debugging thus allows the manipulation of the view of data in the debugger by allowing the type author annotations with which they can control.

    摘要翻译： 提供了一种促进归因调试的系统和方法。 本发明的系统和方法便于对象的开发者确定调试器显示哪些信息。 提供了具有带有表达式求值程序的调试器的属性调试系统。 系统还可以进一步包括调试器（例如，待调试的进程）。 调试器包括调试器使用的属性，以便于调试应用程序 - “归因调试”。 该系统可以方便一个类型的开发人员声明性地指示在调试期间如何显示信息。 归因调试允许通过允许使用它们来控制的类型作者注释来操纵调试器中数据的视图。