Dinamičke algebre i semantika jezika OCCAM (CROSBI ID 343206)
Ocjenski rad | magistarski rad (mr. sc. i mr. art.)
Podaci o odgovornosti
Matković, Anita
Rosenzweig, Dean
hrvatski
Dinamičke algebre i semantika jezika OCCAM
U radu je razvijeno nekoliko operacijskih modela jezika OCCAM na različitim razinama apstrakcije. Oni su međusobno povezani dokazima relativne korektnosti. Specifikacija je provedena unutar okvira dinamičkih algebri Y. Gurevicha, blisko razini apstrakcije atomarnih naredbi jezika. Dobiveni model prirodno vodi svom profinjenju do razine apstrakcije arhitekture skupa instrukcija Transputera.
Dinamičke algebre; semantika; OCCAM
nije evidentirano
engleski
Evolving Algebras and Semantics of the Language OCCAM
nije evidentirano
Evolving algebras; semantics; OCCAM
nije evidentirano
Podaci o izdanju
109
07.10.1996.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Prirodoslovno-matematički fakultet, Zagreb
Zagreb