Stanów Zjednoczonych Deklaracja niepodległości Izraela Deklaracja praw człowieka i obywatela Powszechna deklaracja praw człowieka deklaracja w informatyce
komputerowy oraz jakie obliczenia opisuje. Teorią języków programowania w informatyce zajmuje się teoria języków formalnych. Podobnie jak języki naturalne
czytelności (dla języków programowania, w których nie jest konieczna jawna deklaracja typów zmiennych). Kontrola typów może mieć postać typowania dynamicznego