A verified integration of parallel programming paradigms in CC++

CC++ is an object-oriented parallel programming language that uses parallel composition, atomic functions, and single-assignment variables to express concurrency. We show that this programming paradigm is equivalent to several traditional imperative communication and synchronization models, namely m...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Parallel Processing Symposium, 8th International (IPPS '94 s. 44 - 50
Hlavný autor: Sivilotti, P.A.G.
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE Comput. Soc. Press 1994
Predmet:
Computer languages
Computer science
Delay
Formal verification
Libraries
Object oriented modeling
Parallel processing
Parallel programming
Programming profession
Runtime
ISBN:0818656026, 9780818656026
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:CC++ is an object-oriented parallel programming language that uses parallel composition, atomic functions, and single-assignment variables to express concurrency. We show that this programming paradigm is equivalent to several traditional imperative communication and synchronization models, namely monitors and asynchronous channels. Furthermore, the object-oriented nature of CC++ provides an ideal framework for integrating these paradigms. We specify, implement, and formally verify a collection of libraries that integrates these traditional models with CC++.< >
ISBN:0818656026
9780818656026
DOI:10.1109/IPPS.1994.288320