Abstract: Methods, systems, apparatuses, and computer program products are provided for increasing an efficiency of queries in program code. A plurality of queries is detected in program code. A laziness is extended by which the queries are evaluated in the program code. The queries are decomposed into a plurality of query components. A ruleset that includes a plurality of rules is applied to the query components to generate a functionally equivalent query set to the plurality of queries that evaluates more efficiently relative to the plurality of queries.

Abstract: Systems and methods relate to creating applications using building blocks linked together with metadata. A user interface can enable a user to create an application. Creating the application can include defining a new building block configured to generate output data. The new building block can include one or more existing building blocks and the metadata associated with the existing building blocks. For example, a building block can include at least one input/output (I/O) feature configured to receive inputs and/or generate outputs. Further, the existing building block can correspond to a data structure including external I/O features. The new building block can be linked to an existing building block by mapping an external I/O feature of the existing building block to an open I/O feature of the new building block. The mapping can be stored in metadata associated with the new building block.

Abstract: A method, apparatus and computer program product is disclosed for providing a software interface arranged to enable a first computer program to execute application logic of a second computer program, wherein said second program comprises display logic in close association with the application logic such that said application logic is operable via said display logic.

Abstract: Embodiments provide a web-based editing tool that intelligently leverages certain functionality of a browser, web client, desktop client, and native software at the client side to provide seamless user experience when editing a file over a network. Responsive to a user selecting a file for editing, the web client may send a passive content request to a web server embedded in the desktop client at a specific address on the client device. If no response, the web client prompts the user to start or install the desktop client on the client device. If a response is received, the web client sends a request to the desktop client with a user identifier and authorization to download the file from a server. The desktop client downloads the file, opens it in the native software, monitors the file being edited, and updates a delta associated with the file to the server.

Abstract: According to some embodiments of the present invention there is provided a method for identifying control dependencies between a source code and selected paths though the source code comprising: receiving an source code having a plurality of application functionalities, calculating a control graph dataset mapping a plurality of code segments of the source code into a plurality of source code execution paths, defining at least one control dependency from at least one source code execution path to the source code, receiving a subgroup defining a plurality of selected application functionalities from the plurality of application functionalities, identifying at least one of the plurality of source code execution paths that covers suitable code segments of the plurality of code segments which are required for performing application functionalities from the subset, and identifying at least one control dependency to eliminate within the one identified source code execution path.

Abstract: A method of operation of a navigation system includes: detecting a source application for registering the source application to a target device; generating a first application portion for partitioning the source application for running the first application portion; and operating the first application portion for interacting with the source application for partially controlling an execution of the source application.

Abstract: A method and system. A library method stub is created in a predefined programming language by use of a library method signature associated with an original library call, at least one idiom sentence, and a call invoking the original library call. Creating the library method stub includes composing source code of the library method stub by matching the at least one idiom sentence with idiom-stub mappings predefined for each basic idiom of at least one basic idiom. The original library call appears in sequential code. The library method signature specifies formal arguments of the original library call. The at least one idiom sentence summarizes memory operations performed by the original library call on the formal arguments. The created library method stub is stored in a database.

Abstract: Systems and methods automatically detect violations of coding rules of a coding standard in computer programming code. The systems and methods may mark the locations in the code where the violations are found. The coding rules may be mapped to code verification checks that check for undesired runtime behavior in the code. The systems and methods may identify the code verification check mapped to a given violation detected in the code. The systems and methods may apply that check to the code. If the check proves that the undesired runtime behavior will not occur, the violation may be marked as justified. If the check proves that the undesired runtime behavior will occur, the violation may be marked as not justified.

Abstract: A computer system, method, and computer readable product are provided for identifying and isolating library code that has been obfuscated in software applications. A call graph is created for the execution of at least one module of preexisting library code within a bundle of software modules through either static analysis of the software code or dynamic analysis of the executing code, and then one or more anchor points are devised based upon the call graph that are indicative of the preexisting library code. Then a bundle of software modules can be analyzed or its execution monitored to determine if a discrete module of library code is present in the executing bundle based upon the modules' interaction with the one or more anchor points, and the discrete module of library code in the executing bundle can be identified as a module of preexisting library code.

Abstract: A method for provisioning consumer premises equipment includes communicating identification information to a software management system via a network interface, receiving a list of bundles in response to communicating the identification to the software management system via the network interface, determining a location of a repository storing at least one bundle in the list, wherein the software management system includes a plurality of repositories storing a plurality of bundles at different locations, and installing, by the consumer premises equipment, the at least one bundle from the repository having the location.

Abstract: Systems and methods for logging events in the deployment of a development environment are disclosed. An interactive graphical depiction of executable instructions for creating a development environment is generated for display on a display device coupled to a development environment deployment system. An updated status of an executable instruction is received from a virtual machine host coupled to the development environment deployment system. The interactive graphical depiction of the executable instructions is modified in response to the receipt of the updated status. A selection of an executable instruction displayed within the interactive graphical depiction is received from the user. Responsive to the selection, log entry associated with the selected executable instruction is presented for display.

Abstract: A system for managing the end to end lifecycle of a virtualization environment within an appliance includes a set of installation tools and an administration portal. A reference architecture for an appliance defines technology layers of an appliance. A partner ecosystem defines a delivery model of an appliance to a customer. A setup wizard tool is installing and configuring management software components, infrastructure software components, and application images on an appliance. An environment management module completes the installation and configuration of the management software components of a virtualization environment and provides ongoing management of the infrastructure software and management software components. An image management module stores the configuration of the application images and provides ongoing management of the application images. A catalog management module maintains a library of the application images.

Abstract: The disclosed embodiments provide a system that facilitates the execution of a software program. During operation, the system obtains a set of artifacts associated with executing a software program. Next, the system uses the set of artifacts to determine an inheritance hierarchy associated with an artifact from the set of artifacts. The system then uses the inheritance hierarchy and the set of artifacts to generate a memory layout of an object instance represented by the artifact, wherein the memory layout includes a set of fields associated with a set of levels of the inheritance hierarchy.

Abstract: A method, apparatus, and/or computer program product generates a predictive data structure for an application when operating offline in a network connected data processing system, the application comprising source code having an execution path. The method comprises: determining an exit point within the source code of the application; determining, from the exit point, an execution path comprising at least one conditional statement; identifying one or more branches of the at least one identified conditional statement and for each identified branch determining an expected response; for each determined expected response, generating a data structure from the response; continuing along the execution path of the source code from the exit point and replacing each request for a resource in the source code with a pointer to the generated data structure; and executing the source code with the pointer to the generated data structure from the determined exit point.

Abstract: A computer system for compiling a source code into an object code includes means for converting the source code into an intermediate code, means for generating a modified-intermediate code by replacing a first command that satisfies a condition, among commands included in the intermediate code, with a conditional branch command, and means for converting the modified-intermediate code into the object code.

Abstract: Embodiments provide a web-based editing tool that intelligently leverages certain functionality of a browser, web client, desktop client, and native software at the client side to provide seamless user experience when editing a file over a network. Responsive to a user selecting a file for editing, the web client may send a passive content request to a web server embedded in the desktop client at a specific address on the client device. If no response, the web client prompts the user to start or install the desktop client on the client device. If a response is received, the web client sends a request to the desktop client with a user identifier and authorization to download the file from a server. The desktop client downloads the file, opens it in the native software, monitors the file being edited, and updates a delta associated with the file to the server.

Abstract: A method includes receiving at least one source code file associated with a legacy hardware platform, the at least one source code file being part of a software migration from the legacy hardware platform to a target hardware platform. The method also includes identifying one or more absolute memory addresses of the legacy hardware platform included in the at least one source code file. The method further includes for each of the one or more absolute memory addresses, including an address remapping function in an assembly language instruction block associated with the target hardware platform.

Abstract: A compiler method that performs parallel processing on a data set using multithreading. The method includes calculating a divisor for dividing the data set. The data set is divided into a number of subsets greater than a number of threads. The method generates a plurality of data subsets and executable code. The code performs processing operations and an instruction executed by a first thread that reaches the code. After completing processing operations related to the subsets that have been assigned to the threads, the next subsets are assigned to the threads. When assigning the next subsets, synchronous processing is performed in order to determine which one of “unprocessed”, “processed”, and “assigned to a different thread” is the state of each of the subsets.

Abstract: A system and method for productively developing web services and associated client software to access web services across entire development lifecycle is disclosed. In various aspects, collections of resource definitions stored and managed in a repository and configured and published as network addressable/accessible resources, serve as a platform with application programming interfaces and/or user-interfaces to enable software professionals to continuously define, design, construct, test, publish and access web services.

Abstract: A method for optimizing binary code in a language having access to binary coded decimal variable. The method includes: generating a first compiler expression of the binary code; analyzing a use-definition and/or a definition-use for the first compiler expression; generating a second compiler expression by identifying logical binary coded decimal (BCD) variables in the first compiler expression; assigning temporary variables to the logical BCD variables, wherein the second compiler expression includes packed decimal operations and the assigned temporary variables; and converting a packed decimal operation in the second compiler expression and an assigned temporary variable to a decimal floating point (DFP) if sign information and precision information are not lost during conversion from BCD to DFP, wherein identifying logical BCD variables includes: in the use-definition and/or definition-use of operands, regarding an operand of definition and an operand of use as the same logical BCD variables.