Methods and systems for analyzing annotated programming code

    公开(公告)号:US10409707B2

    公开(公告)日:2019-09-10

    申请号:US15268054

    申请日:2016-09-16

    Applicant: Facebook, Inc.

    Abstract: Exemplary methods, apparatuses, and systems for analyzing annotated programming code are detailed. For example, in an embodiment, a computer-implemented method comprises parsing code to identify a plurality of functions. For each function in the plurality of functions, the method further comprises determining a first annotation associated with the function and determining a second annotation associated with a first sub-function called by the function. The method further comprises generating an error message in an annotation summary for the function in response to determining that the first annotation associated with the function specifies the function as the first code type and the second annotation associated with the first sub-function called by the function specifies the first sub-function as the second code type.

    SCALABLE, SECURE, EFFICIENT, AND ADAPTABLE DISTRIBUTED DIGITAL LEDGER TRANSACTION NETWORK

    公开(公告)号:US20220107918A1

    公开(公告)日:2022-04-07

    申请号:US17552033

    申请日:2021-12-15

    Applicant: Facebook, Inc.

    Abstract: The present disclosure relates to systems, methods, and non-transitory computer readable storage media for implementing a scalable, secure, efficient, and adaptable distributed digital ledger transaction network. Indeed, the disclosed systems can reduce storage and processing requirements, improve security of implementing computing devices and underlying digital assets, accommodate a wide variety of different digital programs (or “smart contracts”), and scale to accommodate billions of users and associated digital transactions. For example, the disclosed systems can utilize a host of features that improve storage, account/address management, digital transaction execution, consensus, and synchronization processes. The disclosed systems can also utilize a new programming language that improves efficiency and security of the distributed digital ledger transaction network.

    METHODS AND SYSTEMS FOR ANALYZING ANNOTATED PROGRAMMING CODE

    公开(公告)号:US20180081783A1

    公开(公告)日:2018-03-22

    申请号:US15268054

    申请日:2016-09-16

    Applicant: Facebook, Inc.

    CPC classification number: G06F11/3612 G06F11/3476

    Abstract: Exemplary methods, apparatuses, and systems for analyzing annotated programming code are detailed. For example, in an embodiment, a computer-implemented method comprises parsing code to identify a plurality of functions. For each function in the plurality of functions, the method further comprises determining a first annotation associated with the function and determining a second annotation associated with a first sub-function called by the function. The method further comprises generating an error message in an annotation summary for the function in response to determining that the first annotation associated with the function specifies the function as the first code type and the second annotation associated with the first sub-function called by the function specifies the first sub-function as the second code type.

    Scalable, secure, efficient, and adaptable distributed digital ledger transaction network

    公开(公告)号:US11126593B2

    公开(公告)日:2021-09-21

    申请号:US16442475

    申请日:2019-06-15

    Applicant: Facebook, Inc.

    Abstract: The present disclosure relates to systems, methods, and non-transitory computer readable storage media for implementing a scalable, secure, efficient, and adaptable distributed digital ledger transaction network. Indeed, the disclosed systems can reduce storage and processing requirements, improve security of implementing computing devices and underlying digital assets, accommodate a wide variety of different digital programs (or “smart contracts”), and scale to accommodate billions of users and associated digital transactions. For example, the disclosed systems can utilize a host of features that improve storage, account/address management, digital transaction execution, consensus, and synchronization processes. The disclosed systems can also utilize a new programming language that improves efficiency and security of the distributed digital ledger transaction network.

Patent Agency Ranking