| 5586329 |
Programmable computer with automatic translation between source and object code with version control |
| Dec-17-1996 |
A computer which executes rules which are defined according to a language having a valid grammar. The computer comprises input means for receiving and temporarily storing a first source code representation... |
| 5560010 |
Method for automatically generating object declarations |
| Sep-24-1996 |
A process for automatically generating declaration statements from the external definitions (I, II) of a source file (12). The process identifies the data-type identifiers of an external declaration (I,... |
| 5557776 |
Apparatus which allows data sharing amongst computer program from different program environments |
| Sep-17-1996 |
The ADL system provides a way in which computer programs written in different programming languages can share data. The ADL system comprises the ADL language and the facilities necessary to perform the... |
| 5488714 |
Computer program analyzer for adapting computer programs to different architectures |
| Jan-30-1996 |
An extended mode analyzer (EMA) processes source code modules, detects suspicious instruction patterns and produces recommendations for code modification. The EMA applies knowledge based technology to... |
| 5487169 |
Method for translating a test plan source file containing multiple programming languages |
| Jan-23-1996 |
A method and apparatus for translating a text file to an executable procedure is provided. The executable procedure is created by inputting the text file to a translator, determining which translation... |
| 5452453 |
Rule based production system adapted for complex procedural flow |
| Sep-19-1995 |
In a production system in which a plurality of production rules are partitioned into a plurality of clusters for processing to effect cluster control, control expression elements, each describing an instruction... |
| 5450545 |
Generation of rules-based computer programs using data entry screens |
| Sep-12-1995 |
A method and system for generating a rules-based computer program employs an interactive workstation to display input data format screens. These screens are edited on the workstation to define the formats... |
| 5448740 |
Generation of a user interface code from a corresponding declarative language program |
| Sep-5-1995 |
A method for automatically generating a computer code of a procedural language program from a corresponding program in a declarative language. The declarative language program is analyzed to obtain information... |
| 5442792 |
Expert system compilation method |
| Aug-15-1995 |
A computer implemented compilation method or compiler and translator that automatically converts an interpretive rule-based expert system into compact, compiled, parallel Ada code. The present compiler... |
| 5423041 |
Coupling rules to an object-oriented program |
| Jun-6-1995 |
A method of coupling rules to a data domain of an object-oriented computer program. During run time, the coupling permits the computer to use rules to directly access user-defined objects for both the... |
| 5423023 |
Method and apparatus for providing a user configurable system which integrates and manages a plurality of different task and software tools |
| Jun-6-1995 |
A user configurable system which integrates and manages a plurality of different tasks and software tools. It is adapted primarily for use in design and production automation systems. The system has a... |
| 5418963 |
Protocol encoding/decoding device capable of easily inputting/referring to a desired data value |
| May-23-1995 |
In a protocol encoding/decoding device for use in syntax translation between an abstract syntax which is a set of data types described by an Abstract Syntax Notation One (ASN.1) and a transfer syntax,... |
| 5381550 |
System and method for compiling a source code supporting data parallel variables |
| Jan-10-1995 |
A compiler for compiling a computer program which is adapted for use with a data parallel computer. The compiler supports variables which involve parallelism. Variables which involve parallelism are parallel... |
| 5355496 |
Method and system for process expression and resolution including a generally and inherently concurrent computer language |
| Oct-11-1994 |
A method and system for process expression and resolution is described. A first language structure comprising a possibility expression having at least one definition which is inherently and generally concurrent... |
| 5295222 |
Computer-aided software engineering facility |
| Mar-15-1994 |
A computer-aided software engineering facility and method for creating computer source code and executable computer programs that are distributable across multiple hardware environments or platforms. An... |
| 5272623 |
Software programming method for forming Government contracting documents |
| Dec-21-1993 |
An improved method for executing a computer system novel software (SW) pram along with an enhanced series of five different data base logic tables that produce one or more tailored contracting documents... |
| 5086504 |
Method for performing computer system functions defined by a hierarchial programming language having default nodes |
| Feb-4-1992 |
A method of extending a hierarchial programming language that retains compatibility with programs written for the original language. This method also allows a language to be defined that permits common... |
| 5058052 |
Method for checking the syntax of an instruction list program to determine if the program is expressible as a relay ladder diagram by a programmable logic controller |
| Oct-15-1991 |
A method is provided by which a programmable logic controller checks each statement of an instruction list (IL) program to determine if any such statement or the order of statements violates one of a set... |
| 4686623 |
Parser-based attribute analysis |
| Aug-11-1987 |
A table-driven attribute parser for checking the consistency and completeness of attribute assignments in a source program is generated by expressing the syntax rules, semantic restrictions and default... |
