Author:
Bougé L.,Cachera D.,Le Guyadec Y.,Utard G.,Virot B.
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. K.R. Apt and E.-R. Olderog. Verification of Sequential and Concurrent Programs. Text and Monographs in Computer Science. Springer Verlag, 1990.
2. L. Bougé, Y. Le Guyadec, G. Utard, and B. Virot. A proof system for a simple data-parallel programming language. In C. Girault, editor, Proc. of IFIP WG 10.3, Applications in Parallel and Distributed Computing, Caracas, Venezuela, April 1994. North-Holland.
3. L. Bougé and J.-L. Levaire. Control structures for data-parallel SIMD languages: semantics and implementation. Future Generation Computer Systems, 8:363–378, 1992.
4. L. Bougé. The Data Parallel Programming Model: A Semantic Perspective. In A. Darte and G.-R. Perrin, editors, Infra, Lecture Notes in Computer Science, chapter 1. Springer Verlag, 1996.
5. Luc Bougé and Gil Utard. Escape constructs in data-parallel languages: semantics and proof system. Technical Report 94–18, LIP, ENS Lyon, 1994.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献