Techniques are described herein for automatically synthesizing programs that include one or more functions in a spreadsheet programming language. A method includes: receiving a first example including input provided in a first cell in a spreadsheet; automatically synthesizing a plurality of candidate programs including a first set of candidate programs consistent with the first example, wherein each candidate program in the first set of candidate programs comprises at least one function in a spreadsheet programming language and, when the candidate program is executed, the candidate program generates output that matches the first example; ranking the plurality of candidate programs; and storing a highest-ranked program of the plurality of candidate programs in association with the first cell in the spreadsheet.

An automation framework system may include a service portal, an API gateway, an entitlements microservice, and a resources microservice. The service portal is configured to provide access to automation functionality of the automation framework system. The service portal is configured to provide entitlement models for generating a programming interface API or automation. The API gateway is configured to intercept API requests from a client device. The API gateway is configured to grant or reject the API requests based on each requested API and information about a user the client device. The entitlements microservice is configured to determine whether the user of the client device is permitted to access the API based on group information associated with the client device. The resources microservice is configured to manage resources associated with each API request.

A method performed by a node of a blockchain network, comprising: accessing the locking script from a first transaction on the blockchain; receiving a second transaction not yet on-chain, the second transaction comprising an unlocking script; extracting from the first transaction or another transaction on the blockchain, a portion of code formulated in a second language other than a first language used for the locking and unlocking scripts; running the extracted portion of code in the second language, wherein as a result thereof the code generates at least one value; writing this value to a storage location readable by the locking script; and running the locking script together with the unlocking script in order to validate the second transaction, wherein the unlocking script is configured to read the first value from said storage location, and a condition for validation according to the locking script is dependent on the first value.

A system configured to convert human-readable source code into computer-readable source code is disclosed herein. The system can include a processor and a memory configured to store a compiling engine that, when executed by the processor, causes the processor to: receive an input program comprising human-readable source code, wherein the human-readable source code comprises a complex function, type inference the complex function, thereby inferring a first set of potentially partial and imprecise data types for the input program; transform the type inferenced complex function and type infer again a number of times, type inference the transformed complex function, thereby inferring a full set of precise data types for the type inferenced input program; and generate an output program comprising machine-readable code, wherein the machine-readable code is fully optimized using the full set of precise data types.

Language interoperability between source code programs not compatible with an interprocedural static code analyzer is achieved through language-independent representations of the programs. The source code programs are transformed into respective intermediate language instructions from which a language-independent control flow graph and a language-independent type environment is created. A program compatible with the interprocedural static code analyzer is generated from the language-independent control flow graph and the language-independent type environment in order to utilize the interprocedural static code analyzer to detect memory safety faults.

Enabling scripting language commands to backup/restore databases is described. A system outputs, to a user interface, a backup/restore option for a database. The system generates scripting language commands based on a selection of the backup/restore option received from the user interface. The system outputs, to the user interface, the scripting language commands based on the selection of the backup/restore option. The system enables a scripting language system to execute the scripting language commands based on the selection of the backup/restore option.

An example apparatus to perform a convolution on an input tensor includes a parameters generator to: generate a horizontal hardware execution parameter for a horizontal dimension of the input tensor based on a kernel parameter and a layer parameter; and generate a vertical hardware execution parameter for a vertical dimension of the input tensor based on the kernel parameter and the layer parameter; an accelerator interface to configure a hardware accelerator circuitry based on the horizontal and vertical hardware execution parameters; a horizontal Iterator controller to determine when the hardware accelerator circuitry completes the first horizontal iteration of the convolution; and a vertical Iterator controller to determine when the hardware accelerator circuitry completes the first vertical iteration of the convolution.

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.

A method of producing an intermediate program representation for an executable personalised medicine treatment program, comprising: providing a domain specific language environment comprising a personalised-medicine programming language syntax and a user interface; selecting a medical knowledge database for a medical condition; receiving user input to build, using the personalised-medicine programming language syntax and the medical knowledge database, a treatment package for implementing one or more treatment modalities for the medical condition, the treatment package including: treatment objectives defining terminating conditions of the one or more treatment modalities; safety guardrails for ensuring patient safety; and treatment titration definitions for modulating the one or more treatment modalities; and validating the treatment package to demonstrate that the treatment objectives, safety guardrails and treatment titration definitions will be satisfied during execution of the personalised medicine treatment program.

Various methods, apparatuses/systems, and media for automatically upgrading an application are disclosed. A processor creates a dynamic machine learning (ML) model; trains the dynamic ML model and scans for SDK upgrade for the application against the dynamic ML model by implementing ML algorithm for predictions. The processor executes the SDK upgrade in response to detecting that the training of the dynamic ML model is completed to trigger the processor to perform the following automated processes: implement the ML algorithm against the trained dynamic ML model to generate predictive results data for deprecated reference corresponding to the application; evaluate the predictive results data to determine whether there is a match for the deprecated reference; and when it is determined that there is a match for the deprecated reference, automatically replace code and upgrade the application to newer version of the programming language specification.