70 results about "Type checking" patented technology

A system providing improved methods for remote method invocation of a service is described. The system includes methodology for a client to cast, at design time, a generic interface class to a remote service having a defined interface. The generic interface class dynamically generates a proxy for making a remote method call on the remote service at runtime, while also providing for runtime type checking. Moreover, the generic interface class is subclassed to provide support for particular wire formats and methods of transport. The dynamically generated proxy converts a remote method call by the client into a wire format specified in the remote service's interface definition and calls the remote service using the method of transport specified in the interface definition. The system also includes methods to support making a service available to remote clients. The system includes modules that listen for remote method calls on a service and deserialize these calls into native format. This enables the service to be invoked by a native call in native format. The method includes reserializing results of the native call and returning these results in response to the remote method call.

A system providing improved methods for remote method invocation of a service is described. The system includes methodology for a client to cast, at design time, a generic interface class to a remote service having a defined interface. The generic interface class dynamically generates a proxy for making a remote method call on the remote service at runtime, while also providing for runtime type checking. The generic interface class is subclassed to provide support for particular wire formats and methods of transport. The dynamically generated proxy converts a remote method call by the client into a wire format specified in the remote service's interface definition and calls the remote service using the method of transport specified in the interface definition. The system also supports making a service available to remote clients and includes modules for converting remote method calls on a service into native format.

A method for developing an automation client program in a graphical programming environment is disclosed. The graphical programming environment provides a set of automation nodes that may be wired together to create a graphical program, including nodes for referencing user-selected automation classes from automation type libraries exported by automation server applications; nodes for instantiating objects from the selected automation class; and nodes for invoking user-selected methods and / or properties of the automation class. A method for performing class and / or type propagation checking of automation objects in graphical programs is also disclosed. The automation class of a first automation node is propagated from the first node to a second automation node when the two nodes are wired together or when the automation class of the first node is changed to a second class. The automation nodes perform type checking to verify that the user-selected method or property is valid for the automation class of the node.

Source code is compiled using a multi-stage compiler that includes a tokenizer, a type checker, and a composer. The tokenizer segments source code into a sequence of tagged segments. The source code includes at least one instruction that composes a first abstraction and a second abstraction with a selected composition operator. The parser builds a tree using the sequence of tagged segments. The type checker performs a first pass of the tree to determine whether abstractions on the tree are well typed. The composer reduces the at least one instruction composing the first and the second abstractions on the tree to a third abstraction. The composer substitutes the first and the second abstractions on the tree with the third abstraction, wherein the type checker performs a second pass of the tree to determine whether the third abstraction is well typed.

The claimed subject matter relates to a formalization of operator patterns that can facilitate type flow of element types between an operator in a first clause of an expression to an operator in a next clause of the expression. The type that flows to, and the operator extant in, the next clause can be combined to infer the element type of the next clause. As such, type-checking, autocompletion and other advantageous features can be accomplished incrementally without the need for a prior full translation of the expression.

A method and apparatus are used in accordance with the present invention in concurrent program analysis for detecting potential race conditions such as data races in computer programs. A feature of the method and apparatus of the present invention is verifying annotations of addressable resources in a program. The present invention verifies annotations by checking if thread-local resources are indeed thread-local, and that thread-shared data spaces are not in fact thread-local. In accordance with the purpose of the invention, the method provides for detecting potential race conditions, such as data races, in a computer program. The computer program can spawn a plurality of threads that are capable of being executed concurrently. The method includes receiving a source code of the computer program. The source code includes an element annotated as either thread-local or thread-shared. The method also includes verifying the validity of the thread-local annotation if the element is annotated in the computer program as thread-local, wherein an invalid thread-local annotation may cause a race condition. The method can further include indicating a potential race condition if upon verifying the validity of the thread-local annotation it is determined that the element or a portion thereof is visible from more than one, rather than one and only one, of the plurality of threads. In further accordance with the purpose of the invention, the apparatus for concurrent program analysis includes means for receiving source code of the computer program. The source code includes an element annotated as either thread-local or thread-shared. The apparatus also includes means for type checking the source code; and means for thread-local checking located either inside or in series with the type checking means. The means for thread-local checking includes means for verifying the validity of the thread-local annotation if the element is annotated in the computer program as thread-local, where an invalid thread-local annotation may cause a race condition such as a data race. The apparatus can further include means for parsing the source code; and means for creating from the source code an abstract syntax tree. Accordingly, the present invention beneficially provides for a more effective concurrent program analysis.

Techniques are disclosed for automatic data translation in computing systems. Certain techniques are disclosed herein that enable applications to utilize data in optimal formats specific to each application in an effectively transparent manner, removing the burden to perform data format or type checking, conversions, etc. An automatic data translation module (ADTM) is implemented that automatically translates data as it passes between certain applications. In some embodiments, the ADTM receives a first particular format of data from a first application and automatically / transparently converts the first particular format of data into another representation of the same data, but in a second format utilized by a recipient application. The ADTM may be configured as part of a database application programming interface (API), and can translate textual versions of IP addresses into binary representations for efficient database storage, and translate returned binary representations back into textual representations for convenience and enhanced trace functionalities.

Methods and apparatus, including computer program products, for defining and using data types at runtime. A procedural source code program is compiled to generate a compiled program having instructions to create a runtime data type and to use the runtime data type. The runtime data type has a compound structure of referenced data types. Instructions to create a runtime data type having a compound structure are executed by creating a runtime data type definition from the compound structure of referenced data types by resolving the referenced data types bottom up into data types known at runtime. A data object having the runtime data type is created. Type checking is performed on uses of the data object at runtime according to the runtime data type.

The claimed subject matter relates to a formalization of operator patterns that can facilitate type flow of element types between an operator in a first clause of an expression to an operator in a next clause of the expression. The type that flows to, and the operator extant in, the next clause can be combined to infer the element type of the next clause. As such, type-checking, autocompletion and other advantageous features can be accomplished incrementally without the need for a prior full translation of the expression.

A representation of types, type-checker, method and compiler are provided for checking consistency in various forms of an intermediate language. Specifically, the typed intermediate language is suitable for use in representing programs written in multiple (heterogeneous) source languages including typed and untyped languages, loosely and strongly typed languages, and languages with and without garbage collection. An unknown type representation indicates that an element of the intermediate language is associated with an unknown type. A method of type-checking a code segment written in a programming language is provided using a rule set that contains rules for type-checking an unknown type. The unknown type allows for selectively retaining type information as the compilation process continues and allows multiple programming languages to be type-checked by the same type system.

A method and an apparatus that modify pointer values pointing to typed data with type information are described. The type information can be automatically checked against the typed data leveraging hardware based safety check mechanisms when performing memory access operations to the typed data via the modified pointer values. As a result, hardware built in logic can be used for a broad class of programming language safety check when executing software codes using modified pointers that are subject to the safety check without executing compare and branch instructions in the software codes.

Source code is compiled using a multi-stage compiler that includes a tokenizer, a type checker, and a composer. The tokenizer segments source code into a sequence of tagged segments. The source code includes at least one instruction that composes a first abstraction and a second abstraction with a selected composition operator. The parser builds a tree using the sequence of tagged segments. The type checker performs a first pass of the tree to determine whether abstractions on the tree are well typed. The composer reduces the at least one instruction composing the first and the second abstractions on the tree to a third abstraction. The composer substitutes the first and the second abstractions on the tree with the third abstraction, wherein the type checker performs a second pass of the tree to determine whether the third abstraction is well typed.

The present invention provides systems and methods for providing run-time type checking to prevent software errors. In architecture, a representative system includes a compiler that parses a program and further comprises a logic that generates a checksum for a block of code in the program, a logic that stores the checksum in the block of code, and a logic that inserts checksum instruction code into the block of code. The present invention can also be viewed as a method for providing run-time type checking to prevent software errors. A representative method operates by generating a checksum for a block of code in the program, and storing the checksum in the block of code. During execution of the program, a run-time checksum is generated for the block of code, and the block of code is executed if the checksum equals the run-time checksum, and the execution of the block of code is skipped if the checksum does not equals the run-time checksum.

Objects of one object model (e.g., a Common Object Model (COM)) are called by programs of another object model (e.g., Java). To facilitate the call, a set of interfaces is generated that corresponds to the interfaces of a COM typelib. The interfaces include enough information to enable type-checking of the generated code to be performed during compilation, but do not include implementations of the interfaces. The implementations are included in a proxy object, which is employed in making the call to the COM object.

The invention provides a method for determining the object conversion order during the dynamic updating of software and a system adopting the method, which belongs to technical field of the computer application. In the method, acquiring object reference information and reference stop information; comparing and deleting redundant object reference information and the two types of information matched with each other; differentiating the object reference property so as to acquire all dependency relationship information of active objects; testing the updating completeness by utilizing the type test rule; and testing the updating condition of a safety object so as to acquire the reasonable updating order of components. The system comprises a service calling monitoring module, a reference information updating module, a component dependency analysis module, a completeness testing module and an updating order selection module. By the invention, the dynamic dependency relationship of component objects can be dynamically acquired in the operational process of the system, and the reasonable updating order of the component objects can be generated during dynamically updating the components.

An inspection system for an article of manufacture and method of using the same, assists an inspector in the inspection of a wide variety of articles for conformance to a pre-selected set of requirements particularly when checking is done by means of human senses and the manual application of measuring devices. A computer server is utilized in conjunction with the inspector to impose constraints and discipline on the inspector's actions. Such constraints include enforcing a standardized sequence for checking each of a pre-selected set of article requirements depending on the fabric article type, limiting the available responses by which the inspector can record the results of the observation, and enforcing a minimum lapsed time for inspection of certain article requirements. The inspector interfaces with the computer server via at least one remote inspection station each having computer monitor, keyboard, pointer and preferably a bar-code scanner capable of reading labels attached to the articles.

Techniques for checking in JAVA™ computing environments are disclosed. The techniques can be used by a JAVA™ virtual machine to efficiently perform type checking. A JAVA™ class hierarchy which represents the hierarchical relationship of parent classes of JAVA™ class can be implemented as an array of class references. The array of class references can be used to efficiently perform type checking in JAVA™ computing environments. As a result, the performance of JAVA™ virtual machines, especially those operating with limited resources, is significantly enhanced.

The invention discloses an isolator automatic online detecting system. The isolator automatic online detecting system comprises a control management system and a rack arranged on the side of a fetching opening of a press machine, and is characterized in that the rack is provided with a feeding manipulator, an intermittent type indexing rotary table, a discharging manipulator and a material tray turnover system; the feeding manipulator is arranged on a feeding guide rail above the rotary table, and has the degree of freedom of moving to the position above a workbench of the press machine alongthe feeding guide rail to fetch materials and moving to the feeding station of the rotary table for feeding; positioning clamps matched with stations in number are evenly distributed on the edge of the rotary table; the positioning clamps form an assembly line type checking structure together with the feeding manipulator, the discharging manipulator and the stations of gauge units arranged at thestopping positions of the rotary table in a surrounding mode correspondingly; and the discharging manipulator moves in a reciprocating mode between a discharging station and the material tray turnoversystem along a cross guide rail above the material tray turnover system to form a discharging and sorting structure. Automatic detection is achieved, and the working efficiency and enterprise benefits are greatly improved.

Disclosed is a grammar conversion method for patent information indexing which can automatically convert indexing grammar into different indexing grammars of each patent information website of different countries. The method comprises following steps of: inputting indexing string; performing grammar analysis on entered indexing string; generating grammar tree after cutting indexing string automatically; optimizing the grammar tree; performing meaning analysis and type checking on optimized unit; converting grammar by translating the analyzed grammar into different indexing sentences via loading different Schema languages; generating sentences adapting for network database indexing grammars of each country patent bureau, also, generating SQL indexing sentences and XML or other forms indexing sentences.

The invention discloses a theorem proving-based formal verification method. The method is applied to the field of secure operating systems. The invention aims to solve the security problem of an existing operating system. The theorem proving-based formal verification method comprises the following steps that: source codes are reconstructed; formal modeling is conducted on a function; theorem description is conducted on the function; and finally, formal certification is conducted. According to the method of the invention, the semi-automatic proving of human-computer interaction is adopted; by means of an isomorphic relationship between a type system and logic, a proof constructing process is converted into a program writing process; proof correctness check is changed into a type check problem; although a large amount of manual labor is needed to construct the proof, the method provided by the invention does not need to sacrifice the expression ability of protocols and codes, particularly logic with very strong expression ability can be used in a program to realize representation; the proof itself has display representation in a machine; the correctness of the proof itself can be automatically checked; and a verified conclusion is more credible.

The invention provides an operation permission management and control system which comprises a PC end operation permission management and control equipment and hand-held end operation permission equipment. The PC end operation permission management and control equipment is used for receiving an operation appointment from an operator and establishing an operation ticket after the successful appointment. The hand-held end operation permission equipment is internally provided with an RFID ultrahigh frequency card reader. The operator enters the working site with the hand-held end operation permission equipment, and swipes an RFID staff card for confirmation, and thus the hand-held end operation permission equipment is allowed to download the operation ticket from the PC end operation permission management and control equipment. The hand-held end operation permission equipment carries out operation basic information and operation type checking, operator position locating, gas detection data inputting, operation permission approval and issuing, and collected processing data uploading to the PC end operation permission management and control equipment. The invention adopts a modern Internet of Things safety management system taking hardware equipment such as a hand-held terminal and an RFID card as control means, and thus potential risks caused by unsafe behaviors of people are reduced, and the working efficiency of enterprise personnel is improved.

The invention discloses a fuel-saving method for an intelligent route based on navigation characteristic data learning, which includes a fuel consumption model verification system, an intelligent route selection system, input information, and output information, and is characterized in that the fuel consumption model verification system includes water flow information calibration verification model, ship type verification, draft verification model, navigation speed verification model, wave information verification model, meteorological information verification model, predicted fuel consumption of past routes, and actual Fuel consumption; the beneficial effect is that the most fuel-efficient route can be intelligently selected according to the time-varying external factors in the long-distance voyage, which can not only meet the actual engineering needs of marine ships to save fuel, fill in the technical gap, but also generate large social and economic benefits.

A method and an apparatus that modify pointer values pointing to typed data with type information are described. The type information can be automatically checked against the typed data leveraging hardware based safety check mechanisms when performing memory access operations to the typed data via the modified pointer values. As a result, hardware built in logic can be used for a broad class of programming language safety check when executing software codes using modified pointers that are subject to the safety check without executing compare and branch instructions in the software codes.

Static type checking is performed against external data sources in an interacting editing environment. A rich editing experience can be provided to users for external data equivalent to that provided for internal static, typed data. An extensible compiler is provided so that a user or third party can extend type checking facilities to any external data source. An extensible language service is provided so that a user or third party can extend the language service to provide a consistent, current static view of external data. The extensible compiler and language service allow language extensions to plug into the type checking process. This enables the compiler and language service to provide an extension point that allows extensions of the compiler and allow the language service to render dynamic information statically.

A system and method for propagating type information for hardware device nodes in a graphical program. A hardware device node may be any of various types of nodes relating to hardware devices and may perform any of various hardware-related functions in the graphical program, e.g., may access registers of a hardware device. After displaying a first hardware device node in the graphical program, the user may associate the first hardware device node with a hardware device. A second hardware device node may also be displayed in the graphical program, and the user may connect the first hardware device node to the second hardware device node. In response to connecting the first hardware device node to the second hardware device node, information may be propagated from the first hardware device node to the second hardware device node, wherein the information specifies the hardware device or device class with which the first hardware device node is associated. The second hardware device node may then be automatically, i.e., programmatically, associated with the same hardware device class with which the first hardware device node is associated. A method for performing type checking for a hardware device node in a graphical program is also described, e.g., to ensure that a method or property which the hardware device node is configured to invoke or access is a valid method or property for the hardware device or device class with which the hardware device node is associated.

Systems and methods for extent reference count updates are presented. In one embodiment; a reference count update method includes: receiving a plurality of data files associated with various modalities; performing an analysis on the data files including examining an impact of the plurality of data files on storage based upon a type of the modality; and forwarding resulting analysis information for presentation in a convenient user interface, including an indication of the impact of the plurality of data files on the storage based upon the type of the modality. In one embodiment the analysis includes resource consumption analysis of the storage associated with the type of modality. The analysis can include a cost analysis of the storage associated with the type of modality. The storage can be included in a cloud environment.

The invention provides a safety communication method. The method includes: a first drive layer of a transmitting end performs protocol type checking on data packets to be transmitted, determines protocol type of the data packets to be transmitted, and encrypts front one or multiple fields of the data packets and / or data components of the data packets according to the protocol type; the transmitting end transmits the encrypted data packets to a receiving end; a first drive layer of the receiving end performs protocol type checking on the data packets received, determines the protocol type of the data packets received, decrypts the front one or multiple fields of the data packets and / or the data components of the data packets according to the protocol type in response to the transmitting end, and discards the data packets if decrypting fails; a second drive layer of the receiving end verifies the data packets successfully decrypted and discards the data packets if verifying fails. The safety communication method has the advantages that network communication agent confirmation is achieved and network-transmitted information can be protected from breach.

An inspection system for an article of manufacture and method of using the same, assists an inspector in the inspection of a wide variety of articles for conformance to a pre-selected set of requirements particularly when checking is done by human senses and the manual application of measuring devices. A computer server is utilized in conjunction with the inspector to impose constraints and discipline on the inspector's actions. Such constraints include enforcing a standardized sequence for checking each of a pre-selected set of article requirements depending on the fabric article type, limiting the available responses by which the inspector can record the results of the observation, and enforcing a minimum lapsed time for inspection of certain article requirements.

The joining of Web services is accomplished via a virtual contract through the use of safeties. The joining of Web services heightens the safe interoperability of Web services to create greater functionality than each Web service alone can provide. Web services are joined for interoperability when the type of a port of one Web service is compatible with the type of another port of another Web service.