Aksjomatycznych semantyka - Axiomatic semantics

Aksjomatycznych semantyka jest podejście oparte na logice matematycznej dla udowodnienia poprawności programów komputerowych . Jest to ściśle związane z logiką Hoare .

Aksjomatycznych semantyka określić znaczenie polecenia w programie, opisując jego wpływ na twierdzeń o stanie programu. Te twierdzenia są logiczne Zwroty-orzeczników ze zmiennych, których zmienne określające stan programu.

Zobacz też

• Algebraiczne semantyka (Informatyki) - w zakresie algebry
• Denotational semantyka - według tłumaczenia programu na inny język
• Semantyka operacyjne - w zakresie stanu obliczeń
• Formalne semantyki języków programowania - przegląd
• Predykatywnych transformator semantyka - opisuje znaczenie fragmentu programu w funkcji przekształcającej postcondition do warunek niezbędny do tego ustalenia.
• Stwierdzenia (obliczeniowa)

To metody formalne związane z kondensatorem artykuł jest en . Można źródło Wikipedia rozszerza ją . v T mi