About this scholarly article

On the Completeness of a Proof System for a Simple Data-parallel Programming Language (Extended Abstract) by Haridi, Seif; Ali, Khayri; Magnusson, Peter is a scholarly article available to read on EtoBox.

Author

Haridi, Seif; Ali, Khayri; Magnusson, Peter

Publisher

Springer Berlin Heidelberg

Published

1995

Language

EN