Login / Signup

Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms.

Zhenjiang HuHideya IwasakiMasato Takeichi
Published in: ACM Trans. Program. Lang. Syst. (1997)
Keyphrases
  • real world
  • database
  • parallel processing
  • machine learning
  • information technology
  • relational databases
  • cost effective
  • high level programming language