Pretraga

Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 3821

Verification of parallel programs using evolving algebras

Urbiha, Igor
Verification of parallel programs using evolving algebras // Proceedings of the 19th international conference on information technology interfaces / Kalpic, Damir ; Hljuz Dobric, Vesna ; (ur.).
Pula, Hrvatska: Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 1997. str. 389-393 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

CROSBI ID: 3821 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Verification of parallel programs using evolving algebras

Autori
Urbiha, Igor

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the 19th international conference on information technology interfaces / Kalpic, Damir ; Hljuz Dobric, Vesna ; - : Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 1997, 389-393

Skup
The 19th International Conference on Information Technology Interfaces (ITI"97)

Mjesto i datum
Pula, Hrvatska, 17.06.1997. - 20.06.1997

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
concurrency; parallel programs; verification; specification; evolving algebra

Sažetak
This article presents an original method of verification of parallel programs using the notions of evolving algebra (EA) and run. The main idea is to give a method based around EA framework with which it will be easy to prove statements regarding states which programs and their environments undergo during execution.

Izvorni jezik
Engleski

Znanstvena područja
Matematika



POVEZANOST RADA

Projekti:
037010

Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb

Profili:

Avatar Url Igor Urbiha (autor)

Citiraj ovu publikaciju:

Urbiha, Igor
Verification of parallel programs using evolving algebras // Proceedings of the 19th international conference on information technology interfaces / Kalpic, Damir ; Hljuz Dobric, Vesna ; (ur.).
Pula, Hrvatska: Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 1997. str. 389-393 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Urbiha, I. (1997) Verification of parallel programs using evolving algebras. U: Kalpic, D., Hljuz Dobric, V. & (ur.)Proceedings of the 19th international conference on information technology interfaces.
@article{article, author = {Urbiha, Igor}, year = {1997}, pages = {389-393}, keywords = {concurrency, parallel programs, verification, specification, evolving algebra}, title = {Verification of parallel programs using evolving algebras}, keyword = {concurrency, parallel programs, verification, specification, evolving algebra}, publisher = {Sveu\v{c}ili\v{s}ni ra\v{c}unski centar Sveu\v{c}ili\v{s}ta u Zagrebu (Srce)}, publisherplace = {Pula, Hrvatska} }
@article{article, author = {Urbiha, Igor}, year = {1997}, pages = {389-393}, keywords = {concurrency, parallel programs, verification, specification, evolving algebra}, title = {Verification of parallel programs using evolving algebras}, keyword = {concurrency, parallel programs, verification, specification, evolving algebra}, publisher = {Sveu\v{c}ili\v{s}ni ra\v{c}unski centar Sveu\v{c}ili\v{s}ta u Zagrebu (Srce)}, publisherplace = {Pula, Hrvatska} }

Podijeli:





Contrast
Increase Font
Decrease Font
Dyslexic Font
CROSBI koristi kolačiće (cookies) kako bi poboljšao funkcionalnost stranice.