Turinys:
Apibrėžimas - ką reiškia aksiomatinė semantika?
Aksiomatinė semantika yra semantinė ryšių, būdingų kodo fragmentui, išraiška. Šios išraiškos gali būti naudingos apibūdinant, kaip veikia kažkokia programinė įranga.
„Techopedia“ paaiškina aksiomatinę semantiką
Įdomus aksiomatinės semantikos, palyginti su kitų rūšių išraiškomis, dalykas yra tai, kad jie gana agnostikuoja konkrečius rezultatus ir sąlygas. Aksiomatinė semantika veikiau apibūdina sistemos veikimą. Vienas iš būdų tai galvoti yra šakninio žodžio aksioma vartojimas, kuris reiškia platesnį sistemos truizmą. Pvz., Aksiomatinis semantinis teiginys apie tam tikrą funkciją apibūdintų, ką jis reiškia daryti, kokio argumento reikia ir kokį rezultatą grąžina. Tam nebūtina žinoti apie susijusius kintamuosius.
