semântica axiomática - Axiomatic semantics
Semântica axiomática é uma abordagem baseada na lógica matemática para provar a correção de programas de computador . Ele está intimamente relacionado com a lógica Hoare .
semântica axiomática definir o significado de um comando em um programa descrevendo seu efeito sobre afirmações sobre o estado do programa. As afirmações são lógicas declarações predicados com variáveis, onde as variáveis definem o estado do programa.
Veja também
- Semântica algébricas (ciência da computação) - em termos de álgebras
- Semântica denotacional - pela tradução do programa para outro idioma
- Semântica operacional - em termos do estado da computação
- Semântica formal de linguagens de programação - visão geral
- Semântica transformador de predicados - descreve o significado de um fragmento de programa como a função de transformar uma pós-condição para a pré-condição necessária para estabelecê-lo.
- Afirmação (computação)
Este métodos formais artigo relacionados com é um esboço . Você pode ajudar a Wikipédia expandindo-o . |