| 6484312 |
Inferring operand types within an intermediate language |
| Nov-19-2002 |
Inferring operand types within an intermediate language is disclosed. In one embodiment, a computer-implemented method first inputs an intermediate language code that has a first plurality of opcodes,... |
| 6481008 |
Instrumentation and optimization tools for heterogeneous programs |
| Nov-12-2002 |
Pre-defined performance tools enable instrumentation and optimization of a heterogeneous program by modifying a platform-neutral intermediate representation (IR) of the program. The intermediate representation... |
| 6470336 |
Document image search device and recording medium having document search program stored thereon |
| Oct-22-2002 |
A document search device searches for a keyword in a recognition result obtained by character recognition performed on a document image. The keyword includes at least one first character, and a character... |
| 6463579 |
System and method for generating recovery code |
| Oct-8-2002 |
A system and method of compiling source code. A compiler generates intermediate code from the source code, generates object code instructions from the intermediate code and schedules the object code instructions.... |
| 6460178 |
Shared library optimization for heterogeneous programs |
| Oct-1-2002 |
A shared library optimization process relocates a code block in a platform-neutral intermediate representation (IR) of a library into the IR of another library. The shared library optimization process... |
| 6460177 |
Method for target-specific development of fixed-point algorithms employing C++ class definitions |
| Oct-1-2002 |
An automated method for the development of fixed-point algorithms which have been initially implemented as floating-point code which advantageously hides most of the tedious operations that need to be... |
| 6425124 |
Resource allocation device for reducing the size and run time of a machine language program |
| Jul-23-2002 |
The present invention discloses a resource allocation device comprising a pattern generation unit for generating every pattern of a live variable placing within a program portion subjected to resource... |
| 6389590 |
Indefinite-size variables within an intermediate language |
| May-14-2002 |
Indefinite-size variables within an intermediate language are disclosed. In one embodiment, a computer-implemented method first inputs intermediate language code having a size-indefinite variable. The... |
| 6370687 |
Network computer system and substitute compile server |
| Apr-9-2002 |
A client executes a virtual machine computer program lying on a network. In response to a request from a client, a substitute compile server accepts the virtual machine computer program from the network... |
| 6369836 |
Cause effect diagram program |
| Apr-9-2002 |
A computer system for generating a cause effect matrix as a user interface to develop a control program based on the cause effect matrix and to compile and download the resulting program into a programmable... |
| 6367076 |
Compiling method and memory storing the program code |
| Apr-2-2002 |
A compiling method, for compiling a source program into an object program for a CPU having multiple functional units that allow for concurrent operations and supporting predicated execution, for generating... |
| 6346945 |
Method and apparatus for pattern-based flowcharting of source code |
| Feb-12-2002 |
A system and method for generating a consistent graphical expression of source code which is independent of the source language and of a particular programmer's style. The system first provides an intermediary... |
| 6343373 |
Retargetable information process system |
| Jan-29-2002 |
A translator system for translating source programs into machine language programs in an electronic computer system. An object program common to a plurality of different machine types of computers are... |
| 6339839 |
Enabling multiple code generators in a translator-based embedded scripting system |
| Jan-15-2002 |
A translator-based embedded scripting environment includes multiple translators executed by one or more computers. An original input source is split into a plurality of intermediate sources for processing... |
| 6336214 |
System and method for automatically generating browsable language grammars |
| Jan-1-2002 |
A technique for automatically generating browsable language grammars. A grammar specification is used to identify the structure of an input grammar, so that a specification pre-processor, grammar parser... |
| 6324686 |
Just in time compiler technique |
| Nov-27-2001 |
The present invention provides a compiler that can compile Java byte code at high speed while employing only limited resources. The technique converts byte code into intermediate code that employs, as... |
| 6324685 |
Applet server that provides applets in various forms |
| Nov-27-2001 |
The present invention is an applet server which accepts requests for applets from client computers. A request specifies the format in which an applet is to be delivered to the requesting client computer.... |
| 6308323 |
Apparatus and method for compiling a plurality of instruction sets for a processor and a media for recording the compiling method |
| Oct-23-2001 |
An apparatus and method for compiling a source program for a processor having a plurality of different instruction sets at high speed by selecting an optimum instruction set. The compiling method comprises... |
| 6308320 |
Method and apparatus for incremental selective compilation of intermediate code files during computer system compilation and linking |
| Oct-23-2001 |
An incremental selective compiler tool that minimizes compilation of intermediate code files by reusing object code files during the compilation and linking process. The compiler tool determines when the... |
| 6308317 |
Using a high level programming language with a microcontroller |
| Oct-23-2001 |
An integrated circuit card is used with a terminal. The integrated circuit card includes a memory that stores an interpreter and an application that has a high level programming language format. A processor... |
| 6301704 |
Method, system, and computer program product for using static single assignment form as a program representation and a medium for performing global scalar optimization |
| Oct-9-2001 |
A method, system, and computer product uses a hashed static single assignment (SSA) form as a program representation and a medium for performing global scalar optimization. A compiler, after expressing... |
| 6292938 |
Retargeting optimized code by matching tree patterns in directed acyclic graphs |
| Sep-18-2001 |
An optimizing, compiler that performs retargetable object code generation for a specific processor by matching tree patterns in directed acyclic graphs derived from the source code. |
| 6286135 |
Cost-sensitive SSA-based strength reduction algorithm for a machine with predication support and segmented addresses |
| Sep-4-2001 |
A compiler optimization algorithm that deals with aggressive strength reduction of integer machine instructions found in loops. The algorithm permits the strength reduction of such machine instructions... |
| 6282705 |
Compiler capable of reducing interrupt handling in optimization and its optimization method |
| Aug-28-2001 |
A compiler comprises a using register control table by function, a using register extracting unit by function for extracting a using register and a call function name, in every function, based on the intermediate... |
| 6249910 |
Apparatus and method for incrementally update static single assignment form for cloned variable name definitions |
| Jun-19-2001 |
An improved technique for incrementally updating a source code representation having cloned variable name definitions to static single assignment (SSA) form is described. The technique receives an intermediate... |
| 6243856 |
System and method for encoding a scene graph |
| Jun-5-2001 |
A system and method for efficiently coding an animation sequence, converts a series of opcodes and associated opcode parameters into an array of integers. The array of integers is converting into an alphanumeric... |
| 6233732 |
Compiling system using intermediate codes to store a plurality of values |
| May-15-2001 |
A compiling system includes a first unit for converting a source program into an intermediate text formed of intermediate codes, each of the intermediate codes having a portion used to explicitly indicate... |
| 6182284 |
Method and system for eliminating phi instruction resource interferences and redundant copy instructions from static-single-assignment-form computer code |
| Jan-30-2001 |
A method and system for detecting and eliminating interferences between resources in SSA-form .phi.-instructions so that an optimizing compiler can translate optimized SSA-form code back to non-SSA-form... |
| 6167565 |
Method and system of custom marshaling of inter-language parameters |
| Dec-26-2000 |
A computer-based custom marshaling method and system for custom marshaling of parameters during invocation of functions implemented in a second language by computer programs implemented in an first language.... |
| 6134708 |
Program compilation execution system |
| Oct-17-2000 |
There is provided a program compilation execution system which uses an in-task shared data allocation system in which by allocating only the data used in a task on a main memory, the operation efficiency... |
| 6131189 |
System and method to efficiently represent aliases and indirect memory operations in static single assignment form during compilation |
| Oct-10-2000 |
A system and method for an optimizer of a compilation suite for representing aliases and indirect memory operations in static single assignment (SSA) during compilation of a program having one or more... |
| 6128774 |
Safe to execute verification of software |
| Oct-3-2000 |
A computer-implemented method of verifying that untrusted software supplied by a code producer is safe to execute by a code consumer. The method includes the step of defining a safety policy that specifies... |
| 6102969 |
Method and system using information written in a wrapper description language to execute query on a network |
| Aug-15-2000 |
This invention provides assistance to a user in accessing network attached information sources. In one aspect, the invention is a method for intelligently routing a user query to information sources relevant... |
| 6097888 |
Method and system for reducing an intentional program tree represented by high-level computational constructs |
| Aug-1-2000 |
A method and system for generating a computer program in the manner that uses no computer programming language syntax. The system represents a computer program as an intentional program tree, which is... |
| 6090156 |
System for local context spilling for graph coloring register allocators |
| Jul-18-2000 |
A register allocator for allocating machine registers during compilation of a computer program. The register allocator performs the steps of building an interference graph, reducing the graph using graph... |
| 6090155 |
Optimizing apparatus and method for defining visibility boundaries in compiled code |
| Jul-18-2000 |
Apparatus and a method are provided for defining visibility boundaries in compiled code of an optimizing compiler used with a digital computer for converting a source program to an object code. The source... |
| 6086632 |
Register optimizing compiler using commutative operations |
| Jul-11-2000 |
A register optimizing compiler for use in a computer in which the type of a register for storing data to be used in each of a plurality of input operands is limited according to the location of each input... |
| 6078744 |
Method and apparatus for improving compiler performance during subsequent compilations of a source program |
| Jun-20-2000 |
Apparatus, methods, and computer program products are disclosed for improving the performance of subsequent compilations of a source program. The initial compilation of the source program journals computationally... |
| 6077311 |
Method and apparatus for extraction of program region |
| Jun-20-2000 |
A method and apparatus for marking a region of source code within a program unit and extracting an executable version of this marked region of code. The executable version has a initialized program state... |
| 6063134 |
Method to provide a software package and a provider station and a user station realizing the method and a basis software package |
| May-16-2000 |
The method is used to provide a software package for installation in a user station (US) without revealing the contents of the software package. The method includes the steps of encoding a readable source... |
| 6038396 |
Compiling apparatus and method for a VLIW system computer and a recording medium for storing compile execution programs |
| Mar-14-2000 |
A compiling apparatus and method, and a recording medium, are used to facilitate assembly code programming of a VLIW computer system. An instruction of an intermediate code format, designated for each... |
| 6035124 |
Method of, system for, and computer program product for providing extended global value numbering |
| Mar-7-2000 |
A fast and efficient way of performing extended global value numbering beyond basic blocks and extended basic blocks on a complete topological ordering of basic blocks in a program. Global value numbering... |
| 6031993 |
Method and apparatus for translating source code from one high-level computer language to another |
| Feb-29-2000 |
A method, system, apparatus, and program for translating one computer language to another using doubly-rooted tree data structures. A doubly-rooted tree is the combination of two sets of hierarchically... |
| 6029005 |
Method for identifying partial redundancies in a new processor architecture |
| Feb-22-2000 |
The invention, in one embodiment, is a method for compiling at least a portion of a computer program. The method includes (a) inserting a phi-function for a global variable reaching a join point in the... |
| 6029002 |
Method and apparatus for analyzing computer code using weakest precondition |
| Feb-22-2000 |
An analyzer for maintaining and analyzing source code is disclosed. The analyzer includes a software translator for converting conventional source code into an intermediate language, slicing capability... |
| 6028987 |
Method of operation of arithmetic and logic unit, storage medium, and arithmetic and logic unit |
| Feb-22-2000 |
A method of operation of an arithmetic and logic unit, a storage medium, and an arithmetic and logic unit introducing a technique and concept of converting a serial structure of decisions having an order... |
| 6023583 |
Optimized variable allocation method, optimized variable allocation system and computer-readable memory containing an optimized variable allocation program |
| Feb-8-2000 |
An input module reads a source program, and a language translating module performs language translation on the entered source program to generate intermediate code. A dependency relation analyzing module... |
| 6014516 |
Language processing system which generates debugging source file corresponding to optimization image and method therefor |
| Jan-11-2000 |
A language processing system including a parsing unit for receiving input of a source file to be processed and conducting parsing processing of the same, an optimization unit for receiving input of intermediate... |
| 6009268 |
Device for programming a stored program controller |
| Dec-28-1999 |
A device for programming a stored program controller includes an operating system for executing an application program, a first memory for storage of the application program, an input device for input... |
| 6002879 |
Method for performing common subexpression elimination on a rack-N static single assignment language |
| Dec-14-1999 |
Briefly, in one embodiment, the invention is a method for eliminating common subexpressions in an initial SSA intermediate language representation of at least a portion of a computer program. The method... |
