Satura rādītājs:
Definīcija - ko nozīmē aksiomatiskā semantika?
Aksiomātiskā semantika ir koda gabalam raksturīgo attiecību semantiskās izpausmes. Šie izteicieni var būt noderīgi, aprakstot, kā darbojas kāds programmatūras gabals.
Techopedia izskaidro aksiomatisko semantiku
Interesanta lieta par aksiomātisko semantiku, pretstatot citiem izteicienu veidiem, ir tā, ka tie ir diezgan agnostiski par konkrētiem rezultātiem un apstākļiem. Aksiomātiskā semantika drīzāk raksturo sistēmas darbību. Viens veids, kā to domāt, ir saknes vārda aksioma lietošana, kas nozīmē zināmu plašāku truismu par sistēmu. Piemēram, aksiomātiski semantisks paziņojums par noteiktu funkciju aprakstītu, ko tas paredzēts darīt, kāda veida argumentus tas ņem un kāda veida rezultātus tas dod. Tas neprasa zināšanas par faktiski iesaistītajiem mainīgajiem.
