type system


Also found in: Dictionary, Wikipedia.

type system

The rules that apply to the data types in a programming language. Every language supports some number of data types (binary, text string, floating point, etc.) that are processed by the instructions. Type checking verifies that the operations performed on the data are correct; for example, a text string cannot be multiplied. Static type checking looks at the source code, while dynamic type checking works at runtime. Both methods are used to verify the proper operation of the program with regard to how instructions operate on the data. See data type.
References in periodicals archive ?
We're pushing the waste management systems: the wet type system and dry type system.
The Optics 1 Clip-On Thermal Imager (COTI) is a miniaturized infrared thermal device that has the ability to convert almost any, ordinary night vision device (PVS-14/7/BNVD) into a FUSION type system that combines thermal imaging with the best aspects of normal image intensified (I2) night vision devices into one system.
Iwaniec introduced p-harmonic type system in (7), which is an important extension of conjugate A-harmonic equation.
Machines are up to date with a smart card type system.
Biax recently shipped a 15-inch proto type system ibr the production of cellulose fibers.
The opening chapters examine the data model, the type system of the language, and the XPath evaluation context.
Access to data is restricted by numerous statutory and proprietary security requirements and was a major impediment for the adoption of a JATDI type system.
To obtain information, users can click on hypertext instead of having to type system commands.
However, absent legislation requiring a single-payer type system, The Prudential's health-related businesses should be able to sustain significant levels of profits.
One of the pieces of legislation that we passed last year is to give the City of New York the ability to give grants and work on some type of system to remediate themselves either in combinations of working with the landlords through a grant type system and an exemption type system to combat the lead paint-type problems.
The South African club have more than 15,000 registered players and regularly field more than 40 teams in an intra-mural type system.
Engineering investments in application development are protected because the platform has a building-block type system architecture with reusable hardware and software elements and a common function-card interface.