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 ().
Vanjske poveznice
Citations koje popisuje CiteSeer Kolegij zasnovan na ovoj knjizi pri University of York Unificirane teorije programskih jezika, istraživanje pri Oxford University Computing Laboratory
Kategorija:Knjige iz računarstva