libcats.org
Главная

Theory of Program Structures.. Schemes

Обложка книги Theory of Program Structures.. Schemes

Theory of Program Structures.. Schemes

The material in these lecture notes offers an exposition - aijned at graduate students rather than researchers in the field - of a topic often called ''program schemata'' or ''schematology''. The subject matter represents one approach to formalizing the elusive notion of the ''semantics of programming languages''. The idea is to model an ''abstract flowchart'' and study the interrelation between the syntax of programs (what can be said about their behavior from their format) and the semantics (what they actually ''do'', depending on the interpretation, the programming language, and perhaps even the implementation) and examine the application of formal proof systems to verify properties of programs.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: