zbMATH — the first resource for mathematics

Les bases de la programmation. (French) Zbl 0624.68004
Dunod Informatique. Paris: Bordas. VIII, 271 p. FF 138.00 (1983).
The chapters of the book are devoted (in that sequence) to iterative, recursive and recurrent programming, to the interdependence of recursion and recurrence as well as that of recursion and iteration, to regular actions, program transformations, transformation of subprograms from recursion to iteration and to analytical programming. The book provides a motivating survey of the methodological discussions of the seventies.
This book has its first origin in an earlier publication [J. Arsac, La construction de programmes structurés (Paris 1977; Zbl 0451.68014)]. A version in English appeared in 1985 [J. Arsac, Foundations of programming (London 1985; Zbl 0585.68006)].
Reviewer: G.Schmidt

68-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68N01 General topics in the theory of software
68Q60 Specification and verification (program logics, model checking, etc.)