O conjunto de atributos de um sistema de computação que é visível para um programador e possui impacto direto sobre a execução lógica de um programa, como o formato de instruções e as técnicas de endereçamento de memória, define a: