mwang (02/21/83)
_D_E_P_A_R_T_M_E_N_T _O_F _C_O_M_P_U_T_E_R _S_C_I_E_N_C_E
_U_N_I_V_E_R_S_I_T_Y _O_F _W_A_T_E_R_L_O_O
_S_E_M_I_N_A_R _A_C_T_I_V_I_T_I_E_S
_S_Y_S_T_E_M_S _S_E_M_I_N_A_R
- Friday, February 25, 1983.
Dr. R. Holt of the University of Toronto will speak on
``_T_h_e _T_u_r_i_n_g _L_a_n_g_u_a_g_e''.
_T_I_M_E: 3.30 PM
_R_O_O_M: MC 5158
_A_B_S_T_R_A_C_T
The Turing Language is a general purpose programming
language that is well suited for teaching programming.
It is designed to support the development of reliable,
efficient programs. It incorporates language features
that decrease the cost of program maintenance and that
support formal verification. The Turing language is
designed so that it can be supported by a user friendly
compiler and run time system of modest size.
Turing alleviates many difficulties with PASCAL, for
example, it provides convenient string handling, its
variant records are type safe and it has flexible ar-
rays.
February 21, 1983