Login / Signup

Using a Functional Language id Graph Reduction to Program Multiprocessor Machines, or Functional Control of Imperative Programs.

Lal GeorgeGary Lindstrom
Published in: IPPS (1992)
Keyphrases
  • functional language
  • imperative programs
  • functional programming
  • programming language
  • proof planning
  • dynamic logic
  • database
  • relational databases
  • integrity constraints
  • plan execution
  • execution model