axiomatic semantics - ορισμός. Τι είναι το axiomatic semantics
Diclib.com
Λεξικό ChatGPT
Εισάγετε μια λέξη ή φράση σε οποιαδήποτε γλώσσα 👆
Γλώσσα:

Μετάφραση και ανάλυση λέξεων από την τεχνητή νοημοσύνη ChatGPT

Σε αυτήν τη σελίδα μπορείτε να λάβετε μια λεπτομερή ανάλυση μιας λέξης ή μιας φράσης, η οποία δημιουργήθηκε χρησιμοποιώντας το ChatGPT, την καλύτερη τεχνολογία τεχνητής νοημοσύνης μέχρι σήμερα:

  • πώς χρησιμοποιείται η λέξη
  • συχνότητα χρήσης
  • χρησιμοποιείται πιο συχνά στον προφορικό ή γραπτό λόγο
  • επιλογές μετάφρασης λέξεων
  • παραδείγματα χρήσης (πολλές φράσεις με μετάφραση)
  • ετυμολογία

Τι (ποιος) είναι axiomatic semantics - ορισμός

APPROACH BASED ON MATHEMATICAL LOGIC FOR PROVING THE CORRECTNESS OF COMPUTER PROGRAMS; CLOSELY RELATED TO HOARE LOGIC; DEFINE THE MEANING OF A COMMAND IN A PROGRAM BY DESCRIBING ITS EFFECT ON ASSERTIONS ABOUT THE PROGRAM STATE

axiomatic semantics         
<theory> A set of assertions about properties of a system and how they are effected by program execution. The axiomatic semantics of a program could include pre- and post-conditions for operations. In particular if you view the program as a state transformer (or collection of state transformers), the axiomatic semantics is a set of invariants on the state which the state transformer satisfies. E.g. for a function with the type: sort_list :: [T] -> [T] we might give the precondition that the argument of the function is a list, and a postcondition that the return value is a list that is sorted. One interesting use of axiomatic semantics is to have a language that has a finitely computable sublanguage that is used for specifying pre and post conditions, and then have the compiler prove that the program will satisfy those conditions. See also operational semantics, denotational semantics. (1995-11-09)
Axiomatic semantics         
Axiomatic semantics is an approach based on mathematical logic for proving the correctness of computer programs. It is closely related to Hoare logic.
semantics         
SEMANTICS IN ALL CATEGORIES
Semantic; Semantically; Semantician; Sematics; Meaning (linguistics); Meaning (linguistic); Semantics (linguistics); Meaningful; Semanticist; Cognitive meaning; Linguistic semantics; Linguistic meaning; Sepersontics; Cognitive meanings; Psychological semantics; Meaningfulness; Natural language semantics; Psychosemantics; Theories of semantics; Cross-cultural semantics; Semantics (natural language); Semantics (philosophy); History of semantics
Note: The form 'semantic' is used as a modifier.
Semantics is the branch of linguistics that deals with the meanings of words and sentences.
N-UNCOUNT

Βικιπαίδεια

Axiomatic semantics

Axiomatic semantics is an approach based on mathematical logic for proving the correctness of computer programs. It is closely related to Hoare logic.

Axiomatic semantics define the meaning of a command in a program by describing its effect on assertions about the program state. The assertions are logical statements—predicates with variables, where the variables define the state of the program.