| 7013457 |
Prioritized debugging of an error space in program code |
| Mar-14-2006 |
A computer system has an input system and an output system. Program code to be debugged has a plurality of program code statements. The input system is utilized to indicate an error variable in the program... |
| 7007272 |
Compiling computer programs including branch instructions |
| Feb-28-2006 |
This patent describes a method of compiling a computer program from a sequence of computer instructions including a plurality of first, set branch, instructions which each identify a target address for... |
| 7007271 |
Method and apparatus for integrated instruction scheduling and register allocation in a postoptimizer |
| Feb-28-2006 |
The present invention describes a method of efficiently optimizing instruction scheduling and register allocation in a post optimizer. The method removes false register dependencies between pipelined instructions... |
| 7003766 |
Suite of metrics for software quality assurance and product development |
| Feb-21-2006 |
Based on software developed with use-cases, a suite of metrics for the Product/Process (PP) complexity of software systems as well the PP complexity of each stage in the software development process—analysis,... |
| 6981212 |
Extensible markup language (XML) server pages having custom document object model (DOM) tags |
| Dec-27-2005 |
A method for serving a web page uses eXtensible Markup Language (XML) server pages. The first time a page is accessed, a given flat file is parsed into an XML Document Object Model (DOM), and required... |
| 6981211 |
Method for processing a document object model (DOM) tree using a tagbean |
| Dec-27-2005 |
A method of processing a document object model (DOM) tree having at least one tag located at a given node in the tree. The tag serves as a marker that initiates the invocation of a tag handler that, in... |
| 6966054 |
Method and system for generating a computer program |
| Nov-15-2005 |
A method and system is described for generating executable code for a computer program. A programmer creates an intentional program tree using a syntax-independent editor. The editor allows a programmer... |
| 6957419 |
Facilitating the use of aliases during the debugging of applications |
| Oct-18-2005 |
The use of aliases in the debugging of applications is facilitated. Aliases are used in debugging, even when the aliases are not known to the debug generation stage of the compiler. That is, aliases are... |
| 6931635 |
Program optimization |
| Aug-16-2005 |
A program optimization method for converting program source code written in a programming language into machine language includes steps of: analyzing a target program and detecting an exception generative... |
| 6928642 |
Code generation for mapping object fields within nested arrays |
| Aug-9-2005 |
A method and device for generating mapping source code to establish mapping connections between enterprise system nested array object fields and legacy system nested array object fields is disclosed. For... |
| 6922828 |
Method and system for detecting common bytecode sequences |
| Jul-26-2005 |
A method and system for detecting and counting bytecode sequences in a data processing system is provided. A bytecode tree data structure is used to represent sequences of bytecodes. A bytecode sequence... |
| 6907599 |
Synthesis of verification languages |
| Jun-14-2005 |
A method for synthesizing a verification language, and thereby enabling the verification language to be compiled into a target language. This method enables the underlying control structure of the verification... |
| 6904590 |
Methods for enhancing program analysis |
| Jun-7-2005 |
Methods are discussed that enhance program analysis. One aspect of the invention includes a method for checking a model of a program. The method includes a control-flow graph having vertices from the model,... |
| 6895580 |
Expression reduction during compilation through routine cloning |
| May-17-2005 |
An apparatus, program product, and method utilize routine cloning to optimize the performance of a compiled computer program. Within a compiled representation of a computer program, an implementation of... |
| 6874141 |
Method of compiling schema mapping |
| Mar-29-2005 |
A method for compiling a mapping between a source schema and a target schema is provided. The method comprises multiple passes, including determining source node dependencies, matching hierarchy, and generating... |
| 6839895 |
Method of, system for, and computer program product for providing efficient utilization of memory hierarchy through code restructuring |
| Jan-4-2005 |
Code restructuring or reordering based on profiling information and memory hierarchy is provided by constructing a Program Execution Graph (PEG) corresponding to a level of the memory hierarchy, partitioning... |
| 6820257 |
Optimized production of hardware from source programs involving multiplications |
| Nov-16-2004 |
A method of compiling a source program to produce hardware is provided. The method includes the steps of carrying out data flow analysis of the source program to produce a data flow representation of the... |
| 6820253 |
Method and system for interprocedural analysis with separate compilation |
| Nov-16-2004 |
A method and system for interprocedural analysis with separate compilation is disclosed. In one embodiment, the method is applied to a software program having a plurality of separately compilable components.... |
| 6817009 |
Method and apparatus for verifying data local to a single thread |
| Nov-9-2004 |
Concurrent program analysis is fashioned for detecting potential race conditions such as data races in computer programs. One feature of this analysis is verifying annotations of addressable resources... |
| 6763137 |
Recognition and clustering of connected components in bi-level images |
| Jul-13-2004 |
Methods, apparatus and data structures for identifying, processing and interpreting bi-level connected component objects found within graphic images. The disclosure includes methods for generating lumped... |
| 6757887 |
Method for generating a software module from multiple software modules based on extraction and composition |
| Jun-29-2004 |
There is provided a method for generating a software module based upon elements from multiple software modules. The method includes the step of extracting a plurality of sets of elements from the multiple... |
| 6732330 |
Scripting language blocks to support multiple scripting languages in a single web page |
| May-4-2004 |
Different scripting languages may reside side-by-side or nested within each other on the same web page. Thus, a new author may add code to the page, and he or she is not tied to any given subset of languages... |
| 6728952 |
Identification of vacuous predicates in computer programs |
| Apr-27-2004 |
A computer system identifies a predicate in a computer language containing constant expressions as vacuous. The system identifies distinct variables contained in the predicate and represents the predicate... |
| 6728950 |
Method and apparatus for translating between source and target code |
| Apr-27-2004 |
An interactive translation system (10) includes a front end (40), a back end (42), and a user interface (16). The front end (40) is operable to identify source elements (86) in a source file (24). The... |
| 6718516 |
Method for verifying context between multiple related XML tags in document object model (DOM) |
| Apr-6-2004 |
A method for processing a Document Object Model (DOM) tree to verify context between multiple related XML tags. One or more of these related XML tags are custom tags. According to the invention, contextual... |
| 6694290 |
Analyzing an extended finite state machine system model |
| Feb-17-2004 |
A method of using a computer to analyze an extended finite state machine model of a system includes receiving at least one requirement expression, determining at least one path of states and transitions... |
| 6675291 |
Hardware device for parallel processing of any instruction within a set of instructions |
| Jan-6-2004 |
Hardware device for parallel processing a determined instruction of a set of instructions having a same format defining operand fields and other data fields, the execution of this determined instruction... |
| 6665866 |
Extensible compiler utilizing a plurality of question handlers |
| Dec-16-2003 |
A compiler architecture uses a question and answer methodology between a reduction engine and nodes of a graph representing the program being compiled to provide for easy expandability of the compiler.... |
| 6665865 |
Equivalence class based synchronization optimization |
| Dec-16-2003 |
Synchronization optimization for statically compiled Java programs is performed in three phases: Thread closure analysis, Alias analysis, and Specialization and transformation. Thread closure analysis... |
| 6665863 |
Data referencing within a database graph |
| Dec-16-2003 |
The present invention is directed to providing a higher degree of association between nodes and links in a graph by creating data structures (spiders) that provide views into graphs that transcend the... |
| 6654952 |
Region based optimizations using data dependence graphs |
| Nov-25-2003 |
Region based optimization may be accomplished by creating dependence graphs for each block and then incrementally computing a single dependence graph for the region. First dependence DAGs are created for... |
| 6637026 |
Instruction reducing predicate copy |
| Oct-21-2003 |
When compiling software for a processor that supports predication, an alerting instruction can be inserted to alert a global register allocator to map particular virtual predicates into the same physical... |
| 6578197 |
System and method for high-speed execution of graphics application programs including shading language instructions |
| Jun-10-2003 |
A system and method for high-speed execution of graphics application programs, including shading language instructions, that utilize 3D graphics hardware. The method involves expressing a graphics computation... |
| 6570972 |
Telephony control mechanism |
| May-27-2003 |
A telephony control is provided in the form of a relocatable serialized object having an identical route node to a directed graph. The directed graph includes modules performing telephony control functions.... |
| 6516461 |
Source code translating method, recording medium containing source code translator program, and source code translator device |
| Feb-4-2003 |
A source code translating method includes the steps of representing a particular source code in the form of an abstract syntax tree without using nodes representing expression statements, and converting... |
| 6502112 |
Method in a computing system for comparing XMI-based XML documents for identical contents |
| Dec-31-2002 |
A method is provided by a computer system processing XMI-based XML documents. The method compares two such XMI-based XML documents for identical content. The method begins with the step of parsing each... |
| 6466240 |
Method for visually writing programs or scripts that transform structured text presented as a tree |
| Oct-15-2002 |
A method and system for visually writing programs or scripts that transform structured text, including text of programs in computer languages such as Cobol, C, or C++, and electronic documents such as... |
| 6453464 |
Method and apparatus for converting COBOL to Java |
| Sep-17-2002 |
The present invention relates to a method for translating computer programs from a language having the attributes of computer programming language COBOL to a language having the attributes of the computer... |
| 6427232 |
Functional debugger for debugging software programs |
| Jul-30-2002 |
A method and implementing computer system is provided in which a software debug program is operable to display to a user the flow of a program being debugged. The program flow is illustrated in an example... |
| 6421824 |
Method and apparatus for producing a sparse interference graph |
| Jul-16-2002 |
Methods and apparatus for reducing the number of edges described by an interference graph are disclosed. According to one aspect of the present invention, a computer-implemented method for allocating memory... |
| 6314562 |
Method and system for anticipatory optimization of computer programs |
| Nov-6-2001 |
A method and system for anticipatory optimization of computer programs. The system generates code for a program that is specified using programming-language-defined computational constructs and user-defined,... |
| 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. |
| 6256618 |
Computer architecture using self-manipulating trees |
| Jul-3-2001 |
A computer architecture operates a computer using self-manipulating trees. A source is input and is matched to a self-manipulating tree using open-ended inviting to match identities to portions of the... |
| 6243863 |
Apparatus and method for parallelizing legacy computer code |
| Jun-5-2001 |
A computer-implemented method and apparatus for parallelizing input computer-program code based on class-specific abstractions. The method includes the steps of providing a class-specific abstraction (CSA),... |
| 6212677 |
Generating a natural language specification of a computer program by generating an intermediate expression table based on a flow chart from analyzed syntax of the program |
| Apr-3-2001 |
A specification generating method for a computer program comprises the steps of: analyzing the syntax of a predetermined computer program; generating a control flowchart based on the analyzed syntax; generating... |
| 6189143 |
Method and system for reducing an intentional program tree represented by high-level computational constructs |
| Feb-13-2001 |
A method and system is described for generating executable code for a computer program, A programmer creates an intentional program tree using a syntax-independent editor. The editor allows a programmer... |
| 6175948 |
Method and apparatus for a waveform compiler |
| Jan-16-2001 |
The waveform compiler methodology employs a top-down system decomposition coupled with component based design development to capture a user design in a series of parameterized models. A user selects components... |
| 6138272 |
GDMO translator, method of GDMO translation, and recording medium containing program for GDMO translator |
| Oct-24-2000 |
A GDMO translator is provided, which is capable of generating output files with various syntaxes from an input file with the same syntax, and which is capable of describing different outputs containing,... |
| 6138112 |
Test generator for database management systems |
| Oct-24-2000 |
A test generator produces a set of database query-language statements comprised of randomly chosen elements for testing one or more database management systems on arbitrary databases. The statements are... |
| 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... |
