Unifying Theories of Programming

Izvor: Hrvatska internetska enciklopedija
Inačica 51551 od 23. kolovoza 2021. u 07:57 koju je unio WikiSysop (razgovor | doprinosi) (Bot: Automatski unos stranica)
(razl) ←Starija inačica | vidi trenutačnu inačicu (razl) | Novija inačica→ (razl)
Skoči na:orijentacija, traži

Unifying Theories of Programming je knjiga o programskoj semantici. Pokazuje kako se denotacijska semantika, operacijska semantika i algebarska semantika mogu kombinirati u unificirani okvir za formalnu specifikaciju, dizajn i implementaciju programa i računalnih sustava.

Autori knjige su C.A.R. Hoare i He Jifeng, a objavljena je 1998. pod Prentice Hall International Series in Computer Science (ISBN 0-13-458761-8).

Vanjske poveznice


Desktop computer clipart - Yellow theme.svg Nedovršeni članak Unifying Theories of Programming koji govori o računarstvu treba dopuniti. Dopunite ga prema pravilima uređivanja Hrvatske internetske enciklopedije.