The laws of programming unify process calculi.

Tony Hoare Stephan van Staden

Published in: Sci. Comput. Program. (2014)

Keyphrases

learning algorithm
real time
databases
search engine
search algorithm
user interface
general purpose
programming language
development process
programming course