-
1.发明申请SYSTEM AND METHOD FOR COMPILING LAMBDA EXPRESSION IN A PROGRAMMING LANGUAGE ENVIRONMENT 有权在编程语言环境中编译LAMBDA表达的系统和方法公开(公告)号：US20140019948A1
公开(公告)日：2014-01-16
申请号：US13779557
申请日：2013-02-27
发明人： Brian Goetz , Daniel Smith , Maurizio Cimadamore
IPC分类号： G06F9/45
摘要： A system and method can support context-dependent expression compilation in a programming language environment. A compiler in the programming language environment can provide one or more context objects that operate to compile various context-dependent expressions in different programming contexts. Then, the compiler can use a said context object to derive a target type associated with a context-dependent expression, and use the context object to perform compatibility check for the context-dependent expression in the programming language environment.
摘要翻译： 系统和方法可以在编程语言环境中支持上下文相关的表达式编译。 编程语言环境中的编译器可以提供一个或多个上下文对象，用于在不同的编程环境中编译各种与上下文相关的表达式。 然后，编译器可以使用所述上下文对象来导出与上下文相关表达式相关联的目标类型，并使用上下文对象对编程语言环境中的上下文相关表达式执行兼容性检查。
-
公开(公告)号：US20210096833A1
公开(公告)日：2021-04-01
申请号：US17120530
申请日：2020-12-14
发明人： Maurizio Cimadamore , Daniel Smith
摘要： Operations include (a) identifying bounds corresponding to two or more inference variables corresponding to a nested method invocation context, (b) determining that resolution of a first inference variable can be determined as a function of a resolution of a second inference variable, (c) propagating bounds corresponding to the second inference variable from the nested method invocation context to an outer method invocation context without propagating bounds corresponding to the first inference variable, (d) resolving a constraint set to resolve the second inference variable, and (e) resolving the first inference variable based on the resolution of the second inference variable.
-
公开(公告)号：US10896031B2
公开(公告)日：2021-01-19
申请号：US16681595
申请日：2019-11-12
发明人： Maurizio Cimadamore , Daniel Smith
摘要： Operations include (a) identifying bounds corresponding to two or more inference variables corresponding to a nested method invocation context, (b) determining that resolution of a first inference variable can be determined as a function of a resolution of a second inference variable, (c) propagating bounds corresponding to the second inference variable from the nested method invocation context to an outer method invocation context without propagating bounds corresponding to the first inference variable, (d) resolving a constraint set to resolve the second inference variable, and (e) resolving the first inference variable based on the resolution of the second inference variable.
-
公开(公告)号：US20200081694A1
公开(公告)日：2020-03-12
申请号：US16681595
申请日：2019-11-12
发明人： Maurizio Cimadamore , Daniel Smith
摘要： Operations include (a) identifying bounds corresponding to two or more inference variables corresponding to a nested method invocation context, (b) determining that resolution of a first inference variable can be determined as a function of a resolution of a second inference variable, (c) propagating bounds corresponding to the second inference variable from the nested method invocation context to an outer method invocation context without propagating bounds corresponding to the first inference variable, (d) resolving a constraint set to resolve the second inference variable, and (e) resolving the first inference variable based on the resolution of the second inference variable.
-
公开(公告)号：US10528330B2
公开(公告)日：2020-01-07
申请号：US16234533
申请日：2018-12-27
发明人： Brian Goetz , Daniel Smith , Maurizio Cimadamore
摘要： A system and method can support compatibility checking in a programming language environment. The programming language environment can check whether a target type associated with an expression in the programming language environment is functional, wherein the target type is functional when it has exactly one method meeting one or more criteria that define that method as relevant in a counting system. Then, the programming language environment can derive a function descriptor from the target type, which is context-dependent. Furthermore, the programming language environment can type-check the expression with the function descriptor associated with the target type.
-
公开(公告)号：US20180307468A1
公开(公告)日：2018-10-25
申请号：US15976134
申请日：2018-05-10
发明人： Maurizio Cimadamore , Daniel Smith
CPC分类号： G06F8/437 , G06F9/4491 , G06N5/003
摘要： Operations include (a) identifying bounds corresponding to two or more inference variables corresponding to a nested method invocation context, (b) determining that resolution of a first inference variable can be determined as a function of a resolution of a second inference variable, (c) propagating bounds corresponding to the second inference variable from the nested method invocation context to an outer method invocation context without propagating bounds corresponding to the first inference variable, (d) resolving a constraint set to resolve the second inference variable, and (e) resolving the first inference variable based on the resolution of the second inference variable.
-
公开(公告)号：US20170131982A1
公开(公告)日：2017-05-11
申请号：US14973129
申请日：2015-12-17
发明人： Maurizio Cimadamore , Daniel Smith
CPC分类号： G06F8/437 , G06F9/4491 , G06N5/003
摘要： Operations include (a) identifying bounds corresponding to two or more inference variables corresponding to a nested method invocation context, (b) determining that resolution of a first inference variable can be determined as a function of a resolution of a second inference variable, (c) propagating bounds corresponding to the second inference variable from the nested method invocation context to an outer method invocation context without propagating bounds corresponding to the first inference variable, (d) resolving a constraint set to resolve the second inference variable, and (e) resolving the first inference variable based on the resolution of the second inference variable.
-
公开(公告)号：US20140123118A1
公开(公告)日：2014-05-01
申请号：US13677000
申请日：2012-11-14
IPC分类号： G06F9/45
CPC分类号： G06F8/41 , G06F8/30 , G06F8/447 , G06F11/3672
摘要： In accordance with various embodiments, systems and methods are provided which facilitate inferring immutability of variables. A compiler analyzes local variables within source code to determine whether they are immutable. In particular embodiments the compiler examines locations where each variable is assigned to determine whether the variable was definitely unassigned before the assignment. Because the compiler can infer whether a local variable is immutable, it is possible for the programmer to avoid using a keyword to expressly declare the local variable as immutable. Inferring immutability of variables, thus, maintains correctness of the compiled code while reducing the burden on the programmer.
摘要翻译： 根据各种实施例，提供了促进推断变量的不变性的系统和方法。 编译器分析源代码中的本地变量，以确定它们是否是不可变的。 在特定实施例中，编译器检查分配每个变量的位置，以确定该变量在分配之前是否被明确地未分配。 因为编译器可以推断局部变量是不可变的，所以程序员可以避免使用一个关键字来明确地声明局部变量是不可变的。 推测变量的不变性，从而保持编译代码的正确性，同时减少程序员的负担。
-
公开(公告)号：US10209970B2
公开(公告)日：2019-02-19
申请号：US15402319
申请日：2017-01-10
发明人： Brian Goetz , Daniel Smith , Maurizio Cimadamore
摘要： A system and method can support compatibility checking in a programming language environment. The programming language environment can check whether a target type associated with an expression in the programming language environment is functional, wherein the target type is functional when it has exactly one method meeting one or more criteria that define that method as relevant in a counting system. Then, the programming language environment can derive a function descriptor from the target type, which is context-dependent. Furthermore, the programming language environment can type-check the expression with the function descriptor associated with the target type.
-
10.发明授权System and method for supporting compatibility checking for lambda expression 有权支持lambda表达式的兼容性检查的系统和方法公开(公告)号：US09557974B2
公开(公告)日：2017-01-31
申请号：US13779536
申请日：2013-02-27
发明人： Brian Goetz , Daniel Smith , Maurizio Cimadamore
摘要： A system and method can support compatibility checking in a programming language environment. The programming language environment can check whether a target type associated with an expression in the programming language environment is functional, wherein the target type is functional when it has exactly one method meeting one or more criteria that define that method as relevant in a counting system. Then, the programming language environment can derive a function descriptor from the target type, which is context-dependent. Furthermore, the programming language environment can type-check the expression with the function descriptor associated with the target type.
摘要翻译： 系统和方法可以支持编程语言环境中的兼容性检查。 编程语言环境可以检查与编程语言环境中的表达式相关联的目标类型是否起作用，其中目标类型在正好一种满足在计数系统中定义该方法的一个或多个标准的方法时是有效的。 然后，编程语言环境可以从目标类型导出一个函数描述符，这与上下文有关。 此外，编程语言环境可以使用与目标类型相关联的函数描述符来键入检查表达式。
-
-
-
-
-
-
-
-
-
搜索结果
16 条记录 (耗时 0.021 秒)
