Em uma linguagem de programação, vinculações de atributos a variáveis podem ser estáticas se ocorrerem durante a execução do programa, ou dinâmicas se ocorrerem antes de execução e permanecerem inalteradas.

Variáveis podem ser declaradas explícita ou implicitamente e, independente do tipo da declaração, elas criam vinculações estáticas a seus respectivos tipos de dados.

de dados. (C) Uma linguagem de programação é fortemente tipificada se erros de tipo sempre forem detectados, o que exige que os tipos de todos os operandos possam ser determinados durante a compilação, mas não necessariamente em tempo de execução.

Uma variável declarada com tipo de dado X em um escopo global não pode ser redeclarada em um escopo local com tipo de dado diferente de X.

Os conceitos de coesão e acoplamento são complementares, ou seja, em um projeto de software, se o acoplamento for baixo, fatalmente sua coesão será alta e vice-versa.