Login / Signup

A type system for data independence of loop iterations in a directive-based PGAS language.

Tatsuya Abe
Published in: MPLR (2019)
Keyphrases
  • data independence
  • strongly typed
  • database systems
  • type checking
  • natural language
  • programming language
  • database management systems
  • databases
  • data model
  • data types