VDict - Definition of static type-checking

search result for static type-checking in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 Next > Last

ECSP Cecil Trellis Persistent Functional Language type-ahead instantiation static database management system Very Long Instruction Word single static assignment static analysis static link Complementary Metal Oxide Semiconductor Amber Eiffel static DBMS polymorphism static RAM constructed type generic type variable static nested scoping subtype type inference principal type Machiavelli Run-Time Type Information implicit type conversion volatile variable algebraic data type lclint recursive type type type scheme Minnesota Internet Users Essential Tool polymorphic lambda-calculus static random access memory discriminated union B-Toolkit type assignment lexical scope Concurrent Euclid Mesa abstract data type functor typed lambda-calculus D-type priority scheduling injection derived type Pentium aggregate type union Ponder weak typing Quest explicit type conversion file type semiconductor enumerated type tuple sound 431A BSRAM sum of products type strong typing HOOD Hungarian Notation SRAM load balancing s///fractal dimension CLU SSA memory farts schematic type variable Pascal data type Boolean Burst Static Random Access Memory Categorical Abstract Machine Language header

First < Previous 1 2 3 4 5 6 Next > Last