专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20160210129A1 SYSTEMS AND METHODS FOR CONVERTING TYPED CODE 有权
公开(公告)号：US20160210129A1
公开(公告)日：2016-07-21
申请号：US15083167
申请日：2016-03-28
申请人： Facebook, Inc.
发明人： Julien Marcel Verlaguet
IPC分类号： G06F9/45
CPC分类号： G06F8/51 , G06F8/40 , G06F8/41 , G06F8/437 , G06F8/443 , G06F9/38 , G06F9/3846 , G06F9/45508
摘要： Techniques provided implement automatic data type annotation in dynamically-typed source code. A codebase, which may comprise a plurality of source code files, is scanned at a global level. The resulting scanned data may describe characteristics of the codebase, including variable and function usage. Based on inferences drawn from the scanning, data types are determined for different variables, expressions, or functions to facilitate conversion from dynamically-typed source code to statically-typed source code. For example, if a function is called once with a parameter value of data type A (e.g., class A), and another time with a parameter value of data type B (e.g., class B), a conversion tool may annotate the parameter variable in the declaration of the function with a data type D (e.g., class d) when data type D is identified as a common ancestor (e.g., superclass) to both data type A and data type B.

2. 发明授权

US10013245B2 Systems and methods for converting typed code 有权
公开(公告)号：US10013245B2
公开(公告)日：2018-07-03
申请号：US15083167
申请日：2016-03-28
申请人： Facebook, Inc.
发明人： Julien Marcel Verlaguet
IPC分类号： G06F9/45 , G06F8/51 , G06F9/38 , G06F8/41 , G06F8/40 , G06F9/455
CPC分类号： G06F8/51 , G06F8/40 , G06F8/41 , G06F8/437 , G06F8/443 , G06F9/38 , G06F9/3846 , G06F9/45508
摘要： Techniques provided implement automatic data type annotation in dynamically-typed source code. A codebase, which may comprise a plurality of source code files, is scanned at a global level. The resulting scanned data may describe characteristics of the codebase, including variable and function usage. Based on inferences drawn from the scanning, data types are determined for different variables, expressions, or functions to facilitate conversion from dynamically-typed source code to statically-typed source code. For example, if a function is called once with a parameter value of data type A (e.g., class A), and another time with a parameter value of data type B (e.g., class B), a conversion tool may annotate the parameter variable in the declaration of the function with a data type D (e.g., class d) when data type D is identified as a common ancestor (e.g., superclass) to both data type A and data type B.

3. 发明授权

US09329849B2 Systems and methods for converting typed code 有权
标题翻译：用于转换类型代码的系统和方法
公开(公告)号：US09329849B2
公开(公告)日：2016-05-03
申请号：US14010266
申请日：2013-08-26
申请人： Facebook, Inc.
发明人： Julien Marcel Verlaguet
IPC分类号： G06F9/45 , G06F9/38
CPC分类号： G06F8/51 , G06F8/40 , G06F8/41 , G06F8/437 , G06F8/443 , G06F9/38 , G06F9/3846 , G06F9/45508
摘要： Techniques provided implement automatic data type annotation in dynamically-typed source code. A codebase, which may comprise a plurality of source code files, is scanned at a global level. The resulting scanned data may describe characteristics of the codebase, including variable and function usage. Based on inferences drawn from the scanning, data types are determined for different variables, expressions, or functions to facilitate conversion from dynamically-typed source code to statically-typed source code. For example, if a function is called once with a parameter value of data type A (e.g., class A), and another time with a parameter value of data type B (e.g., class B), a conversion tool may annotate the parameter variable in the declaration of the function with a data type D (e.g., class d) when data type D is identified as a common ancestor (e.g., superclass) to both data type A and data type B.
摘要翻译：提供的技术在动态类型的源代码中实现自动数据类型注释。可以包括多个源代码文件的代码库在全局级别被扫描。所得到的扫描数据可以描述代码库的特征，包括变量和功能使用。基于从扫描得出的推论，为不同的变量，表达式或函数确定数据类型，以便于从动态类型的源代码到静态类型的源代码的转换。例如，如果函数被调用一次，参数值为数据类型A（例如，类A），另一个时间的参数值为数据类型B（例如，类B），转换工具可以注释参数变量在数据类型D被识别为数据类型A和数据类型B的公共祖先（例如，超类）时，在具有数据类型D（例如，类d）的函数的声明中。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式