作者: Timothy T.R. Colburn

Among the most important problems confronting computer science is that of developing a paradigm appropriate to the discipline. Proponents of formal methods – such as John Mc Carthy, C.A.R. Hoare, and …