REGISTER now for FREE 
|
FREE patent keyword monitoring and additional FREE benefits. REGISTER now for FREE
|
|
|
Data Processing: Software Development, Installation, And Management > Software Program Development Tool (e.g., Integrated Case Tool Or Stand-alone Development Tool) > Translation Of Code > Compiling Code > Analysis Of Code Form Analysis Of Code FormAnalysis Of Code Form patent applications listed are from June 2005 to current and include Date, Patent Application Number, Patent Title, Patent Abstract summary and are linked to the corresponding patent application page.10/25/07 - 20070250821 - Machine declarative language for formatted data processing A machine declarative language for formatted data processing is provided. The machine declarative language may be used to generate constraints which can be projected onto a string according to one or more anchor points. The constraints can correspond to evaluation criteria. At least a portion of a string can be ... 10/04/07 - 20070234321 - Method for selecting plug-in code modules in a computing device A plug-in for execution by an application on a computing device is selected by arranging for a server to iterate through available plug-ins, asking each plug-in in succession if it can better match the criteria required by the application than the previous plug-in. The plug-in having the closest match to ... 09/27/07 - 20070226711 - Method for preventing malicious software from execution within a computer system A method for preventing malicious software from execution within a computer system is disclosed. Before any actual execution of an application program on a computer system, the application program needs to be cross-compiled to yield a set of cross-compiled code of the application program. The set of cross-compiled code of ... 07/19/07 - 20070169035 - Method and system for configuring the language of a computer program A method and a system for configuring the language of a computer program. The method steps include: selection of a text memory wherein alphanumeric message character strings are assigned to alphanumeric identification expressions; detection of identification expressions in the text memory belonging to wildcard character strings that are contained in ... 07/05/07 - 20070157183 - Computer program code comparison using lexemes A method, apparatus and computer program product for comparing two computer program codes is disclosed. For each code, a stream of lexemes is generated for the program text of each code. The streams are concatenated in the same order as the program text. The two concatenated streams of lexemes are ... 04/19/07 - 20070089103 - Automatic software production system An automated software production system is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness. In addition, a translator is provided to automatically generate a complete, robust software application based on the validated formal specification, including user-interface code and error handling ... 04/05/07 - 20070079299 - Method, apparatus and program storage device for representing eclipse modeling framework (emf) ecore models in textual form A method, apparatus and program storage device for representing software models in textual form. A representation of a computer program selected from a group comprising a model and source code representing a model is provided. A counterpart to the selected representation of the computer program is produced. ... 03/29/07 - 20070074188 - Systems and methods for securing web application code Methods, software tools and systems for analyzing software applications, e.g., Web applications, are described. A software application to be analyzed is transformed into an abstract representation which preserves its information flow properties. The abstract interpretation is evaluated to identify vulnerabilities using, for example, type qualifiers to associate security levels with ... 01/04/07 - 20070006189 - Apparatus, system, and method of detecting modification in a self modifying code Embodiments of the invention provide a method of translating a block of source instructions to generate a block of target instructions; and, prior to executing the block of target instructions, determining whether one or more source instructions of the block of source instructions have been modified relative to the time ... 12/14/06 - 20060282830 - Analysis of the impact of application programs on resources stored in data stores System and method for analyzing the impact of interactions of application programs with resources stored in a data store. A method of the invention receiving a selection of the application programs from a user. The interactions of the resources by the selected application programs are identified. The method also determines ... 11/23/06 - 20060265700 - Method and apparatus for pattern-based system design analysis A method for analyzing a target system that includes obtaining a plurality of characteristics from the target system using a characteristics extractor, wherein the plurality of characteristics is associated with a characteristics model, storing each of the plurality of characteristics in a characteristics store, and analyzing the target system by ... 11/23/06 - 20060265699 - Method and apparatus for pattern-based system design analysis using a meta model A method for analyzing a target system that includes obtaining a characteristics model, loading the characteristics model into a meta model, obtaining a plurality of characteristics from the target system using a characteristics extractor, wherein each of the plurality of characteristics is associated with the characteristics model, storing each of ... 11/23/06 - 20060265698 - Method and apparatus for tracking changes in a system A method for analyzing a target system that includes obtaining a plurality of characteristics from the target system using a characteristics extractor, wherein the plurality of characteristics is associated with a characteristics model, storing each of the plurality of characteristics in a characteristics store using a tracking mechanism, and analyzing ... 11/23/06 - 20060265697 - Pattern query language A method for analyzing a target system, that includes obtaining a plurality of characteristics from the target system using a characteristics extractor, wherein the plurality of characteristics is defined in a characteristics model and each of the plurality of characteristics is associated with one of a plurality of artifacts defined ... 11/02/06 - 20060248519 - Methods and arrangements for unified program analysis A unified program analysis framework that facilitates the analysis of complex multi-language software systems, analysis reuse, and analysis comparison, by employing techniques such as program translation and automatic results mapping, is presented. The feasibility and effectiveness of such a framework are demonstrated using a sample application of the framework. The ... 10/05/06 - 20060225056 - Method and system for analyzing source code Methods and systems are provided for analyzing a source code. The method includes collecting function entry information during the execution of tests on the source codes. The function entry information is then converted into symbolic codes. The function calls are replaced by the elements of the symbolic codes in the ... 10/05/06 - 20060225055 - Method, system, and device for indexing and processing of expressions A method, system, and device for indexing expressions for use in a system for processing the expressions, and including indexing an expression using a semantic value; receiving a query; generating a list of prospective expressions from indexed expressions based on the query; and processing the prospective expressions. ... 08/31/06 - 20060195829 - Method and apparatus for executing stored code objects in a databse A system, method and database development tool are disclosed for automatically generating parameters for use in executing a stored code object in a data base, by parsing source code derived nom existing data base code which represents the stored code object, wherein the parameters may represent complex data types. ... 08/03/06 - 20060174235 - Native compile method, native compile preprocessing method, computer program, and server A method and a system are provided for executing the download processing of intermediate code concurrently with native compilation processing to reduce the execution wait time. A server (20) generates download data 42a to which external reference information is added as a header, wherein the external reference information is composed ... 07/13/06 - 20060156293 - Quantity offsetting service Embodiments include a system for providing a set of services that retrieve requested data and calculate a requested value. The data retrieval service may traverse a set of related data structures such as data in a document or in a database to accumulate and return requested data. The data calculation ... 07/06/06 - 20060150166 - Method of producing a document based on a scheme that generically describes the format of a bit stream The invention proposes a method of issuing a bit stream organized in fields according to a certain bit stream format. Each field of the bit stream has a value and semantics. According to the invention the field semantics is issued with the value of the field when the bit stream ... 06/22/06 - 20060136886 - Process and implementation for interrupting locked threads A thread monitor identifies and interrupts locked threads. A byte code insertion tool inserts timers around classes that are bound to threads. Timers may also be inserted around particular portions of code. When a portion of code, such as a thread, a loop, or a condition block, for example, to ... 06/15/06 - 20060130027 - Data processing system and method A data processing method comprises receiving a user input, the user input corresponding to at least a portion of a programming language statement, displaying the portion of the programming language statement, detecting the requirement for a string component in the programming language statement portion, identifying the type of string component ... 06/15/06 - 20060130026 - Method and system for automatically identifying and marking subsets of localizable resources Embodiments of the present invention relate to methods, systems and computer-readable media for identifying a safe set of resources that can be used for localization of a software product. This identification involves loading and running a base product having one or more calls to an operating system (or an API) ... 06/15/06 - 20060130025 - Aggregate handling of operator overloading System and method for aggregate handling of operator overloading. A program is created, including an aggregate comprising multiple data elements of one or more data types, and an operator applied to the aggregate. At least one of the data types is user-defined, and specifies a user-defined operator function for the ... 06/01/06 - 20060117306 - Storage controller software development support system and software development support method In the present invention, the scope and degree of the effect of hardware alterations on software is grasped, and development is performed while making coordination between software and hardware. The storage system comprises a plurality of hardware elements and a plurality of software elements, and these respective elements are connected ... 05/11/06 - 20060101437 - Data processing device and method A data processing device and method are provided. The data processing device includes a code storage unit storing an original code to be translated into a machine language code, a code analyzer analyzing the original code stored in the code storage unit, a register allocator allocating a predesignated register for ... 05/11/06 - 20060101436 - Hosting environment abstraction model for content Software programming models are provided for supporting host-environment agnostic content that can be hosted in different hosting environments (e.g., browser or window) without needing to rewrite the content. The models comprise a host-environment abstraction wrapper that provides a transparent layer of abstraction between content and host-environment specific instructions. The host-environment ... 05/11/06 - 20060101435 - Detection of code patterns A code pattern detector including at least one pattern definition expressed in a pattern language, and a code analyzer operative to employ the pattern definition to analyze a code base, the code analyzer including a representation builder operative to construct a representation of the code base, a pattern detector operative ... 05/04/06 - 20060095899 - Table for encoding and decoding codes It comprises a base element (5) with a series of characters arranged in a plurality of rows (2) and columns (3). The position of a row of characters (4″) and of a column of characters (4′) is variable with respect to the other rows (2) and columns (3) of the ... 03/23/06 - 20060064681 - Method and system for verifying makefile accuracy A method and system are described for verifying makefile accuracy. According to an exemplary embodiment, a method is described for verifying the accuracy of a make file associated with building a target object. The method includes identifying dependencies for building the target object based on information included in the makefile. ... 02/23/06 - 20060041873 - Computer system and method for verifying functional equivalence A computer system and method are provided for the verification of functional equivalence between at least two source codes residing on at least one computer. A comparison is carried out between a source code and a modified version of the source code. The comparison is performed to determine the functional ... 12/08/05 - 20050273775 - Apparatus, system, and method for identifying semantic errors in assembly source code An apparatus, system, and method are provided for identifying semantic errors in assembly source code. The apparatus includes a symbol module, an identification module, a validation module, and a notification module. The symbol module searches assembly source code for a symbol definition. The identification module recognizes an attribute assigned to ... 10/27/05 - 20050240910 - Apparatus, methods and articles of manufacture for intercepting, examining and controlling code, data, files and their transfer Apparatus, methods and articles of manufacture are disclosed for analyzing code. A valuation component, which provides a value for analyzed code is comprised of a tokenization component, hashing component and numerical valuation component. As code is transferred through the components, a numerical value for the code is generated. The valuation ... 09/29/05 - 20050216898 - System for software source code comparison A system for analyzing similarities between a first and second corpus or between a set of concepts and a corpus uses natural language processing and machine intelligence methods to replace terms or phrases in the corpus with concepts, determine the frequency of each concept in the corpus, and convert the ... 08/18/05 - 20050183073 - Generative programming system and method employing focused grammars A system and method may employ, focused grammars to facilitate automated generation of computer programs. Such implementation of focused grammars enables a new form of symbolic regression referred to as generative programming or automated programming. The search through the space of possible programs may be guided by a streak search ... 07/21/05 - 20050160410 - Object-oriented optimization code generator and a method therefor A code generation system is provided which optimizes a code generation for a control system applicable to an embedded control system without the need to increase its memory capacity. A total control unit 110 causes to read a model diagram and an operation diagram which depict a software specification stored ... ### FreshPatents.com Support |