Algebarska semantika

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

• Operacijska semantika
• Denotacijska semantika
• Formalna semantika programskih jezika

Nedovršeni članak Algebarska semantika koji govori o računarstvu treba dopuniti. Dopunite ga prema pravilima Wikipedije.