| 6631517 |
Software constructs that facilitate partial evaluation of source code |
| Oct-7-2003 |
A partial evaluator, or pre-compiler, for a computer program enables a user to provide, at suitable places within a program, language constructs which cause certain expressions within the program to be... |
| 6625804 |
Unified event programming model |
| Sep-23-2003 |
A unified event programming model standardizes event programming for disparate eventing protocols. The unified event programming model simplifies programming events for different object types by abstracting... |
| 6611954 |
Binary compatible software objects |
| Aug-26-2003 |
An object oriented programming technology enables multiple objects to be snapped into a given container or client. Thus, for example, multiple ActiveX controls can be snapped into one given container and... |
| 6578191 |
Method and apparatus for dynamic generation of adapters |
| Jun-10-2003 |
This invention provides for the implementation of dynamic "event to method" adapter class generation. Event to method adapter classes and objects are automatically and dynamically generated and wired to... |
| 6578187 |
Digital circuit design method using programming language |
| Jun-10-2003 |
This invention is about a method of digital circuit design using programming language. It can solve problems raised by describing hardware using programming language, e.g. difficulties in describing changes... |
| 6560774 |
Verifier to check intermediate language |
| May-6-2003 |
Verification of intermediate language code. In one embodiment, a computer-implemented method first verifies metadata of an intermediate language code for consistency and accuracy, and then verifying the... |
| 6546546 |
Integrating operating systems and run-time systems |
| Apr-8-2003 |
The Virtual Machine is viewed by many as inherently insecure despite all the efforts to improve its security. This invention provides methods, apparatus, and computer products to implement a system that... |
| 6542899 |
Method and system for expressing information from an object-oriented database in a grammatical form |
| Apr-1-2003 |
A grammar to represent a hierarchical object-oriented database. The grammar comprises a set of keywords and a syntax. The keywords include "tree", "entry", "properties", and "attributes". Properties and... |
| 6539520 |
Systems and methods for generating hardware description code |
| Mar-25-2003 |
An Internet hardware description code generation system, methods, and scripts are provided. The Internet hardware description code generation system includes a hardware description code generation host... |
| 6530075 |
JIT/compiler Java language extensions to enable field performance and serviceability |
| Mar-4-2003 |
The present invention provides a method and apparatus in a data processing system for optimizing running of bytecode. An application programming interface is called for compilation of bytecode. The bytecode... |
| 6510551 |
System for expressing complex data relationships using simple language constructs |
| Jan-21-2003 |
A programming environment including a source code programming language comprising a plurality of programming constructs. A first set of constructs within the programming language are for expressing procedural... |
| 6496975 |
Method, system, and program for performing conditional program operations |
| Dec-17-2002 |
Disclosed is a system, method, and program for implementing conditional logic statements within a computer program. Program logic is invoked in response to processing a first method statement. During the... |
| 6493862 |
Method for compressing an FPGA bitsream |
| Dec-10-2002 |
An FPGA architecture and method to reduce the size of the bitstream used in configuring or reconfiguring the FPGA. To facilitate features of the compression process, an FPGA is modified to implement an... |
| 6490564 |
Arrangement for defining and processing voice enabled web applications using extensible markup language documents |
| Dec-3-2002 |
A unified web-based voice messaging system provides voice application control between a web browser and an application server via an hypertext transport protocol (HTTP) connection on an Internet Protocol... |
| 6473895 |
Aspect-oriented system monitoring and tracing |
| Oct-29-2002 |
An aspect oriented system for implementing system monitoring and tracing is provided in which the monitoring and tracing functionality needs not be coded into the resources being monitored or traced. Rather,... |
| 6442441 |
Method of automatically generating and verifying programmable logic controller code |
| Aug-27-2002 |
A method of automatically generating and verifying programmable logic controller (PLC) code. The method includes the steps of constructing a neutral control model file, determining whether the neutral... |
| 6430590 |
Method and apparatus for processing executable program modules having multiple dependencies |
| Aug-6-2002 |
A computer readable storage medium for executing a simulation process representing a collection of semiconductor devices and tests for the devices. The simulation process constitutes a batch job of a plurality... |
| 6427229 |
Object oriented mechanism and method for maintaining elements on a flexibly constrained collection that may use any suitable object as a key |
| Jul-30-2002 |
In an object oriented computer system, an object oriented mechanism and method defines a common interface to maintain elements on a collection while providing the capability of using virtually any suitable... |
| 6425119 |
Method to produce application oriented languages |
| Jul-23-2002 |
Jargons are a family of application oriented languages well-suited for representing and processing complex, hierarchically structured information. A system is presented that automates most of the work... |
| 6421667 |
Delta model processing logic representation and execution system |
| Jul-16-2002 |
The invention presents novel method, apparatus, and data structures for storing, maintaining, and executing processing logic on a computer system. Processing logic is encoded into its distinct, constituent... |
| 6415434 |
Apparatus and method for a runtime method overloading resolver |
| Jul-2-2002 |
A method and apparatus for resolving method overloading at runtime that includes accessing an application programming interface file to retrieve methods that belong to the same class as a target method... |
| 6408431 |
Method and apparatus for multi-language software code generation |
| Jun-18-2002 |
A method of generating code for a software program in multiple languages by converting input specification files into output code files. The input specification files contain a list of distinctive features... |
| 6385618 |
Integrating both modifications to an object model and modifications to a database into source code by an object-relational mapping tool |
| May-7-2002 |
In accordance with methods and systems consistent with the present invention, an improved object-relational mapping tool is provided that generates source code containing classes which preserve both changes... |
| 6381736 |
Method for compile-time type-checking of arguments for externally-specified format strings |
| Apr-30-2002 |
A method for type-checking format arguments during compile time which uses data in an external file. Data from the external file is converted into a generated source file suitable for "inclusion" in a... |
| 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... |
| 6324681 |
Automated development system for developing applications that interface with both distributed component object model (DCOM) and enterprise server environments |
| Nov-27-2001 |
An automated development system which allows developers to more easily incorporate functionality from enterprise-based On-Line Transaction Processing (OLTP) services within an application running on a... |
| 6314557 |
Hybrid computer programming environment |
| Nov-6-2001 |
A system for facilitating assembly language programming by providing a sophisticated hybrid programming environment comprising a module to parse input hybrid source code files containing at least one high-level... |
| 6311327 |
Method and apparatus for analyzing software in a language-independent manner |
| Oct-30-2001 |
A software analysis system for capturing tags generated by tag statements in instrumented source code. The software analysis system includes a probe that monitors the address and data bus of the target... |
| 6311324 |
Software profiler which has the ability to display performance data on a computer screen |
| Oct-30-2001 |
A C-language program performance tuning advisor that helps a systems analyst to improve the performance of an application. The tuning advisor identifies critical regions (hot spots) of an application,... |
| 6311323 |
Computer programming language statement building and information tool |
| Oct-30-2001 |
An intelligent real time tool to assist a computer programmer during the writing and/or maintenance of a computer program. The tool generates assist windows that contain program related information that... |
| 6305011 |
Tip technology and its application to sparcompiler pascal |
| Oct-16-2001 |
A method and apparatus for mandating a hierarchy of TIPs (Technological Instrumental Packages), each defining an interface for handling a related data structure, such as a symbol table or a parse tree.... |
| 6298389 |
Method for input and output of structures for the Java language |
| Oct-2-2001 |
The present invention includes a method and apparatus that allows languages to send, receive and manipulate structures defined by other languages. Structurally, the present invention includes a preprocessor... |
| 6292932 |
System and method for converting from one modeling language to another |
| Sep-18-2001 |
In a computing system having a repository program being executed by said system and a means for storing data, a method is disclosed for converting a UML model to a MOF model within the repository. This... |
| 6289513 |
Interactive application generation and text processing |
| Sep-11-2001 |
A method and system for generating an application, using a plurality of components, each component defining an application block, storing based on a non-programmatic user input, a plurality of user-defined... |
| 6289502 |
Model-based software design and validation |
| Sep-11-2001 |
A new computer language, which is based on a formal, mathematical state-machine model, and which is used both to validate and to generate code for a distributed system, in general, enables developing a... |
| 6289501 |
Method for generating simple document type definitions |
| Sep-11-2001 |
A method is disclosed for use in a software development framework that has a repository and at least two software systems. The repository contains a meta-model and the software systems store instances... |
| 6286035 |
Validating and parsing engine for system configuration and support command messages |
| Sep-4-2001 |
Methods for parsing and validating a command message produced by a network element in a network utilizes table-drive approach. The messages are parsed by a parsing engine in object code stored at the network... |
| 6282699 |
Code node for a graphical programming system which invokes execution of textual code |
| Aug-28-2001 |
A system and method for creating a graphical program, wherein the graphical program is operable to invoke execution of textual code. The user selects a code node for inclusion in the graphical program,... |
| 6282579 |
Method for supporting address interaction between a first entity and a second entity, converter for address interaction, and computer system |
| Aug-28-2001 |
To support address interaction between a first entity and a second entity which use different addressing modes with address types in different specification languages and with address values of different... |
| 6279148 |
Method and apparatus for supporting efficient programming in dynamic pointer-safe languages |
| Aug-21-2001 |
One embodiment of the present invention facilitates low-level systems programming in dynamic, "pointer-safe" programming languages, which disallow arbitrary references through pointers. It does so by avoiding... |
| 6269473 |
Method and apparatus for the development of dynamically configurable software systems |
| Jul-31-2001 |
A software modeling environment is presented that supports the development and execution of software that can be dynamically configured. This is achieved by introducing a design-time object modeling construct... |
| 6266808 |
Computer program product for enabling the construction of dialogs for commands and templates |
| Jul-24-2001 |
A system and method for facilitating the construction of computer programs. The system enables an administrator to define dialogs associated with commands from a computer programming language. Users construct... |
| 6263496 |
Self modifying scene graph |
| Jul-17-2001 |
A system and method for efficiently coding an animation sequence, utilizes a single instance of an encoded function, having an operation code specifying a function and arguments to be used in carrying... |
| 6263493 |
Method and system for controlling the generation of program statements |
| Jul-17-2001 |
Disclosed is a system for processing program statements, such as statements included in a macro. An assembler program is provided a plurality of statements with an input file. The assembler program processes... |
| 6263485 |
Method and apparatus for describing an interface definition language-defined interface, operation, and data type |
| Jul-17-2001 |
A method for defining Interface Definition Language-defined data types, operations, or interfaces is defined. In particular, an ASCII string descriptor is generated that identifies the data type, interface,... |
| 6260191 |
User controlled relaxation of optimization constraints related to volatile memory references |
| Jul-10-2001 |
A regime of keywords modifying a volatile type-qualifier for use in source code accessing volatile objects via, for example, pointers to volatile memory locations. Each keyword permits corresponding selected... |
| 6257774 |
Application program and documentation generator system and method |
| Jul-10-2001 |
Automatic generation of an application program is performed by a programmed system including a guided editor for establishing program, data and field definitions from a plurality of input event elements.... |
| 6256778 |
Octet iterator template interface for protocol transfer syntax coding services |
| Jul-3-2001 |
A method is disclosed that allows the concise implementation of one protocol encoding/decoding device for syntax conversion between an abstract data syntax and a transfer syntax presented in an open-ended... |
| 6253366 |
Method and system for generating a compact document type definition for data interchange among software tools |
| Jun-26-2001 |
A method is disclosed for use in a software development framework having a repository and at least two software systems. The repository contains a meta-model and the software systems, which store instances... |
| 6237136 |
System and method for automatically creating source code example files for an application program in a plurality of programming languages |
| May-22-2001 |
A system and method for generating source code example files for an application program in a computer system. In the preferred embodiment, the system and method is used for creating source code example... |
