From Wikipedia, the free encyclopedia
Αξιωματική σημασιολογία (axiomatic semantics) ονομάζεται μια προσέγγιση της απόδειξης της ορθότητας προγραμμάτων, η οποία βασίζεται στη μαθηματική λογική. Έχει στενή σχέση με τη λογική Χόαρ.
Το λήμμα παραθέτει τις πηγές του αόριστα, χωρίς παραπομπές. |
Η αξιωματική σημασιολογία ορίζει τη σημασία μιας εντολής ενός προγράμματος περιγράφοντας την επίδρασή της σε βεβαιώσεις (assertions) σχετικά με την κατάσταση του προγράμματος. Οι βεβαιώσεις είναι λογικές προτάσεις - κατηγορήματα με μεταβλητές, όπου οι μεταβλητές περιγράφουν την κατάσταση του προγράμματος.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.