AN AXIOMATIC APPROACH TO ASSEMBLERS

Abstract

O abordare axiomatică a asambloarelor. Scopul principal al asambloarelor este de a atribui valori simbolurilor din program. Programul obiect se asamblează din aceste valori. Se studiază procesul de atribuire a valorilor, valoarea simbolurilor se generează pe baza numărului de treceri şi a gradului de postdefinitate. Se determină numărul exact al trecerilor necesare traducerii programului de asamblare.