Programação imperativa é baseada na arquitetura de von Neumann, onde os conceitos de variável, atribuição e sequenciamento são elementos básicos para a composição da semântica dos programs. Um programa em linguagem imperativa pode ser considerado uma formalização da solução do problema por ele resolvido, mas os modelos teóricos que podem ser usados para descrever o funcionamento deste tipo de programas são demasiadamente complexos ou limitados, tornando muito difícil provar propriedades de solução descrita no pradigma imperativo. 

Alunos envolvidos: Graduação: (7) / Mestrado acadêmico: (1) / Doutorado: (1) .

Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Roberto S. Bigonha – Coordenador / Antonio Alfredo F. Loureiro – Integrante / Abdelali Ed Dbali – Integrante / Pierre Deransart – Integrante / Marcelo de Almeida Maia – Integrante / José Lopes de Siqueira Neto – Integrante.