Matches 1 - 50 out of 122 1 2 3 >


Match Document Document Title
US20110173594 Selective Loading of Code Elements for Code Analysis  
Systems and methods are described herein for selectively loading code elements included in a plurality of software entities comprising a target software entity and one or more reference software...
US20110191756 Code string search apparatus, search method, and program  
A code ID range table holding code ID ranges for each code and a next code ID table holding next code IDs, which are the code ID located next to each code ID, are created. Code ID ranges of codes...
US20120167040 IDENTIFYING SOURCE CODE ELEMENTS FOR REFACTORING  
A solution for identifying build errors associated with a source code file for determining source code elements for refactoring. An embodiment of the invention utilizes a source code management...
US20110035726 IDENTIFYING SOURCE CODE ELEMENTS FOR REFACTORING  
A solution for identifying build errors associated with a source code file for determining source code elements for refactoring. An embodiment of the invention utilizes a source code management...
US20140068576 EXTENSIBLE EXECUTABLE MODELING  
Methods, systems, and computer program products for generating executable computer code in an extensible format are provided. A computer-implemented method may include receiving computer source...
US20100325607 Generating Code Meeting Approved Patterns  
A compiler deployed as a component of an integrated development environment (“IDE”) is adapted to transform source code into target code that is correct by construction by complying with approved...
US20140040871 MOBILE BUILD, QUALITY AND DEPLOYMENT MANAGER  
The present technology relates to computer implemented methods and systems for managing mobile applications by executing various routines on one or more computers in connection with the mobile...
US20120096446 PARSING OF DECLARATIONS IN ALL BRANCHES OF PREPROCESSOR CONDITIONALS  
Declarations from an input source code or tokenized source code are serialized into a stream of tokens produced by following each branch of a preprocessor conditional directive statement that...
US20130152060 DUAL MODE EVALUATION FOR PROGRAMS CONTAINING RECURSIVE COMPUTATION  
A dual evaluation mode method for use with computer software that includes the acts of determining, for certain functions and expressions within input computer code, whether each function and...
US20100083237 Reducing trace overheads by modifying trace operations  
A method of compiling a computer program to improve trace efficiency is disclosed. The computer program comprises a plurality of trace operations for triggering output of trace data generated by...
US20140282443 CONTEXTUAL TYPING  
Type inference is used to provide the benefits of static type checking without explicitly declaring type in the source code. Type inference that proceeds in a bottom up direction is augmented by...
US20140173574 COMPILATION DEPENDENCY RESOLUTION FROM A DIVERSE GROUP OF CANDIDATE RESOURCES  
A determination is made that at least one missing dependency reference of a portion of a software code build prevents full dependency resolution of the software code build. Search path processing...
US20100306749 Software Analysis Framework  
Presently described is a decompilation method of operation and system for parsing executable code, identifying and recursively modeling data flows, identifying and recursively modeling control...
US20110276948 PARTITION-BASED STATIC ANALYSIS OF COMPUTER SOFTWARE APPLICATIONS  
Partition-based static analysis of computer software applications may include inspecting each of a plurality of modules of a computer software application to identify at least one dependency of...
US20150100947 BUILD-TIME RESOLVING AND TYPE CHECKING REFERENCES  
Build-time resolution and type-enforcing of corresponding references in different code that references the same value. In response to detecting a directive within the code itself that a first...
US20140019947 SYSTEM AND METHOD FOR SUPPORTING COMPATIBILITY CHECKING FOR LAMBDA EXPRESSION  
A system and method can support compatibility checking in a programming language environment. The programming language environment can check whether a target type associated with an expression in...
US20100169870 System and Method for Reducing Transactional Abort Rates Using Compiler Optimization Techniques  
In transactional memory systems, transactional aborts due to conflicts between concurrent threads may cause system performance degradation. A compiler may attempt to minimize runtime abort rates...
US20080127138 ANALYZING ERP CUSTOM OBJECTS BY TRANSPORT  
The invention is directed to analyzing enterprise resource planning (ERP) custom objects by transport. A method in accordance with an embodiment of the present invention includes: providing a...
US20140282442 STATICALLY EXTENSIBLE TYPES  
Statically extensible types allow a static type system to model the behavior of dynamic object model extension in dynamic runtime systems. Static types that model dynamically extended types can be...
US20060101435 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...
US20120192162 Optimizing Handlers for Application-Specific Operations for Validating C++ Programs Using Symbolic Execution  
Particular embodiments discover a relationship between a plurality of methods of a C++ object; define one or more rules to represent the relationship; verify the rules by symbolically executing...
US20100138815 IMPLEMENTING ASPECTS WITH CALLBACKS IN VIRTUAL MACHINES  
Implementing aspects via callback in a virtual machine, where an aspect weaver weaves the aspect with a module to provide primary and crosscutting functionality in the runtime execution of the...
US20060041873 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...
US20100070955 ALIAS ANALYSIS FOR CONCURRENT SOFTWARE PROGRAMS  
A computer-implemented pointer alias-analysis for concurrent software programs utilizing a divide-and-conquer approach, transaction level summarization and parallelization.
US20110154306 Methods And Apparatuses For Endian Conversion  
An embodiment of the invention includes code, such as a compiler, that enables byte order dependent code to execute on opposite byte order dependent architectures or systems. The compiler analyzes...
US20050044542 Method and device for optimized code checker  
The verification process is applied to a programme (4) when it is being integrated into an electronic device (2), the programme being organized on the basis of types linked by parentage...
US20140053142 Imperative Attribution for Elements in Managed Runtimes  
Aspects of the subject matter described herein relate to imperative attribution. In aspects, metadata of a managed runtime environment may be set by imperative statements included in code of a...
US20140282441 STATIC TYPE CHECKING ACROSS MODULE UNIVERSES  
Static type checking can be performed on types and values defined in modules in a system that dynamically composes programs from modules. The types and values do not share a global namespace. Each...
US20080120606 Universal XML translator  
An Extensible Markup Language (XML) translator for bridging electronic data and document transfer between differing legal-system XML standards.
US20150121351 GENERATING CONFIGURATION DATA BASED ON APPLICATION DEFINITIONS  
Configuring a computer-based application on one or more computer systems includes compiling a configuration source to generate a compiled configuration file. Compiling the configuration source may...
US20080201697 EXTENSIBLE MARKUP LANGUAGE PARSING USING MULTIPLE XML PARSERS  
Disclosed are a method, information processing system, and a computer readable medium for parsing a hierarchical markup document. The method includes initializing a first parser for parsing a...
US20110202906 COMPILING METHOD AND COMPILING PROGRAM  
A compiling method for translating an input program to an object program enables a user to easily ascertain how the input program and the object program are affected by designation of a plurality...
US20070234321 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...
US20080271000 Predicting Conflicts in a Pervasive System  
A method of predicting conflicts in a system is described which uses a process calculus to describe programs and actions within the system. The source code for programs is transformed into an...
US20110179403 SYSTEM AND METHOD FOR ANNOTATION-DRIVEN FUNCTION INLINING  
Disclosed herein are systems, methods, and computer-readable storage media for obfuscating using inlined functions. A system configured to practice the method receives a program listing including...
US20100223604 MODULE SYSTEM FOR POLYMORPHIC PI-CALCULUS  
A method and apparatus is disclosed herein for using a module system for polymorphic π-calculus. In one embodiment, the method comprises receiving a formal specification of a software program; and...
US20100162218 RELAXED AND EXTENDED DELEGATES  
Systems and methods that enhance expressibility in a programming language (e.g., Visual Basic) via relaxation of artificial restrictions and extension of delegates associated therewith, without...
US20070157183 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...
US20100325618 FAULT TOLERANT COMPILATION WITH AUTOMATIC ERROR CORRECTION  
A compilation method is provided for automated user error correction. The method includes using a compiler driver run by a processor to receive a source file for compilation. With a compiler...
US20050010895 Software Specification Processing System  
This invention is directed towards software development and testing process. The specifications supplied for the development is used and is put along with the program code. Logical functions and...
US20060136886 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...
US20070294704 BUILD-TIME AND RUN-TIME MAPPING OF THE COMMON INFORMATION MODEL TO THE JAVA MANAGEMENT EXTENSION MODEL  
A compiler converts managed object format code or common information model extensible markup language code to instances that can be implemented by management extension models such as Java...
US20090172648 BYTE CODE ANALYSIS LIBRARY  
A method to obtain offline source code is described. The system implementing the method extracts metadata from offline source code an constructs a logical model of the extracted metadata.
US20100005456 COMPILING METHOD, COMPILING APPARATUS AND COMPUTER SYSTEM FOR A LOOP IN A PROGRAM  
A method for compiling a program including a loop is provided. In the program, the loop includes K instructions (K>2) and repeats for M times (M>2). The compiling method comprises following steps:...
US20070294678 Partial evaluation of XML queries for program analysis  
A method and apparatus is provided for partial evaluation of XML queries for program analysis. An executable version of a first body of instructions that conforms to an XML computer language, such...
US20060265697 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...
US20080098373 PROCESSING AN XML FEED WITH EXTENSIBLE OR NON-TYPED ELEMENTS  
A computerized system that implements a type system can process one or more XML documents that comprise unknown schema elements, which may not correlate within one or more types in the type...
US20080010632 PROCESSING LARGE SIZED RELATIONSHIP-SPECIFYING MARKUP LANGUAGE DOCUMENTS  
Embodiments of the present invention address deficiencies of the art in respect to processing markup language documents and provide a method, system and computer program product for processing...
US20150261511 Handling Pointers in Program Code in a System that Supports Multiple Address Spaces  
Some embodiments include a processing subsystem that compiles program code to generate compiled program code. In these embodiments, while compiling the program code, the processing subsystem first...
US20140047419 Handling Pointers in Program Code in a System that Supports Multiple Address Spaces  
Some embodiments include a processing subsystem that compiles program code to generate compiled program code. In these embodiments, while compiling the program code, the processing subsystem first...

Matches 1 - 50 out of 122 1 2 3 >