Login / Signup

Koord: a language for programming and verifying distributed robotics application.

Ritwika GhoshChiao HsiehSasa MisailovicSayan Mitra
Published in: Proc. ACM Program. Lang. (2020)
Keyphrases
  • programming language
  • artificial intelligence
  • natural language
  • databases
  • high level
  • multi agent
  • distributed systems
  • language learning
  • computing environments
  • programming environment
  • programming skills