Pregled bibliografske jedinice broj: 229127
Dinamičke algebre i semantika jezika OCCAM
Dinamičke algebre i semantika jezika OCCAM, 1996., magistarski rad, Prirodoslovno - matematički fakultet, Matematički odjel, Zagreb
CROSBI ID: 229127 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Dinamičke algebre i semantika jezika OCCAM
(Evolving Algebras and Semantics of the Language OCCAM)
Autori
Matković, Anita
Vrsta, podvrsta i kategorija rada
Ocjenski radovi, magistarski rad
Fakultet
Prirodoslovno - matematički fakultet, Matematički odjel
Mjesto
Zagreb
Datum
07.10
Godina
1996
Stranica
109
Mentor
Rosenzweig, Dean
Ključne riječi
Dinamičke algebre; semantika; OCCAM
(Evolving algebras; semantics; OCCAM)
Sažetak
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.
Izvorni jezik
Hrvatski
Znanstvena područja
Matematika
POVEZANOST RADA
Ustanove:
Fakultet strojarstva i brodogradnje, Zagreb
