International Symposium on Theoretical Programming : [proceedings held on August 7-11, 1972

edited by Andrei Ershov and Valery A. Nepomniaschy


  • 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 systemes de programmation pour les recherches scientifiques.- Decision problems in computational models.- Non-determined algorithm schemata or R-schemata.- Equivalence and optimization of programs.- On the average speed of automaton with terminal state.- Logical-termal equivalence of program schemata.- On universal classes of program schemas.- Certain decompositions of Godel numbering and the semantics of programming languages.- Criteria for the algorithmic completeness of the systems of operations.- Data flow schemas.- Operation patterns.- Looking for an approach to a theory of models for parallel computation.- Configurable computers: A new class of general purpose machines.- A method for determining program data relationships.- Towards automatical construction of parallel programs.- A calculus for the mathematical theory of computation.- Admissibility of fixed-point induction in first-order logic of typed theories.- A formal approximation theory of semantic data types.- Some features of a language for a proof-checking programming system.

「Nielsen BookData」より


書名 International Symposium on Theoretical Programming : [proceedings held on August 7-11, 1972
著作者等 Ershov, Andreĭ Petrovich
International Symposium on Theoretical Programming
Nepomni︠a︡shchiĭ, Valeriĭ Aleksandrovich
Nepomniaschy V.A.
Ershov A.
シリーズ名 Lecture notes in computer science
出版元 Springer-Verlag
刊行年月 1974
ページ数 407 p
大きさ 25 cm
ISBN 0387067205
NCID BA03582890
※クリックでCiNii Booksを表示
言語 フランス語
出版国 ドイツ