A program generation apparatus includes a generation unit that inputs a specification of a program to be generated described in natural language into a model trained on a relationship between a specification of a program described in natural language and the program to generate a first program, and a change unit that changes the first program to generate a second program satisfying a set of one or more input values and output values, and thus the possibility of a desired program being automatically generated can be increased.

A computer readable storage medium, system and method for improving automated testing systems to include a first and second behavioral data. The first behavioral data is collected periodically and the second behavioral data is collected in real time. The receipt of the first behavioral data and a second behavioral data are followed by the receipt of a system configuration template. A test case is updated based on the first and second behavioral data, and an automated test environment is reconfigured based on the first behavioral data, second behavioral data, and the system configuration template. The test executes in the automated test environment producing a test result.

Code search is used to support various features. Code segments may be indexed using a code structure representation of the code segment. Code segments may be compared for similarity to identify a match with an input code segment using a comparison of logic trees generated for the input code segment and a stored code segment in an entry with a matching index value.

A system includes a compiler including a plurality of compiler blocks. The compiler blocks of the plurality of compiler blocks are compossible. The compiler is configured to identify one or more resources in a hardware to execute a set of low-level instructions that is generated from a high-level function in a high-level code. The compiler is further configured to determine one or more processing operations to be performed that is associated with the high-level function in the high-level code. The determining of the one or more processing operations occurs based on architecture of the hardware. The compiler is configured to compile the high-level function in the high-level code of the application into the set of low-level instructions to be executed on the hardware.

A computer-implemented method for checking the integrity of a target computer program to be executed in a computer system.

A lexical analyzer is provided to analyze serverless application code to help ensure that the serverless application is portable between different execution environments. The lexical analyzer may identify non-portable features of the application, and alerts of these features may be provided to users. A transfer tool may be provided to assist in transferring a serverless application between computing platforms, such as by converting the portable serverless application to a container format. An interface may be provided that subscribes, on behalf of a container, to receive notifications of triggering events from a computing platform's notification service. The interface may provide a message to the container to indicate an occurrence of a triggering event, which may trigger execution of a serverless function by the container.

Methods, devices and media for two-pass source code transformation from a first high-level programming language to a second high-level programming language are described. Two different source code transformation technologies are combined to produce a two-pass source code transformation method: a compiler-based source code transformation technique is used in a first pass, and a parse-tree-based source code transformation technique is used in second pass. The second pass may be used to automatically refactor the source code to enhance desired properties of the second programming language. A two-pass C-to-Rust transformation technique, CRustS, is described which automatically generates Rust source code that exhibits memory safety and overcomes other limitations of existing tools such as C2Rust.

A lexical analyzer is provided to analyze serverless application code to help ensure that the serverless application is portable between different execution environments. The lexical analyzer may identify non-portable features of the application, and alerts of these features may be provided to users. A transfer tool may be provided to assist in transferring a serverless application between computing platforms, such as by converting the portable serverless application to a container format. An interface may be provided that subscribes, on behalf of a container, to receive notifications of triggering events from a computing platform's notification service. The interface may provide a message to the container to indicate an occurrence of a triggering event, which may trigger execution of a serverless function by the container.

Embodiments relate to interactive graphical display. A request is processed by a generative system to generate multiple hypotheses of an output in response to the request, a primary hypothesis of the multiple hypotheses having a highest confidence for the output, multiple secondary hypotheses of the multiple hypotheses having a lower confidence than the highest confidence. At least one region of divergence is determined from the primary hypothesis by the multiple secondary hypotheses, the at least one region of divergence having alternatives in the multiple secondary hypotheses, the alternatives in the multiple secondary hypotheses differing from the primary hypothesis. A graphical user interface displays the at least one region of divergence in the primary hypothesis and alternatives in the multiple secondary hypotheses for the at least one region of divergence, the alternatives and primary hypothesis for the at least one region of divergence being displayed as selectable options for a user.

Introduced herein are methods and system for translating formulas written in one programming language into functionally equivalent code written in another programming language, or vice versa, by a dynamic compiler in real time. For example, a computer-implemented method according to the disclosed technology includes steps of receiving source code input written in a first programming language from a user device, translating the source code input into functionally equivalent code written in a second programming language, receiving a modification to the source code written in the second programming language from the user device, and dynamically revising the source code input written in the first programming language according to the modification.