A language approach to discrete control in computing.

Published in: FeBiD@EuroSys (2010)

Keyphrases

control structures
control system
natural language
programming language
language learning
process control
control problems
website
case study
control method
specification language