Apa itu semantik aksiomatik? - definisi dari techopedia

Definisi - Apa yang dimaksud dengan Semantika aksiomatik?

Semantik aksiomatik adalah ekspresi semantik dari hubungan yang melekat dalam sepotong kode. Ungkapan-ungkapan ini dapat membantu dalam menggambarkan bagaimana beberapa perangkat lunak bekerja.

Techopedia menjelaskan Semantik Aksiomatik

Suatu hal yang menarik tentang semantik aksiomatik yang bertolak belakang dengan jenis ekspresi lain adalah bahwa mereka cukup agnostik terhadap hasil dan kondisi tertentu. Sebaliknya, semantik aksiomatik menggambarkan cara kerja suatu sistem. Salah satu cara untuk memikirkan ini adalah dengan menggunakan kata dasar, aksioma, yang menyiratkan beberapa disangkal yang lebih luas tentang suatu sistem. Misalnya, pernyataan semantik aksiomatik tentang fungsi tertentu akan menjelaskan apa yang harus dilakukan, argumen apa yang diperlukan, dan hasil apa yang dihasilkannya. Ini tidak akan membutuhkan pengetahuan tentang variabel aktual yang terlibat.