| 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... |
| 6085029 |
Method using a computer for automatically instrumenting a computer program for dynamic debugging |
| Jul-4-2000 |
A method for automatically instrumenting a computer program for dynamic debugging. Such a computer program comprising source code written in a programming language for executing instructions on the computer.... |
| 6081212 |
Decoder using a finite state machine in decoding an abstract syntax notation-message and an encoder for carrying out encoding operation at a high speed |
| Jun-27-2000 |
In a message decoder (1) including a message decoding section (102) which is supplied with an encoded message given by encoding, according to the Basic Encoding Rule, an objective message defined by an... |
| 6078746 |
Method and system for reducing an intentional program tree represented by high-level computational constructs |
| Jun-20-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... |
| 6077315 |
Compiling system and method for partially reconfigurable computing |
| Jun-20-2000 |
A compiling system and method generates a sequence of program instructions for use in a partially reconfigurable processing unit, a portion of the processing unit having a hardware organization that is... |
| 6064819 |
Control flow and memory management optimization |
| May-16-2000 |
Selected code is modeled in a polyhedral dependency graph (PDG). A placement optimizer maps each element of the PDG to an optimally placed PDG. An ordering optimizer maps the placed PDG to an optimally... |
| 6061514 |
Device for generating source programs of multiple kinds of assembler languages from extended tree structure chart by applying the same source generation rules |
| May-9-2000 |
A device for generating an assembler source program from a tree structure chart, independently of a type an assembler language, with common automatic generation rules allows a source line description in... |
| 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... |
| 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... |
| 5983022 |
System and method for using profiles to manage data streams for device verification |
| Nov-9-1999 |
A bitstream management system and method which provides an infrastructure to enable comprehensive testing of devices that implement multiple syntax rule sets. In this system and method, modules for the... |
| 5978587 |
Method for propagating source code locations into objects in a compiler |
| Nov-2-1999 |
An object-oriented apparatus in the memory of a computer system for propagating source code locations into objects in a compiler. The apparatus has three types. The first is a source object type, of which... |
| 5943499 |
System and method for solving general global data flow predicated code problems |
| Aug-24-1999 |
The relationships among predicates can be analyzed over the scope of an entire procedure. The system scans a block of predicated code and collects a set of predicates used in the code to form a basis set.... |
| 5911076 |
Object oriented framework for creating new emitters for a compiler |
| Jun-8-1999 |
An emitter framework including several classes of support objects and a generic emitter class that can be subclassed to produce a new emitter for a compiler. The input to the framework is a first intermediate... |
| 5901317 |
Method and system for register allocation using multiple interference graphs |
| May-4-1999 |
Allocation of real registers to virtual or symbolic registers represented by nodes in an interference graph is performed with a compiler using a primary interference graph and a secondary interference... |
| 5892951 |
Method and apparatus for efficient evaluation of semantic attributes in LALR parsing |
| Apr-6-1999 |
A method and apparatus for compiling source code that pre-evaluates certain semantic attributes during syntactical analysis. The invention performs certain type of semantic analysis, such as checking semantic... |
| 5889998 |
Translation scheme from object oriented chill to chill for the visibility of the mereta mode |
| Mar-30-1999 |
An improved grant/seize processing method with respect to a Moreta-mode when converting an object-oriented CHILL to a CHILL which is capable of defining a syntax having a new characteristic which is capable... |
| 5870608 |
Method and apparatus for displaying text including context sensitive information derived from parse tree |
| Feb-9-1999 |
A method and apparatus for displaying text which efficiently couples information derived from the parse tree for the text with the display of the text. Use of parse tree information allows the system to... |
| 5864479 |
Programming device for programming state controllers |
| Jan-26-1999 |
A programming device for programming a programmable state controller. The programming device translates a control task into an automation-unit control program to be executed by the programmable state controller.... |
| 5862385 |
Compile method for reducing cache conflict |
| Jan-19-1999 |
A compiling method, for use with programs to be executed on a computer with cache memory, which programs would otherwise generate decreased performance due to cache conflicts arising from conflicting cache... |
| 5857105 |
Compiler for reducing number of indirect calls in an executable code |
| Jan-5-1999 |
A compiler method converts an indirect call to a callee routine in a caller routine program listing, to an in-line listing of, or a direct call to, the callee routine in the caller routine. An indirect... |
| 5854929 |
Method of generating code for programmable processors, code generator and application thereof |
| Dec-29-1998 |
The present invention concerns a method of generating code for a programmable processor and comprises several steps. The first step is representing the processor as a directed bipartite graph with first... |
| 5850552 |
Optimization apparatus for removing hazards by arranging instruction order |
| Dec-15-1998 |
An optimization apparatus is provided for removing hazards from a program by rearranging instructions for each program segment. The apparatus comprises: a Directed Acyclic Graph (DAG) generating means... |
| 5845127 |
Language processor and language processing method to generate object programs by compiling source programs |
| Dec-1-1998 |
A language processor for source program compiling and object file generation provided with a function call counter section to count the number of calls for each function during syntax analysis, a function... |
| 5845126 |
Method of, system for, and computer program product for providing inlined nested array constructors using normalized counters |
| Dec-1-1998 |
Method of, system for, and computer program product for generating efficient code for a set of nested Fortran 90 array constructors without introducing temporary vectors by the use of normalized counters... |
| 5822593 |
High-level loop fusion |
| Oct-13-1998 |
A processor is provided with a software program specifying an overall computation that includes operations. Each operation implies a set of subcomputations, without explicitly specifying a control structure... |
| 5812855 |
System and method for constaint propagation cloning for unknown edges in IPA |
| Sep-22-1998 |
The present invention provides a system and method for solving interprocedural problems on incomplete call graphs. For a given program, the present invention constructs a standard call graph on which the... |
| 5812851 |
Compiler with generic front end and dynamically loadable back ends |
| Sep-22-1998 |
A system and method provides for variable target outputs from a compiler with only a single execution. The compiler includes a front end, a generic back end, and plurality of individual back ends that... |
| 5805894 |
Method inside an optimizing compiler for analyzing assertions and redirecting control flow in programs |
| Sep-8-1998 |
A method of analyzing and optimizing programs by predicting branches and redirecting control flow. A program to be analyzed and optimized is inspected to find branches that might be predictable. A set... |
| 5797012 |
Connectivity based program partitioning |
| Aug-18-1998 |
A method for partitioning programs into multi-procedure modules for efficient compilation. During interprocedural analysis, a weighted callgraph of the program is constructed in which weights on nodes... |
| 5794050 |
Natural language understanding system |
| Aug-11-1998 |
The present invention interprets natural language input using common sense reasoning. The invention avoids the combinatorial explosion that has occurred in other natural language understanding systems.... |
| 5787287 |
Representation of control flow and data dependence for machine |
| Jul-28-1998 |
A method of representing data dependence and control flow between two instructions in computer-executable instructions. Each instruction is for reading or writing a variable. The sequence of instructions... |
| 5787284 |
Improving memory layout based on connectivity considerations |
| Jul-28-1998 |
A technique used during interprocedural compilation in which program objects are grouped together based on the weights of the connections between the objects and their costs. System-imposed constraints... |
| 5784276 |
Programming device |
| Jul-21-1998 |
A programming device of a programmable status control system is provided for converting a control function to a control program for an automation device. The programming device with a graphic programming... |
| 5774730 |
Method and apparatus for improving colorability of constrained nodes in an interference graph within a computer system |
| Jun-30-1998 |
A method and apparatus for coloring an interference graph yields a higher number of colored nodes by taking into consideration the colors of neighbors of a node's uncolored constrained neighbors. By assigning... |
| 5758163 |
Method and apparatus for record fields usage checking at compile time |
| May-26-1998 |
A method and apparatus for checking for portions of record variables that are referenced before they are assigned a value. This checking occurs in the semantic checking portion of a compiler for a high... |
| 5742828 |
Compiler and method for evaluation of foreign syntax expressions in source code |
| Apr-21-1998 |
Source code including application defined expressions and non-conforming identifiers are compiled to executable code. The source code is written with an application defined expression or non-conforming... |
| 5717883 |
Method and apparatus for parallel execution of computer programs using information providing for reconstruction of a logical sequential program |
| Feb-10-1998 |
A computer system with multiple execution units operates by treating a logical program as a tree structure with segments which include several computer instructions. Segments of the tree structure are... |
| 5701489 |
System for partial in-line expansion of procedure calls during program compilation |
| Dec-23-1997 |
A system for the in-line expansion of a portion of the program body otherwise rejected as too expensive for full in-line expansion during intermediate code optimization by a compiler. The partial in-lining... |
| 5659753 |
Interface for symbol table construction in a multilanguage optimizing compiler |
| Aug-19-1997 |
A compiler framework uses a generic "shell" and a generic back end (where the code generator is target-specific). The generic back end provides the functions of optimization, register and memory allocation,... |
| 5652889 |
Alternate execution and interpretation of computer program having code at unknown locations due to transfer instructions having computed destination addresses |
| Jul-29-1997 |
It is not always possible or practical to fully translate an original computer program because execution transfer instructions may have computed destination addresses that cannot be determined until program... |
| 5642514 |
Method and system for constructing compact executable files by eliminating redundant debugging strings |
| Jun-24-1997 |
A method and system within a data processing system are disclosed which enable a number of object files to be linked together to construct a compact executable program. First, the number of object files... |
| 5627748 |
Method of identifying pattern matches in parameterized strings and square matrices |
| May-6-1997 |
Methods are disclosed for finding maximal matches in data strings and for finding matches in parameterized strings, that is, strings containing symbols from more than one alphabet in which the symbols... |
| 5613117 |
Optimizing compiler using templates corresponding to portions of an intermediate language graph to determine an order of evaluation and to allocate lifetimes to temporary names for variables |
| Mar-18-1997 |
A compiler framework uses a generic "shell" and a generic back end (where the code generator is target-specific). The generic back end provides the functions of optimization, register and memory allocation,... |
| 5590331 |
Method and apparatus for generating platform-standard object files containing machine-independent code |
| Dec-31-1996 |
A method and apparatus for generating a platform-standard object file containing machine-independent abstract code. Source code which defines a procedure is convened into abstract code which makes no assumptions... |
| 5590329 |
Method and apparatus for detecting memory access errors |
| Dec-31-1996 |
Disclosed is a software generation system (SGS) based memory error detection system which may be utilized to detect various memory access errors, such as array dimension violations, dereferencing of invalid... |
| 5581762 |
Compiling apparatus having a function to analyze overlaps of memory addresses of two or more data expressions and a compiling method |
| Dec-3-1996 |
An object of the present invention is to realize a compiling apparatus producing an object program which can be executed at a high speed. In a compiling apparatus according to the present invention, an... |
| 5577253 |
Analyzing inductive expressions in a multilanguage optimizing compiler |
| Nov-19-1996 |
A compiler framework comprises a generic compiler back end which may be used by a plurality of front ends to generate object code for a target computer system. Each front end scans and parses a source... |
| 5557761 |
System and method of generating object code using aggregate instruction movement |
| Sep-17-1996 |
A system and method of generating object code from an intermediate representation of source code is described. The intermediate representation includes a plurality of basic blocks each being represented... |
| 5557730 |
Symbol browsing and filter switches in an object-oriented development system |
| Sep-17-1996 |
A system of the present invention includes a development system having a language compiler for generating application and system software from source listings. The system includes an Integrated Development... |
