Theoretical introduction to programming.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)
It is well-known that programming is more than to write down some code in some programming language. E.g., the formal structure of a program is something like a formal constructive proof. But software can also be considered as a virtual machine. Another point of view is the technological aspect of designing software. From these -- and related -- statements it follows a good programmer has to know more than the constructs of a given programming language: e.g., computational models, formal technologies, limitations on models, technologies and computers, properties of programming languages (and their compilers), interaction between programs, and even philosophical aspects. In this respect the author gives a good introduction to the mentioned fields in form of chapters partitioned into notions (and some exercises), each notion not longer than two pages. So, the book is a good survey for specialists but it is less suitable for deeper studies. Unfortunately, because of its small size, the bibliography can not be very helpful for this aim.
- scientific article; zbMATH DE number 609129
- scientific article; zbMATH DE number 41231
- Programming for mathematicians. Transl. from the French by Donal O'Shea
- scientific article; zbMATH DE number 45099
- Thinking programs. Logical modeling and reasoning about languages, data, computations, and executions
This page was built for publication: Theoretical introduction to programming.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5714286)
