Low-level programming language in which there is a very strong correspondence between the program's statements and the architecture's machine code instructions