Login / Signup
A Proofe System for a Simple Data-Parallel Programming Language.
Luc Bougé
Yann Le Guyadec
Gil Utard
Bernard Virot
Published in:
Applications in Parallel and Distributed Computing (1994)
Keyphrases
</>
programming language
object oriented
database
general purpose
data structure
machine learning
software engineering
data processing
programming environment
specification language
functional programming
program code