Login / Signup

Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs.

Tim WahlsGary T. Leavens
Published in: SAC (2001)
Keyphrases
  • formal semantics
  • learning algorithm
  • computational complexity
  • databases
  • k means