Algebarska semantika

Izvor: Hrvatska internetska enciklopedija
Skoči na:orijentacija, traži

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


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.