International Symposium on Theoretical Programming
Nepomniaschy, V. A. / Ershov, A.
An axiomatic definition of the programming language PASCAL.- The logic of "can do".- Copying in commutation ¿ Operator schemata.- On synthesizing programs given by examples.- Central technical issues in programming language design.- Sur quelques syst¿s de programmation pour les recherches scientifiques.- Decision problems in computational models.- Non-determined algorithm schemata or R-schemata.- Equivalence and optimization of programs.- On t...