Patent class list (only not empty are listed)

Deeper subclasses:

Class / Patent application number

Description

Number of patent applications / Date published

717137000

Source-to-source programming language translation

68

20120204161

Automated Code Map Generation for an Application Programming Interface of a Programming Language - Generating a code map for an application program interface (API) of a programming language may include analyzing at least one feature of the API to identify a plurality of atomic code snippets associated with the at least one feature and assigning an identifier to at least one of the plurality of atomic code snippets. The identifier may also be associated with a pre-stored atomic code snippet, in a second language. A code map may be generated to associate the at least one of the plurality of atomic code snippets to the prestored atomic code snippet.

08-09-2012

20080222616

Software translation - A computer implemented method for automatically translating a first source code associated with a first programming language to a second source code associated with a second programming language wherein the first and second source codes are associated with the same functionality, the method comprising the steps of: parsing the first source code to form a program structure representation comprising a plurality of program structure elements associated with the first programming language, analysing the program structure elements, wherein the analysis includes the step of searching for at least one program structure element that has no direct associated representation that produces the same result in the second programming language, and transforming the program structure representation into the second source code based on said analysis.

09-11-2008

20090193398

SYSTEM AND METHOD FOR INTEGRATED ARTIFACT MANAGEMENT - A system and associated method for availing literate programming in a software development environment. An integrated artifact manager processes a retrieval request and a storage request pursuant to a user group associated with respective interface. A developer user uses an integrated development environment interface. A commentator user uses a wiki interface. An integrated artifact has a source code fragment and a design code fragment that is associated with the source code fragment by tag describes the source code fragment. The source code fragment is stored in a source code management system. The design comment fragment is stored in a wiki repository. The developer user modifies both source code fragments and design comment fragments, and the commentator user modifies only design comment fragments.

07-30-2009

20140351798

APPARATUS AND METHOD FOR MANAGING SOFTWARE TRANSLATION - An apparatus for use in developing a software application includes a translation manager for generating and maintaining a table comprising tokens, native language messages, and translated messages, a technical coordinator for verifying that the native language messages comply with at least one of policies, grammar rules, spelling rules, and duplication rules, and a translator for translating the native language messages into the translated messages. A method for managing translation in the development of a software application is also described.

11-27-2014

20090271771

SYSTEM AND METHODS FOR DISTRIBUTED EXECUTION OF COMPUTER EXECUTABLE PROGRAMS UTILIZING ASYMMETRIC TRANSLATION - Dynamic program translation is utilized to convert an executable program in a first language executable representation to a second language executable representation that is either optimal or essentially required for execution within a defined execution environment on a client computer system. A dynamic translator, typically executed on a first computer system, is invoked in response to a request from a second computer system to provide an identified executable program. The dynamic translator performs an execution path analysis and optimized translation from a first representation, such as a Java class file, to generate executable code in the second representation, such as JavaScript. Optimizations include cross-language feature modifications, selective replacement of nominally un-translatable code portions, and insertion of call-back service requests to dynamically emulate services required in the execution of the program.

10-29-2009

20120117548

SYSTEM AND METHOD FOR FREE FORM COMMENTS FOR A PROGRAMMABLE LOGIC CONTROLLER - A method of annotating a specification of a programmable logic controller is provided that includes displaying a graphical element in a first graphical language for programming the programmable logic controller, and displaying a comment associated with the graphical element. A method for converting a specification for a programmable logic controller in a first language to a second language is provided that includes converting a first instruction in the first language to a second instruction in the second language, and converting a first comment associated with the first instruction to a second comment associated with the second instruction. A computer-readable recording medium is provided.

C-TO-JAVA PROGRAMMING LANGUAGE TRANSLATOR - A C-to-Java programming language translator that requires no human intervention, translates literally to preserve both procedure and function in the resulting code, and is independent of the purpose of the source code. The program reads in text from a C file, tokenizes each line for C keywords and punctuation, translates most keywords and expressions, and outputs the result to a Java file. The program is modular so that it is capable of running on multiple operating systems and hardware. The invention implements several methods of translation, including whole-line translation, search/replace translation, context-sensitive translation, idiomatic translation, and second-pass translation. The second-pass translation handles those instances when correct translation of a particular line depends on information in another line. The program of the invention translates a struct into a Java inner class, complete with multiple constructors and private variables, and it translates pointers into their reference equivalents.

11-24-2011

20090183144

METHOD AND SYSTEM FOR PROVIDING A COMPONENTIZED RESOURCE ADAPTER ARCHITECTURE - A computer program product comprises a computer useable medium. The computer useable medium has a computer readable program such that when the computer readable medium is executed on a computer, the computer is caused to configure an adapter such that the adapter is specific to a data source, provides a communication link to the data source, converts a format of the data source to a format native to a middleware system, and converts a format of metadata of the data source to a standard metadata format. Further, the computer is caused to configure an application interface component to convert an invocation of a function in the middleware system to an invocation of a function provided by an Enterprise Information System through the adapter, convert the data format of the middleware system to a format native to the Enterprise Information System accessed through the adapter, and maintain metadata describing a message format and a function provided by the adapter.

07-16-2009

20090222798

Information Processing Apparatus - A mobile device includes a memory for storing therein a subroutine management table to manage kinds of existing codes out of native code, first code and second code for a plurality of subroutines contained in content, a virtual machine, a precompile circuit for producing second code from first code and a subroutine management circuit for changing over processing in accordance with the kind of existing code for subroutine called up during execution of content. The subroutine management circuit judges kind of existing code with reference to the subroutine management table when the processing is changed over.

09-03-2009

20110145801

USING APPROPRIATE LEVEL OF CODE TO BE EXECUTED IN RUNTIME ENVIRONMENT USING METADATA DESCRIBING VERSIONS OF RESOURCES BEING USED BY CODE - A method, system and computer program product for using an appropriate level of code to be executed in a runtime environment. Code in a non-Java format is translated into a Java source file. During the translation process, metadata is generated from a configuration file where the metadata includes version information of the resources (e.g., JSTL) being used by the code written in the non-Java format. A determination is made as to whether to recompile the non-Java code based on software components, referred herein as “listener components,” determining whether the versions of the resources being used by the non-Java code performs acceptably well in the runtime environment. If a listener component determines that a version of a resource being used is not acceptable, then the non-Java code is recompiled with a newer version of the resource. In this manner, an appropriate level of code is executed by the runtime environment.

06-16-2011

20090070749

Method for translating a graphical workflow in a textual description - In a method for translating a graphical workflow in a textual description, a structure of the graphical workflow is analyzed by detecting graphical blocks of the graphical workflow. Further, each graphical block of the graphical workflow is translated in a textual description.

03-12-2009

20100146492

TRANSLATION OF PROGRAMMING CODE - Embodiments of the invention may provide methods and/or systems for converting a source application to a platform-independent application. Source programming language code of the source application may be translated to target programming language code of the platform-independent application. The source programming language code may comprise Connected Limited Device Configuration (CLDC) code, and the platform-independent programming language may be independent of one or more device platforms. Further, one or more source resources associated with the source application may be converted to one or more target resources.

06-10-2010

20100306747

Automatic Retrieval of Translated Messages for Interacting With Legacy Systems - A translation system and method is described that may automatically translate strings of a legacy application for use in creating an interfacing application that can interface with the legacy application. The translation system and method receive a plurality of input strings from a string list and use an initial language library to associate an identifier with the input strings. The identifier is used to determine the translated version of the input string from additional language libraries. The determined translated strings are associated with the input strings.

12-02-2010

20100318975

LANGUAGE-BASED MODEL FOR ISOLATING SHARED STATE - A method and/or computer program that incorporates isolation principles of separate address spaces and enforces the principles with a compiler and supporting runtime through a language-based model is disclosed. This approach significantly lowers the required overhead and retains the beneficial qualities of the scalable, isolated model. The model is implemented in a programming language where memory-based state is partitioned into a plurality of domains where the variables inside of a domain are isolated from external components. Agents are introduced inside of the domain and act on behalf of clients outside of the domain. The agents communicate with their clients via message-passing to enforce the isolation of the domain state. The domain-based isolation addresses the partitioning of memory-based state without the introduction of separate processes. Domains can also be used in conjunction with a distributed model either within a single computing device or between computing devices.

12-16-2010

20100146491

System for Preparing Software Documentation in Natural Languages - A software documentation preparing system which can prepare software documentation written in plural natural languages is provided. The software documentation preparing system uses input unit for inputting a source file including a source code statement written in a programming language and a comment assigned to the source code statement, in which source file, the comment describing one of functions in the source code is described in plural natural languages, each of the descriptions in the natural languages provided with a combined sign of a sign indicating the function and a sign indicating a type of natural language; interprets the input source file, identifies the combined sign, associates the sign with a source code statement, and stores a comment on memory; extracts only a comment provided with a sign corresponding to the type of the user-specified natural language to be output; and outputs software documentation in the natural language to be output for the source code statement based on the extracted comment.

06-10-2010

20090031291

Method and apparatus for a cross-platform translator from VB.net to java - A method and system for translating source code in one logically distinct object oriented language on one platform into another object oriented language on another platform. This includes the translation of the classes and statements in the original source. It also includes the creation of object oriented interfaces for all types and services used in the source code whose definitions are not provided. Once the source code classes are translated, a complete object oriented interface to the target platform is generated. Type inference analysis is performed on the input source code in order to infer types for undeclared services and to infer type hierarchies for undeclared types. Type inference analysis is utilized to generate object oriented interfaces for all types and services used in the source code whose definitions are not available. The method and system also have the capability of generating, on an as needed basis, specific bridge classes which support bridging the platform differences between the target and the source platform.

01-29-2009

20130081004

System for Translating Diverse Programming Languages - A computer language translator that translates all or any portion thereof of source code in an original computer language to source code in a target computer language, which may then be translated back to the original language while still maintaining concept, syntax, form of expression, and formatting of the original source code.

03-28-2013

20120204159

Methods and System for Managing Assets in Programming Code Translation - Managing assets during translation of source application to a target application may involve analyzing the source application to generate a database of characteristics of source assets. Thereafter, performance metrics for a target platform may be determined based on the characteristics of the source assets. Subsequently, the source assets may be processed based on the performance metrics to generate target assets.

08-09-2012

20100175055

METHOD AND SYSTEM TO IDENTIFY GUI OBJECTS FOR NON-MARKUP-LANGUAGE-PRESENTED APPLICATIONS - One embodiment of the present invention provides a system that facilitates identifying objects rendered on a graphic user interface (GUI) in a non-markup-language-presented software application. During operation, the system receives a non-markup-language-presented application at a computer. The system first selects a set of attributes that uniquely distinguish a target GUI object. The system then identifies a set of target GUI objects in the application, wherein a respective GUI object is not represented in a markup language in the received application. Next, the system represents the target GUI objects in the application with a markup-language-based structure, wherein each target GUI object is associated with a corresponding markup-language node in the structure.

07-08-2010

20080229290

Automatic Formatting of Computer Program Source Code - A method and system is provided for auto formatting changes to computer program source code stored in a code repository. The code comprises a plurality of separately identifiable sections each of which includes non-functional formatting information which differs between at least some of the sections. In response to a user input request a selected source code section is extracted and edited via a user interface. A set of formatting rules is determined automatically from at least the code section being edited. This set of rules is one of a plurality of possible sets corresponding to the separately identifiable sections. The edited code is then formatted according to the determined set of formatting rules and stored in the code repository.

09-18-2008

20120079463

AUTOMATIC SYNCHRONOUS-TO-ASYNCHRONOUS SOFTWARE APPLICATION CONVERTER - A computer-implemented method of generating output computer code, for an application executable via a server running application logic in communication with a client running a presentation layer for the application, from input computer code of a synchronous application in which logic and presentation layers run locally on a single computer. The output code runs asynchronously.

03-29-2012

20080244538

Multi-core processor virtualization based on dynamic binary translation - A processor virtualization abstracts the behavior of a processor instruction set architecture from an underlying micro-architecture implementation. It is capable of running any processor instruction set architecture compatible software on any micro-architecture implementation. A system wide dynamic binary translator translates source system programs to target programs and manages the execution of those target programs. It also provides the necessary and sufficient infrastructure requires to render multi-core processor virtualization.

10-02-2008

20110321018

PROGRAM, METHOD, AND SYSTEM FOR CODE CONVERSION - A program product, a method and a system for enhancing the readability of Java® source code obtained by decompiling Java® bytecode. Code which does not directly correspond to language of a second programming language and which is intended to execute an instruction related to a stack operation, is replaced with any combination of an expression for assignment to a temporary variable, a call for a dummy method which only returns part of an argument as-is, and an expression for reading the temporary variable. Code for calling a method which does not correspond to a second programming language and which leaves its value on the stack and has no return value is replaced by a new method. The new method, having an additional first argument and the original argument, executes the original method call and returns the additional first argument as-is.

12-29-2011

20120047494

APPLICATION PROGRAMMING INTERFACE (API) ROUTER IMPLEMENTATION AND METHOD - An application programming interface (API) implementation that can interface between an application and a programming library. The implementation includes a Function Router Wrapper that receives a formatted string from the application. The formatted string includes a function name element filled with a function name, an input element filled with function input parameters, and an unfilled output element. The Function Router Wrapper converts the formatted string and passes it to a Function Router, which parses the converted formatted string to access the function name and the function input parameters. The Function Router calls a library function based on the accessed information. When the called library function is completed, the Function Router collects generated function outputs and embeds them into the formatted string output element. The Function Router passes the formatted string back up to the Function Router Wrapper, which converts the formatted string and passes it back up to the application.

02-23-2012

20090089762

FUNCTION CALL TRANSLATION - Methods and apparatus for using description information about a function to translate a call to the function into a call to a corresponding function in a second language. The methods include processing a definition of a function associated with a first language to create description information sufficient to enable translation of a call to the function into a call to a corresponding function in a second language without requiring processing of the definition of the function. In another aspect, the methods include providing a description file of items, each item including description information about a function associated with a first language, and using the file of description items to translate a first program file from the first language into a second language. In another aspect, the methods include providing a library file including functions defined by a first language; processing the library file to create a function library and a description file, the function library including one or more functions defined by a second language, each function in the function library being a translated version of a function in the library file; and using the description file to translate a program file from the first language into the second language, where each call in the program file to a function in the library file is translated into a call to a corresponding function in the second language.

04-02-2009

20140372992

DATA PROCESSING SYSTEM AND DATA SIMULATION METHOD IN THE SYSTEM - The present invention relates to a data processing system and to a method for implementing simulation in the system, and the invention comprises: a process of inputting an application code for implementing a simulation; a process of converting the input application code into assembly data format; a process of generating basic blocks for the assembly data format; and a process of implementing the simulation via the generated basic blocks. Consequently the simulation implementation time is shortened as the simulation is implemented from instruction units to basic block units.

12-18-2014

20110131556

METHOD, COMPUTER PROGRAM AND COMPUTER SYSTEM FOR CONVERTING SOURCE CODE WRITTEN IN DYNAMICALLY TYPED LANGUAGE INTO TARGET CODE WRITTEN IN STATICALLY TYPED LANGUAGE AND EXECUTING TARGET CODE - The present invention provides a method for converting source code written in a dynamically typed language into target code written in a statically typed language. The method includes the step of generating in a storage device the target code from the source code, the step of generating the target code including storing in a buffer a signature of a function/method used by a caller in the source code. In this step, generation of an interface class is delayed to a time point immediately before execution of a part of the target code corresponding to the function/method call by the caller, the interface class being needed to generate the caller and serving as an interface in the statically typed language. The method also includes the step of generating in the storage device a consolidated interface class for all signatures stored in the buffer, and loading the generated consolidated interface class from the storage device. In this step, all the signatures in the buffer are deleted upon generation of the consolidated interface class.

06-02-2011

20130174131

CODE CONVERTING METHOD, PROGRAM, AND SYSTEM - A system, method and computer program product to provide a technique for achieving high speed and stable dispatch of a code in a programming language based on erasure, the code being converted from a code written in a programming language based on reification.

07-04-2013

20120204160

Managing Non-Common Features for Program Code Translation - Embodiments of the invention may involve managing translation of a source code of a computer application in a first programming language to a target code in a second programming language, at a processing device. A pre-translation analysis of the source code may be performed to determine a part of the source code that is not supported in the second programming language. Thereafter, a report may be generated for indicating modifications to the determined part, of the source code. Subsequently, the determined part of the source code may be modified based on the report to generate an intermediate code.

08-09-2012

20130014091

LANGUAGE CONVERSION METHOD AND LANGUAGE CONVERSION PROGRAM - A language conversion method includes a first process in which a computer unit inputs algorithm description data describing an algorithm of hardware under a predetermined description constraint using a program description language, a second process in which the computer unit inputs hardware element specification data specifying parameters representing hardware elements included in the algorithm description data, and a third process in which the computer unit converts the algorithm description data into data of a hardware model based on a system level description language, wherein, in the third process, the computer unit generates a data dependency preservation description which preserves, in the hardware model, data dependency in the algorithm description with regard to a parameter specified in the hardware element specification data.

01-10-2013

20140189660

CONTROL FLOW ANALYSIS METHODS AND COMPUTING DEVICES FOR CONVERTING COBOL-SOURCED PROGRAMS TO OBJECT-ORIENTED PROGRAM STRUCTURES - The various embodiments of the invention relate generally to computer software, computer program architecture, software development, and computer programming languages, and more specifically, to techniques for analyzing control flow in COBOL-sourced programs to facilitate optimized conversions to object-oriented program structures. For example, a compiler can include a global optimizer configured to analyze execution flow for a range of blocks of source code in the memory to determine flow-affected code. Also, the compiler can include a native code generator configured to generate native code based on representations of the native code as functions of the source code. The native code is configured to execute on a virtual machine.

07-03-2014

20140325491

TRANSFORMATION OF COMPUTER PROGRAMS AND ELIMINATING ERRORS - A method and system for transforming a first computer program having program statements to a second computer program. A parsed first computer program is translated to the second computer program. The first computer program includes a first program statement that includes a first error. The translating includes: (i) identifying a second program statement in the parsed first computer program that includes a second error and has thrown a translation exception with respect to the second error, (ii) rolling back the translating to a predefined check point prior to the second program statement in the parsed first computer program such that the predefined check point is associated with a statement in the parsed first computer program that was successfully translated, and (iii) generating an executable equivalent translation for the second statement. After the translating, a mapping of one or more statements is generated.

10-30-2014

20120102472

EXTENDING PROGRAMMING LANGUAGE SEMANTICS WHILE MAINTAINING STANDARD SYNTAX THROUGH ALIASING - A method is provided for allowing programmers to specify program execution control semantics using standard programming language syntax even when the standard language does not provide a language construct for specifying execution control. In a similar manner, the approach provides programmers the ability to extend the expressiveness of a language by introducing statements expressed in the syntax of a target programming language. A program written in a first programming language may be translated into statements of a second programming language, where the target programming language is more expressive than the first. This language-based approach preserves the standard syntax of the first programming language, allowing a program written with semantic extensions to be compiled and run according to the standard on any standards-compliant system.

04-26-2012

20100131933

System and Method for translating high programming level languages code into Hardware Description Language code - The present invention is directed to a method and system for translating a high programming level language code such as C, C++, Fortran, Java or the like into a HDL code such as Verilog or VHDL. The system includes: a C-to-C source translator which reads user API from a translation-targeted high level language code marked with the user API, separates the translation-targeted high level language code into a hardware code part and a software code part, and stores the hardware code part and the software code part in separate files; a main compiler which compiles the stored software code part; a translator which translates the stored hardware code part into a HDL code including one or more block modules and one top module; a main core which executes the compiled software code part; and a dedicated hardware which executes the HDL code.

05-27-2010

20100287540

FILE CONVERSION DEVICE, FILE CONVERSION METHOD, AND FILE CONVERSION PROGRAM - Provided is a file conversion device which converts a file form written in a given language to a file form that can be interpreted by another language, which includes: a file readout device which reads description contents of an inputted file by each line, and manages the description contents by adding an index to each line of the read description contents; a syntax tree creating device which converts the description contents into a syntax tree of a tree structure based on the indexes through linearly scanning the indexes of the file managed by the file readout device; a syntax tree optimizing device which optimizes the tree structure of the syntax tree as a flowchart according to an optimization rule; and a file dividing device which divides the inputted file by having controllers in the flowchart optimized by the syntax tree optimizing device as identifiers.

11-11-2010

20150074654

COMPUTER LANGUAGE TRANSLATION FILTER - Provided herein are devices, systems, methods and various means, including those related to translating command and other types of computer instructions being transmitted to a destination processor from a language that is non-native to the destination processor to a language that is native to the destination processor. Some embodiments discussed herein can include a processing filter that is configured to identify whether incoming instructions are formatted in a translatable non-native language of the destination processor and, if so, process the non-native commands into native commands. The processed, native commands can then be relayed to the destination processor by some embodiments discussed herein. The processing filter can be implemented in a manner that is portable and independent of any specific framework and/or programming language. For example, the processing functionality (including the identification and translation features discussed herein) can be implemented in the same device as the destination processor and/or at a system remote from the destination device (e.g., at a remote host system).

03-12-2015

20080216060

SYSTEM FOR TRANSLATING DIVERSE PROGRAMMING LANGUAGES - A computer language translator that translates all or any portion thereof of source code in an original computer language to source code in a target computer language, which may then be translated back to the original language while still maintaining concept, syntax, form of expression, and formatting of the original source code.

09-04-2008

20090313613

Methods and Apparatus for Automatic Translation of a Computer Program Language Code - Embodiments of the methods and apparatus for automatic cross language program code translation are provided. One or more characters of a source programming language code are tokenized to generate a list of tokens. Thereafter, the list of tokens is parsed to generate a grammatical data structure comprising one or more data nodes. The grammatical data structure may be an abstract syntax tree. The one or more data nodes of the grammatical data structure are processed to generate a document object model comprising one or more portable data nodes. Subsequently, the one or more portable data nodes in the document object model are analyzed to generate one or more characters of a target programming language code.

12-17-2009

20150082290

CODE MIGRATION SYSTEMS AND METHODS - A method of converting a precompiled source code. The method comprises receiving a precompiled source code of an application, providing a plurality of AST segment patterns each associated with another of a plurality of replacement code templates, building an abstract syntax tree (AST) of the precompiled source code, matching between a first group of the plurality of AST segment patterns and a plurality of AST segments of the AST to identify a second group of the plurality of replacement code templates, the plurality of AST segments are associated with a plurality of source code segments of the precompiled source code, and performing a code migration process of the precompiled source code to a precompiled migrated code of the application using the second group.

03-19-2015

20100131934

SYSTEM AND METHOD FOR TRANSLATING HIGH-LEVEL PROGRAMMING LANGUAGE CODE INTO HARDWARE DESCRIPTION LANGUAGE CODE - The present invention is directed to a method and system for translating a high-level language (HLL) code such as C, C++, Fortran, Java or the like into a HDL code such as Verilog or VHDL which requires no modification in the original HLL source code, while supporting a cross call between software and hardware, and even recursive calls in hardware. The system includes: a HLL-to-HLL source translator which reads user programming directive from a translation-targeted high-level language code marked with the user directive, and separates the translation-targeted high-level language code into a hardware code part and a software code part; a main compiler which compiles the software code part; a HLL-to-HDL translator which includes the front-end and middle-end of the main compiler and a HDL backend; a main core which executes the compiled software code part; and a dedicated hardware which executes the HDL code.

05-27-2010

20080201696

Method and Apparatus for Testing a Software Program Using Mock Translation Input Method Editor - A method, apparatus, and computer instructions for testing software programs running on a data processing system. Text is translated from the source language to the target language to form translated text in response to a user input, containing the text in a source language. The text is entered through a computer interface in the data processing system. The translated text is inserted into a user interface of the software program to be tested to form inserted, translated text. The software program is written using the target language. A determination is made as to whether the software program functions correctly using the inserted, translated text.

08-21-2008

20100095282

Method, Apparatus And Computer Program Product For Creating Inter-Language Interface - An inter-language interface is created for an executable file written in a legacy language. The header associated with the legacy file is initially marked up language to generate a first marked header. The legacy file is then wrapped with a first wrapper based at least partially upon the first marked header to create a first wrapped file. Additionally, the first marked header is associated with type maps customized in accordance with the target language in order to generate a second marked header. An executable file may then be generated by wrapping the first wrapped file with a second wrapper so as to be executable in the target language, thereby creating a second wrapped file. Additionally, an interface layer is generated to associate functions in the legacy language with methods in the target language and to define the usage in the target language of the parameters in the legacy language.

04-15-2010

20140068570

System and Method for Translating Software Code - A system and method for generating test code software utilized by a test system for testing a circuit card assembly is provided. A translator provides an automatic translation of a test code from a first computer language to a second computer language. One or more pinmap documents are provided to map the pins of the circuit card assembly.

03-06-2014

20130239098

SOURCE CODE CONVERSION METHOD AND SOURCE CODE CONVERSION PROGRAM - In checking a model of software, there is an approach of transforming a source code of software into a checking code in order to reduce a cost required to describe the checking code by an input language of a model checker. Since a user may select only a single transformation method, there are problems in that an abstraction-level change is difficult, a rule modification cost for following up a design and a change of the source code is high, and a rule modification cost for checking using another checking tool is high. In the present invention, when the source code is transformed into the checking code, a unit that selects a plurality of transformation rules is provided to allow the user to easily change an abstraction level. Further, the plurality of transformation rules include a transformation rule of transforming the source code into an intermediate format, a transformation rule of abstracting the intermediate format, and a transformation rule of transforming the intermediate format into the checking code.

09-12-2013

20150026668

SYSTEM AND METHOD FOR TRANSLATING BUSINESS APPLICATION FUNCTIONS INTO DBMS INTERNAL PROGRAMMING LANGUAGE PROCEDURES - A system and method for generating a database management system (DBMS) internal program language function from a foreign program language function. The method includes loading the foreign function into a DBMS server, an internal program module unit, examining the foreign function to determine whether the foreign function is annotated for translation, if annotated determining if the foreign function is translated into an internal program language function and executing the internal program language function, else compiling the foreign function into an internal function. If the foreign function is not annotated for translation, executing the foreign program language function. The DBMS system includes a parsing unit, a type inference unit, a normalizer unit, a serializer unit, and a deployer unit. A computer readable medium is also disclosed.

01-22-2015

20150026669

METAPHOR BASED LANGUAGE FUZZING OF COMPUTER CODE - The disclosed subject matter provides for software testing using metaphor based language fuzzing. Metaphor based language fuzzing can decompose a code segment into a metaphor representing the code segment. The metaphor can be mutated based on determined logical perturbations to any element of the metaphor. The mutation of the metaphor can act as a surrogate for mutation of the code segment. The mutated metaphor can be analyzed to reveal performance differences in comparison to the code segment. These performance difference can be correlated to mutation of the metaphor such that a corresponding mutation of the code segment can be correlated by extrapolation. Moreover, mutators can be stored and reused on other metaphors. Furthermore, employing a metaphor as a root language surrogate can facilitate generating a reduced number of mutators as compared to directly mutating code segments in a plurality of computer languages.

01-22-2015

20120023488

METHODS, SYSTEMS, AND COMPUTER PROGRAM PRODUCTS FOR PROCESSING AN EXCLUDABLE ADDRESSABLE ENTITY - Methods and systems are described for processing an excludable addressable entity. Source code is received that includes a first addressable entity specified in a programming language. An excludable indicator is detected, in the source code, indicating that the first addressable entity is excludable from a second translation of the source code. A first translation, of the source code, is generated that includes a first translation of the first addressable entity. In response to the detecting of the excludable indicator, excluding information is generated that identifies the first translation of the first addressable entity as excludable for excluding the first addressable entity from the second translation generated from the first translation of the source code.

01-26-2012

20110246972

METHOD OF SELECTING AN EXPRESSION EVALUATION TECHNIQUE FOR DOMAIN-SPECIFIC LANGUAGE COMPILATION - A method and computer program product for selecting an expression evaluation technique for domain-specific language (DSL) compilation. An application written in DSL for a programming task is provided, the application including a plurality of components configured by expressions. A technique that most quickly implements the programming task is selected from a plurality of techniques for evaluating the expressions. The DSL application is compiled in accordance with the selected expression evaluation technique to generate general-purpose programming language (GPL) code.

10-06-2011

20100083239

METHOD AND SYSTEM FOR AN AUTOMATION COLLABORATIVE FRAMEWORK - An automation collaborative framework (ACF) is provided. The ACF includes an abstract automated model (AAM) that defines a generic data management scheme. The AAM is extended so as to define an extended data management scheme according to control solutions received from a user. A concrete automation model (CAM) then implements a concrete data management scheme, in which the concrete data management scheme is derived as a function of the generic data management scheme and the extended data management scheme.

04-01-2010

20130227533

CODE TRANSFORMATION - The invention concerns the transformation of executable code from one language to another. In particular, the invention concerns the automated transformation of code. The invention concerns methods software and computer systems for the creation of a tree comprised of nodes to be used in the transformation of code. The invention also concerns the methods, software and computer systems for the building of a parser to be used in the transformation of code. Finally, the invention also concerns an automated and iterative method of transforming, assessing and re-transforming code. The invention is advantageous in its ability to avoid usage of an intermediate transformation language and its high level of automation that reduces manual transformation and accordingly is more efficient and less costly.

08-29-2013

20120284700

MODULAR ASL COMPONENT - A system for source language module interaction using an event mechanism includes one or more subsystems to detect a producer event, detect a consumer event, generate a new source language method for the producer event and a new source language method for the consumer event, and link the producer event and the consumer event using the new source language method. In an embodiment, the source language may be ASL.

11-08-2012

20100115499

Architecture Tailoring System - According to one embodiment, an architecture tailoring system includes an architecture tailoring tool coupled to multiple architecture tools that each generates architectures according to its native architecture definition. Architecture tailoring tool receives an architecture from an architecture tool generated according to its native architecture definition and convert at least a portion of the architecture to conform a different architecture definition. The converted portion may then be exported to another architecture tool that is configured to manipulate the converted portion of the architecture according to its native architecture definition.

05-06-2010

20140143761

METHOD AND SYSTEM FOR DATABASE CONVERSION - A system and method for converting legacy program code to up to date program code is provided. The system and method includes a compiler having four modules—a parser, a transformer, an optimizer, and a code generator. The parser reads the code and analyzes the code by identifying key words, identifying key contextual indicators, and identifying inefficiencies in the code. The transformer translates the legacy program code to the up to date program code using a translation table. The optimizer reduces inefficiencies in the transformed code.

05-22-2014

20100095283

Migration Apparatus Which Convert Application Program of Mainframe System into Application Program of Open System and Method for Thereof - Provided are a migration apparatus and method for converting an application program of a mainframe system into an appropriate application program for an open system. The migration apparatus includes: a source obtaining module connected with the mainframe system, and decoding and obtaining sources of work-specific application programs made of Extended Binary Coded Decimal Interchange Code (EBCDIC) in binary form; a code conversion module converting the respective sources of the work-specific application programs obtained by the source obtaining module into American Standard Code for Information Interchange (ASCII) code, hexadecimal characters being converted to correspond to ASCII code using a previously set hexadecimal code conversion table; a compiling and link processing module compiling the sources of the work-specific application programs converted by the code conversion module and then bundling the compiled sources of the work-specific application programs with corresponding work application programs; and an executable file generation module generating executable files in binary form from the work-specific application programs processed by the compiling and link processing module to execute them in an environment of the open system. The migration apparatus and method efficiently reuse a conventionally used application program via the rehosting process of converting a mainframe system into an open system.

04-15-2010

20120096444

CONTROL FLOW ANALYSIS METHODS AND COMPUTING DEVICES FOR CONVERTING COBOL-SOURCED PROGRAMS TO OBJECT-ORIENTED PROGRAM STRUCTURES - The various embodiments of the invention relate generally to computer software, computer program architecture, software development, and computer programming languages, and more specifically, to techniques for analyzing control flow in COBOL-sourced programs to facilitate optimized conversions to object-oriented program structures. For example, a compiler can include a global optimizer configured to analyze execution flow for a range of blocks of source code in the memory to determine flow-affected code. Also, the compiler can include a native code generator configured to generate native code based on representations of the native code as functions of the source code. The native code is configured to execute on a virtual machine.

04-19-2012

20120174081

PROVIDING CODE LIST EXTENSIBILITY - A computer implemented method for providing code list extensibility includes providing a first code data type representation. The first code data type representation corresponding to a first code data type and having a first code value representation for at least one code value. The at least one code value associated with a corresponding code value issuing entity. The method may also include providing a second code data type representation. The second code data type representation corresponding to the first code data type and having a second code value representation for the at least one code value. The second code value representation including a unique identifier associated with the code value issuing entity. The method also may include mapping the first code data type representation and the second code data type representation based at least in part on the unique identifier associated with the code value issuing entity.

07-05-2012

20130125098

Transformation of Computer Programs - A method and system to transform a plurality of programs associated with a plurality of programming languages is provided. In the method, a request is received by a computer to transform a first program in a first programming language to a second program in a second programming language. The first program is then transformed, wherein the transformation includes eliminating errors using predefined criteria. Further, the method maps a statement of the first program with a corresponding statement of the second program.

05-16-2013

20130152059

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 comparison yields new insights into the effectiveness of the techniques employed in both analysis tools. These encouraging results yield the observation that such a unified program analysis framework will prove to be valuable both as a testbed for examining different language analysis techniques, and as a unified toolset for broad program analysis.

06-13-2013

20130152058

Method for Translating a Control Program in an Automation Language into an Intermediate Language - A method for translating a control program in an automation language into an intermediate language, wherein the control program comprises a plurality of basic operations that are each mapped to a respective sequence of instructions in the intermediate language, where a specification database comprising a respective transformation rule for at least a multiplicity of basic operations in the automation language is utilizable in a control program is accessed to translate the control program into the intermediate language, the transformation rule allows an input parameter list to be processed, and if the transformation rule is called with an input parameter list having a plurality of input parameters, unlimited in the transformation rule, the transformation rule defines the inclusion of a further transformation rule. The further transformation rule defines a recursive inclusion of the further transformation rule according to a number of the input parameters.

06-13-2013

20130254752

SYSTEM AND METHOD FOR INTERNATIONALIZATION ENCODING - A system and computer-implemented method for transforming source code in an original natively encoded format to a locale neutral format, wherein data types and functions in the original format are estimated for compliance with the locale neutral format and an estimation is made as to the amount of code conversions necessary to comply with the locale neutral format. In addition, image files referenced by the source code is analyzed and embedded text extracted for enabling translation during the localization process

09-26-2013

20140215446

Automated Porting of Application to Mobile Infrastructures - Techniques to automatically port applications to a mobile infrastructure using code separation with semantic guarantees are disclosed. Porting enterprise applications from to a target architecture another is effected via separating code into constituent layers of the target architecture. To preserve semantics, code transformations are enforced via an abstract syntax tree structure. The generated code may have various code wrappers and/or infrastructure elements so the ported application will operate in the target architecture. Various techniques are disclosed regarding specific code wrappers and/or infrastructure elements to address operating issues including, but not limited to, architectural issues, network latency, framework changes, regulatory issues.

07-31-2014

20130332912

PROCESSING REIFIED GENERICS IN OBJECT-BASED PROGRAMMING ENVIRONMENTS - A system processes a reified generic. The system includes a memory device to store programming code in a first language, the programming code including a definition and an invocation of an interface method. The system also includes a processor to translate the programming code from the first language to a second language, generate a definition of a general dispatch method, generate definitions of special dispatch methods, each of the special dispatch methods corresponding to each primitive return type of the interface method, and generate an invocation of either the general dispatch method or one of the special dispatch methods based on a return type of the interface method.

12-12-2013

20130332911

PROCESSING REIFIED GENERICS IN OBJECT-BASED PROGRAMMING ENVIRONMENTS - A system processes a reified generic. The system includes a memory device to store programming code in a first language, the programming code including a definition and an invocation of an interface method. The system also includes a processor to translate the programming code from the first language to a second language, generate a definition of a general dispatch method, generate definitions of special dispatch methods, each of the special dispatch methods corresponding to each primitive return type of the interface method, and generate an invocation of either the general dispatch method or one of the special dispatch methods based on a return type of the interface method.

12-12-2013

20090024986

RUNTIME CODE MODIFICATION - Source languages are translated to target dynamic programming languages. Runtime functionality including reflection and/or dynamic code modification exposed by a source language is mapped to a dynamic language implementation such as that of a script language. Target language dynamism is leveraged to efficiently support runtime functionality in a source language that is more static, for example.

01-22-2009

20140157243

System for Translating Diverse Programming Languages - A computer language translator that translates all or any portion thereof of source code in an original computer language to source code in a target computer language, which may then be translated back to the original language while still maintaining concept, syntax, form of expression, and formatting of the original source code. The translator may take the form of a tool that resides on a server such that the user may select file of source code corresponding to desired functionality and the user may indicate which computer language the file should provided in. The tool will then translate the selected file to the desired computer language.

06-05-2014

20130298111

CODE CONVERTING METHOD, PROGRAM, AND SYSTEM - A computer-implemented method, system, and article of manufacture for processing a programming language, which is able to describe data conversion of data input by an iterator. The method includes: converting iterator code of the programming language to a generator code in an intermediate language that includes a generator as an operator; reading a consumer side code; and overwriting code by inline substitution between the consumer side code and the generator code.