Match Document Document Title
9038037 Automatically solving simultaneous type equations for type difference transformations that redesign code  
A method and a system for first, expressing relationships between design contexts as a set of simultaneous parameterized type equations and then, automatically solving those type equations to...
9038033 Techniques and mechanisms for web application minification  
Techniques for minifying a client-side web application are described. In one embodiment, a computer-implemented method includes performing a static analysis of a set of files written in a dynamic...
9038036 Generation of source code and executable code from formal descriptions  
A method of generating an executable that operates as a compiler includes: receiving a unified input description containing syntax rules for both regular and context-free expressions and...
9021450 Scalable and precise string analysis using index-sensitive static string abstractions  
A disclosed method includes accessing one or more seeding specifications and a program including computer-readable code and applying the one or more seeding specifications to the program to...
9015680 Differential analysis of translation of software for the detection of flaws  
A method and apparatus are provided for finding errors in software by compiling a body of source code at least twice to generate a first object code file and a second object code file. The first...
9013574 Machine vision system program editing environment including synchronized user interface features  
A machine vision system program editing environment including synchronized selection and/or identification of related features in a plurality of different user interface windows is provided. In...
9003358 Method of taking a computer architecture respresentation and generating manufacturing methods capable of manufacturing a computer systems contained in a specification  
Techniques and a system for creating a vendor independent computer language and compiling the language into an architecture specification language allowing for taking a source data stream (file,...
8997071 Optimized division of work among processors in a heterogeneous processing system  
A compiler implemented by a computer performs optimized division of work across heterogeneous processors. The compiler divides source code into code sections and characterizes each of the code...
8997069 API descriptions  
API description techniques are described for consumption by dynamically-typed languages. In one or more implementations, machine-readable data is parsed to locate descriptions of one or more...
8997070 Extension mechanism for scripting language compiler  
A method for forming an extension to a scripting language compiler is disclosed. A compiler of a machine receives a source code that has a new keyword to a scripting language of the compiler. An...
8984492 Incremental compilation of a script code in a distributed environment  
Disclosed here are methods, systems, paradigms and structures for incrementally compiling scripts at runtime to generate executable code. In a first phase, an executable block for a basic block of...
8984498 Variance analysis for translating CUDA code for execution by a general purpose processor  
One embodiment of the present invention sets forth a technique for translating application programs written using a parallel programming model for execution on multi-core graphics processing unit...
8978028 Transactional multi-package installation  
Described is installing multiple software packages to a computing device in a single transaction, whereby the multiple package installation commits if successful, or the device is rolled back to a...
8978021 System and method for pervasive software platform-based model driven architecture transaction aware application generator  
In developing applications for a plurality of node types, a meta-data definition of the application can be captured into an application definition module. The meta-data definition can describe the...
8972958 Multistage development workflow for generating a custom instruction set reconfigurable processor  
Systems and systems which implement workflows for providing reconfigurable processor core algorithms operable with associated capabilities using description files, thereby facilitating the...
8972959 Method of converting program code of program running in multi-thread to program code causing less lock collisions, computer program and computer system for the same  
A method of converting a program code of a program running in multi-thread to a program code which causes fewer lock collisions. The method includes reading the program code into a memory and...
8966441 Dynamic scripts to extend static applications  
One or more processors receive (a) first software written in a first computer language, (b) user input identifying a first name of a first method in a plurality of methods defined in the first...
8966437 Method and apparatus of specifying the concrete syntax of graphical modeling languages  
A computer based method, system and apparatus specify graphical concrete syntax in a modeling language. The invention system declaratively describes the graphical concrete syntax of a diagram of a...
8957960 Machine vision system program editing environment including real time context generation features  
A machine vision system program editing environment includes near real time context generation. Rather than requiring execution of all preceding instructions of a part program in order to generate...
8959493 Using range validation in assembly language programming  
Embodiments of the present invention provide a method, system and computer program product for USING range validation during assembly of an assembly language program. In an embodiment of the...
8954939 Extending a development environment  
Concepts and technologies are described herein for extending the behavior of a software development tool. An extension can be accessed and consumed by a software development tool to configure the...
8954940 Integrating preprocessor behavior into parsing  
A method, computer program product, and system is described. Software code text associated with a software code editor and including one or more preprocessor statements is identified. The software...
8949803 Limiting execution of software programs  
Techniques are disclosed for limiting execution of software programs. For example, a method comprises the following steps. A first set of program code is extracted from a second set of program...
8949804 Limiting execution of software programs  
Techniques are disclosed for limiting execution of software programs. For example, a method comprises the following steps. A first set of program code is extracted from a second set of program...
8935654 Analysis system for test artifact generation  
A requirements testing system facilitates the review and analysis of requirement statements for software applications. The requirements testing system generates test artifacts from the requirement...
8935680 Differential static program analysis  
Systems for program analysis include a high-level scanning tool configured to perform a high-level analysis on a program using a processor to generate one or more high-level findings; one or more...
8935676 Automated test failure troubleshooter  
A test controller performs a test of a test-target component of a test-target system so as to generate at least one fail event indicating a possible fault in the test-target component. A...
8930881 Dual programming interface  
A computer-implemented method for providing an informal interface and a formal interface to a computing application using a computer is provided. The informal interface includes first routines,...
8930898 Declarative commands using workflows  
Declaratively implementing a command. A method includes declaring an input gesture in a declarative programming language. Declaring an input gesture includes declaring one or more user performed...
8930919 Modernization of legacy software systems based on modeled dependencies  
Methods, systems, and computer-readable media are described herein for migrating a non-object-oriented application to an object-oriented platform. The non-object-oriented application may be...
8924924 Representing the structure of a data format using a class-based representation  
A method of operating a computing device to explore content of a data storage, such as a binary file, using a format definition. The format definition comprises a class, with data members of the...
8910130 Method and system for executing a 3GL program and/or an assembler program within a 4GL runtime environment  
Certain example embodiments transform a third-generation language (3GL) and/or an Assembler program so that it can be executed within a fourth-generation language (4GL) runtime environment....
8902307 Machine vision system editing environment for a part program in which a continuous stream of image acquisition operations are performed during a run mode  
A machine vision system editing environment is provided for a part program in which a continuous stream of image acquisition operations are performed during a run mode. In one embodiment, a new...
8904354 Rule based syntax software test case generator  
A system and computer implemented method includes receiving an input file containing a mark-up language based description of a syntax diagram having multiple elements and variations for multiple...
8898651 Automatic generation of instruction-set documentation  
A method and system for the automatic generation of user guides. Specifically, the method of the present invention includes accessing an abstract processor model of a processor, wherein said...
8893082 Type inference of generic type parameters in overloaded functions using type intervals and inference directions  
The disclosed embodiments provide a system that facilitates the development and execution of a software program. During operation, the system obtains a type interval for a generic type parameter...
8893095 Methods for generating code for an architecture encoding an extended register specification  
There are provided methods and computer program products for generating code for an architecture encoding an extended register specification. A method for generating code for a fixed-width...
8881121 Processing an object-oriented query to retrieve data from a data source  
An object-oriented query to retrieve data from a data source stored on a data storage device connected to a computer is processed. One implementation involves receiving a Java Query Language (JQL)...
8875110 Code inspection executing system for performing a code inspection of ABAP source codes  
The present invention relates to a code inspection executing system for performing a code inspection of ABAP source codes, and particularly, to a code inspection executing system for performing a...
8869101 Automated implementation of business service communication and/or linkage of executable processes through automatic generation and population of variables  
Certain example embodiments described relate to the generation of variables for data flow chains that are associated with control flow models. Certain example embodiments relate to the creation of...
8869106 Language service provider management using application context  
A language service provider framework that generates an application context of a dynamic language program being authored. The application context includes a description of the dynamic language...
8863100 Application services source refactoring  
An embodiment of the disclosure can compile source of an interactive application with debug options enabled. Execution activity of the interactive application can be enabled. A code path of a...
8863102 Method and system for assembling information processing applications based on declarative semantic specifications  
A method for assembling an information processing application, includes: inputting a plurality of component descriptions, wherein each of the component descriptions includes a graph pattern that...
8861397 Apparatus and method for analyzing a network  
An apparatus and method for analyzing a network flow. The apparatus includes a parser for extracting flow identification information from the network flow, a flow metering unit, and a programmable...
8863101 Compiler generator  
A system including an input compiler that receives a unified input description containing syntax rules for both regular and context-free expressions and interspersed code, the first compiler...
8850414 Direct access of language metadata  
Method and system for direct access of language metadata are disclosed. In an implementation, the method includes receiving commands from a user to modify language metadata of a programming...
8850410 System using a unique marker with each software code-block  
A system and method for improving software maintainability, performance, and/or security by associating a unique marker to each software code-block; the system comprising of a plurality of...
8843906 Inferring data types from compiler call site  
Disclosed herein are methods and compilers for compiling code. The methods and compilers disclosed can compile a callable compilable unit of code free of declarations and assertions that identify...
8843907 Compiler with error handling  
Disclosed is a programming language system that can produce executable program code from source code, even if the source code contains errors. In embodiments, the programming language system...
8838626 Event-level parallel methods and apparatus for XML parsing  
Embodiments of techniques and systems for parallel XML parsing are described. An event-level XML parser may include a lightweight events partitioning stage, parallel events parsing stages, and a...