Book of Donmon Teith

In the 1930s, mathematical logicians studied the notion of "effective comput ability" using such notions as recursive functions, A-calculus, and Turing machines

This book, which contains contributions from leading researchers in France, USA and Great Britain, gives detailed accounts of a variety of methods for describin

proceedings of the symposium. Somecontributorswereunabletoattendthe event.

This book investigates the design of compilers for procedural languages, based on the algebraic laws which these languages satisfy. The particular strategy adop