Semántica axiomática
Contenido keyboard_arrow_down
La
Semántica axiomática es un enfoque basado en la lógica matemática para demostrar la corrección de los programas informáticos. Está estrechamente relacionado con la lógica de Hoare.
La semántica axiomática define el significado de un comando en un programa al describir su efecto sobre las afirmaciones sobre el estado del programa. Las afirmaciones son declaraciones lógicas: predicados con variables, donde las variables definen el estado del programa.
Contenido relacionado
Atomicidad (sistemas de bases de datos)
Función de orden superior
Máquina virtual paralela
Más resultados...