Sign in

On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language.

Luc BougéYann Le GuyadecGil UtardBernard Virot
Published in: CONPAR (1994)
Keyphrases
  • programming language
  • data processing
  • high level
  • computer programs
  • data integrity
  • database
  • machine learning
  • artificial intelligence
  • xml documents
  • end users
  • software engineering