|
libcats.org
Theories of Programming LanguagesJohn C. ReynoldsThe book addresses various features of programming languages from a mathematical viewpoint. It discusses semantics of things from simple imperative language to failure to concurrency issues using channel based and shared memory concepts. It is a good book to get an idea about most of this concepts if you do away with the math involved. If you can swallow the math you will be able to come up with semantics for various systems fairly quickly. I have read the Winskel's book on semantics. I feel this book is a touch away from all the math stuff compared to Winskel's book. It would be better to refer to Winskels book after this book.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#2
Введение в теорию линейных несамосопряженных операторов в гильбертовом пространствеГохберг И.Ц., Крейн М.Г.
4.08 Mb
#4
Математический анализ. Теория наилучшего приближения в линейных нормированных пространствахГаркави А.Л.
1022 Kb
#5
Введение в теорию линейных несамосопряженных операторов в гильбертовом пространствеГохберг И.Ц., Крейн М.Г.
3.12 Mb
#7
Преобразование Коши линейных непрерывных функционалов и проекторы в весовых пространствах аналитических функцийАнтоненков О. Е.
522 Kb
#9
Линейные операторы в бесконечночастичных пространствахМалышев В.А., Минлос Р.А.Категория: Математика
8.75 Mb
|
|