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ženo v:
Podrobná bibliografie
Vydáno v:Parallel Processing Symposium, 8th International (IPPS '94 s. 44 - 50
Hlavní autor: Sivilotti, P.A.G.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE Comput. Soc. Press 1994
Témata:
Computer languages
Computer science
Delay
Formal verification
Libraries
Object oriented modeling
Parallel processing
Parallel programming
Programming profession
Runtime
ISBN:0818656026, 9780818656026
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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