Unifying Theories of Programming: razlika između inačica
Prijeđi na navigaciju
Prijeđi na pretraživanje
Bot: Automatski unos stranica |
m Zamjena teksta - '<!--'''U(.*)'''-->' u '' |
||
| Redak 1: | Redak 1: | ||
'''Unifying Theories of Programming''' je knjiga o [[programska semantika|programskoj semantici]]. Pokazuje kako se [[denotacijska semantika]], [[operacijska semantika]] i [[algebarska semantika]] mogu kombinirati u unificirani okvir za [[formalna specifikacija|formalnu specifikaciju]], dizajn i implementaciju [[računalni program|programa]] i [[računalni sustav|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}}). | 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}}). | ||
Posljednja izmjena od 22. lipanj 2025. u 06:44
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
- Citations koje popisuje CiteSeer
- Kolegij zasnovan na ovoj knjizi pri University of York
- Unificirane teorije programskih jezika, istraživanje pri Oxford University Computing Laboratory
Nedovršeni članak Unifying Theories of Programming koji govori o računarstvu treba dopuniti. Dopunite ga prema pravilima uređivanja Hrvatske internetske enciklopedije.