Algebarska semantika

Izvor: Hrvatska internetska enciklopedija
Inačica 51681 od 23. kolovoz 2021. u 08:18 koju je unio WikiSysop (razgovor | doprinosi) (Bot: Automatski unos stranica)
(razl) ←Starija inačica | vidi trenutačnu inačicu (razl) | Novija inačica→ (razl)
Prijeđi na navigaciju Prijeđi na pretraživanje

Algebarska semantika programskog jezika je oblik aksiomatske semantike zasnovan na algebarskim zakonima za opisivanje i zaključivanje o programskoj semantici na formalan način.

Vidjeti također


Datoteka:Desktop computer clipart - Yellow theme.svg Nedovršeni članak Algebarska semantika koji govori o računarstvu treba dopuniti. Dopunite ga prema pravilima uređivanja Hrvatske internetske enciklopedije.

Dobavljeno iz "https://enciklopedija.cc/index.php?title=Algebarska_semantika&oldid=51681"