You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
clarus edited this page Nov 13, 2014
·
6 revisions
Our goal is to use Coq to express highly concurrent programs in a safe manner. We will focus on two main examples:
web servers
client applications with a GUI
We oppose concurrent programs, which have to execute many tasks at the same time from the point of view of the programmer, to parallel programs, which execute many tasks simultaneously from the point of view of the hardware.