Matches 1 - 50 out of 149 1 2 3 >


Match Document Document Title
US20110173595 LANGUAGE-BASED MODEL FOR ASYNCHRONOUS OPERATIONS  
The compilation of user code. Upon accessing the user code, the compiler determines that the user code includes at least one top-level asynchronous operation that is 1) to operate at a top-level...
US20140245271 Compiler Based Obfuscation  
Compiler based obfuscation is described. To protect portions of a code project with obfuscations, the code is modified within a compiler to produce one or more modifications that obfuscate the...
US20140026127 Automated Compiler Specialization for Global Optimization  
Techniques are provided herein for the offline static analysis of a stable code base in order to build a compiler and tools specialised to that code base. This allows global code base knowledge to...
US20140282448 OPERATING SYSTEM SUPPORT FOR CONTRACTS  
A front-end compiler compiles source code into intermediate code, that may later be compiled into binary code. The source code defines an execution scope and includes a contract. When a contract...
US20150212803 SYSTEMS AND METHODS FOR OPTIMIZING SOURCE CODE COMPILING  
Systems and methods for compiling source code are provided. In some aspects, a method includes receiving one or more code stubs configured to be inline cached at one or more call sites of a native...
US20140130024 Automatic License Entitlement Calculation  
Techniques for automatic license entitlement calculation. A method includes decomposing a license metric definition into metric-generic and metric-specific logic, compiling the metric-specific...
US20140123119 COBOL TO BYTECODE TRANSLATION  
A system that translates source code of a compiled high level language into bytecode. Compiled languages are so named because their implementations are typically compilers that generate machine...
US20150178055 METHODS AND SYSTEMS FOR UTILIZING BYTECODE IN AN ON-DEMAND SERVICE ENVIRONMENT INCLUDING PROVIDING MULTI-TENANT RUNTIME ENVIRONMENTS AND SYSTEMS  
Execution of code in a multitenant runtime environment. A request to execute code corresponding to a tenant identifier (ID) is received in a multitenant environment. The multitenant database...
US20150143348 HYBRID DYNAMIC CODE COMPILING DEVICE, METHOD, AND SERVICE SYSTEM THEREOF  
An exemplary embodiment of the present disclosure illustrates a hybrid dynamic code compiling device having a parser, a native code generator, and a dynamic code rewriter, wherein the parser is...
US20130247017 METHOD AND SYSTEM FOR GENERATING CODE  
A computer implemented method and system to generate final code for execution in a runtime environment, the method including creation, via a compiler, of intermediate code from destination source...
US20120151457 COBOL TO BYTECODE TRANSLATION  
A system that translates source code of a compiled high level language into bytecode. Compiled languages are so named because their implementations are typically compilers that generate machine...
US20140289716 OPTIMIZING INTERMEDIATE REPRESENTATION OF SCRIPT CODE FOR ATOMIC EXECUTION  
Disclosed here are methods, systems, paradigms and structures for optimizing intermediate representation (IR) of a script code for atomic execution. Atomic execution of the script is achieved by...
US20110185345 Type-Preserving Compiler for Security Verification  
Described is a source program code language that facilitates the association of security proofs obtained from a solver (e.g., a Z3 theorem prover) with the program code. The code may include...
US20140082598 CODE CONVERSION METHOD, PROGRAM, AND SYSTEM FOR GARBAGE COLLECTION  
An improved technique for inserting reference count code in a garbage collection technique. When there are two or more successor basic blocks to a basic block, a given variable is live at the...
US20120304160 Systems and Methods for Run-Time Interception of Software Methods  
The present disclosure involves systems and computer-implemented methods for installing software hooks. One process includes identifying a target method and a hook code, where the hook code is to...
US20120260238 Efficient Automated Translation of Procedures in an Constraint-Based Programming Language Implemented with Notification and Callback  
A method is provided for translating sets of constraint declarations to imperative code sequences based on defining an instantiatable object per set, inserting calls to a notification callback...
US20130271476 Methods and Systems Related to Template Code Generator  
Template Code Generator. At least some embodiments involve reading a first representation of a program in a first format, and creating a second representation of the program in a second format....
US20110302564 Library Conformity Checker  
A library management system may compare contracts between programming libraries to identify unions, intersections, and differences between libraries. The management system may have a contract...
US20120079465 COMPILE-TIME BOUNDS CHECKING FOR USER-DEFINED TYPES  
Compile-time optimized bounds checking of user-defined types is provided. A user-defined class has an annotated memory-accessing method, and an annotated bound-providing member such as an integer...
US20130219378 VECTORIZATION OF SHADERS  
Intermediate representation (IR) code is received as compiled from a shader in the form of shader language source code. The input IR code is first analyzed during an analysis pass, during which...
US20130212568 Method and Apparatus for Synchronization Annotation  
Methods and system for providing synchronization of a multi-threaded application includes analyzing a source file of the application to identify one or more synchronization annotations contained...
US20110067013 SYSTEMS AND METHODS FOR DEFERRING SOFTWARE IMPLEMENTATION DECISIONS UNTIL LOAD TIME  
A software development method defers certain implementation details until load time. A programmer first annotates, in source code, a selected set of software components using metadata (such as...
US20130074055 Memoization Configuration File Consumed at Compile Time  
Memoization may be deployed using a configuration file or database that identifies functions to memorize, and in some cases, includes input and result values for those functions. At compile time,...
US20130067441 PROFILE GUIDED JIT CODE GENERATION  
Methods, systems, and computer program products are provided for profiling source code to enable improved source code execution. A runtime engine includes a parser, a bytecode generator, an...
US20140115568 GENERATING A DIVERSE PROGRAM  
A system for generating a diverse program can include a diversification unit configured to generate the diverse program that can include a given set of instructions implemented as machine code...
US20130305229 ANALYSIS OF DYNAMIC ELEMENTS IN BOUNDED TIME  
A code analysis system is described herein that provides code completion for programming languages that include elements that are not statically discoverable and that provides results in a...
US20150154010 OPTIMIZING INTERMEDIATE REPRESENTATION OF SCRIPT CODE BY ELIMINATING REDUNDANT REFERENCE COUNT OPERATIONS  
Disclosed here are methods, systems, paradigms and structures for optimizing generation of intermediate representation (IR) for a script code by eliminating redundant object reference count...
US20140317607 OPTIMIZING INTERMEDIATE REPRESENTATION OF SCRIPT CODE BY ELIMINATING REDUNDANT REFERENCE COUNT OPERATIONS  
Disclosed here are methods, systems, paradigms and structures for optimizing generation of intermediate representation (IR) for a script code by eliminating redundant object reference count...
US20120304154 SOFTWARE APPLICATION FINE-TUNING METHOD, SYSTEM, AND CORRESPONDING COMPUTER PROGRAM PRODUCT  
The invention relates to a method for fine-tuning a software application that is written in a source programming language and is executable on a target platform. According to the invention, such a...
US20140157247 Enabling Symbol Resolution of Private Symbols in Legacy Programs and Optimizing Access to the Private Symbols  
A method for generating a binary executable of a program so that private symbols in a module are accessible from another module. In one embodiment, the method compiles a source program to an...
US20120167062 EMULATING POINTERS  
The present invention extends to methods, systems, and computer program products for emulating pointers. Pointers can be emulated by replacing the pointers with a pair and...
US20100153936 Deferred constant pool generation  
Deferred constant pool generation is disclosed. Optimization processing is performed with respect to an intermediate representation of a source code. The optimized intermediate representation is...
US20120317556 OPTIMIZING EXECUTION OF KERNELS  
The present invention extends to methods, systems, and computer program products for optimizing execution of kernels. Embodiments of the invention include an optimization framework for optimizing...
US20140109068 METHOD FOR COMPILING AN INTERMEDIATE CODE OF AN APPLICATION  
A method for compiling an original application written in an intermediate code, in which the original application is executed by means of a virtual machine. The method supplies a native...
US20130159982 Language Translation Using Preprocessor Macros  
A method is provided for providing consistent logical code across specific programming languages. The method incorporates preprocessor macros in a source computer program code to generate a...
US20120317557 Pattern Extraction from Executable Code in Message Passing Environments  
Processes in a message passing system may be launched when messages having data patterns match a function on a receiving process. The function may be identified by an execution pointer within the...
US20110173596 METHOD FOR FACILITATING COMPILATION OF HIGH-LEVEL CODE FOR VARYING ARCHITECTURES  
The invention relates to a method for compiling high-level language code for various architectures and/or components. The invention proposes that an architecture-specific precompilation be...
US20120192163 METHOD AND APPARATUS FOR COMPILING REGULAR EXPRESSIONS  
Apparatus, systems, and methods for a compiler are described. One such compiler converts source code into an automaton comprising states and transitions between the states, wherein the states in...
US20140298304 Transmission Point Pattern Extraction from Executable Code in Message Passing Environments  
Processes in a message passing system may be launched when messages having data patterns match a function on a receiving process. The function may be identified by an execution pointer within the...
US20100153935 Delayed insertion of safepoint-related code  
Delayed insertion of safepoint related code is disclosed. Optimization processing is performed with respect to an intermediate representation of a source code. The optimized intermediate...
US20090113403 Replacing no operations with auxiliary code  
A machine code computer program may comprise machine code directed to a main task and may contain no operations (NOPs). Some or all of the NOPs may be replaced with auxiliary code. Alternatively,...
US20120192162 Optimizing Handlers for Application-Specific Operations for Validating C++ Programs Using Symbolic Execution  
Particular embodiments discover a relationship between a plurality of methods of a C++ object; define one or more rules to represent the relationship; verify the rules by symbolically executing...
US20100138815 IMPLEMENTING ASPECTS WITH CALLBACKS IN VIRTUAL MACHINES  
Implementing aspects via callback in a virtual machine, where an aspect weaver weaves the aspect with a module to provide primary and crosscutting functionality in the runtime execution of the...
US20140189664 METHOD FOR ENABLING COMPILATION OF A COBOL SOURCE PROGRAM UTILIZING A TWO-STAGE COMPILATION PROCESS, THE COBOL SOURCE PROGRAM INCLUDING A MIX OF COBOL, C++ or JAVA STATEMENTS, AND OPTIONAL OPENMP DIRECTIVES  
A method, apparatus, and program product are disclosed for carrying out the compilation of an original Cobol program that includes a mix of Cobol, C++ or JAVA and optional OpenMP directives in a...
US20110252410 PROGRAM CONVERTING APPARATUS AND PROGRAM CONVERSION METHOD  
A compiler, which corresponds to a recent processor having a multithread function, that enables execution of efficient instruction scheduling and allows a programmer to control the instruction...
US20140344791 METHOD AND APPARATUS FOR CODE SIZE REDUCTION  
A method for code size reduction, which comprises determining basic blocks in an IR module; grouping the basic blocks having duplicate code into groups; providing weighting values corresponding to...
US20130086565 LOW-LEVEL FUNCTION SELECTION USING VECTOR-WIDTH  
A medium and method is disclosed for compiling vector programs. A compiler receives program code that includes a function invocation. The compiler determines the vector width of a target computer...
US20080320457 Intermediate Code Metrics  
Metrics may be determined from intermediate computer code by reading and analyzing an entire application using intermediate code, including any linked portions. The metrics may include cyclomatic...
US20100131936 Efficient automated translation of procedures in an constraint-based programming language implemented with notification and callback  
A method is provided for translating sets of constraint declarations to imperative code sequences based on defining an instantiatable object per set, inserting calls to a notification callback...
US20070169019 Hiding irrelevant facts in verification conditions  
A program verification process begins by converting a language of the program from a first language into an intermediate language representation. The loops of the program are eliminated. The...

Matches 1 - 50 out of 149 1 2 3 >