Goto

Collaborating Authors

 program structure and semantic



Formal description of program structure and semantics in first order logic

Classics

In Meltzer, Bernard and Donald Michie (Eds.). Machine Intelligence 5, pp. 78-98. Edinburgh University Press.