type system


Also found in: Dictionary, Medical, 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 and polymorphic typing.
References in periodicals archive ?
Minsky says that by catching bugs, OCaml's type system allows Jane Street's coders to focus on loftier problems.
Section 2 presents the type system achieving the analysis of ready statement and memory access for imperative distributed programs.
(7): (p-harmonic type system) We say the Hodge system
Machines are up to date with a smart card type system.
TeleCommunication Systems Inc (NasdaqGM:TSYS), which develops and applies wireless data communications technology solutions, revealed on 4 March that patent number 7,340,241 has been issued by the US Patent and Trademark Office for "Public Safety Access Point (PSAP) Selection For E9-1-1 Wireless Callers In A GSM Type System."
Biax recently shipped a 15-inch proto type system ibr the production of cellulose fibers.
Amplifiers for Cable TV or Closed Circuit TV (Type System II, 750 MHz Dual, 500MHz Dual, 750 MHz Single, 500 MHz Single) in a 20ft container are sought by a distributor here.
The central issue is that the type system of bytecode verification is based upon sets of types, and there may not be names for all of these sets in the Java type hierarchy.
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. However, The Army H-60 program developed a mirror KAMNET system for its Australian customers outside of the government firewall that meets all their needs.
To obtain information, users can click on hypertext instead of having to type system commands.
One of the goals of the ODMG standard is a unified type system that works uniformly across database and programming languages.
The editors, version managers, etc., for typed languages can be improved by making them aware of the type system. During programming, type information might be computed incrementally and used, for example, to warn about errors and to help the programmer understand the program.