67 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 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.

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.

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.

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 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 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.

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.

An electronic floor panel or a gangway: The invention relates to the technical field of machine-electrical and information industries. The invention utilizes the following technical scheme to resolve technical problems: The floor panel or gangway comprises a non-contact card-reader device with a mobile type checking device corresponding with identification objects, and arranged on ground. The invention has the following beneficial effects: The device is convenient in checking operation, and has the advantage of identifying personnel that have not brought cards.