Войти
LibCat » Книги » Приключения » unrecognised » Therese Hardin - Concepts and Semantics of Programming Languages 2

Therese Hardin - Concepts and Semantics of Programming Languages 2

Здесь есть возможность читать онлайн «Therese Hardin - Concepts and Semantics of Programming Languages 2» — ознакомительный отрывок электронной книги совершенно бесплатно, а после прочтения отрывка купить полную версию. В некоторых случаях можно слушать аудио, скачать через торрент в формате fb2 и присутствует краткое содержание. Жанр: unrecognised, на английском языке. Описание произведения, (предисловие) а так же отзывы посетителей доступны на портале библиотеки ЛибКат.

Therese Hardin Concepts and Semantics of Programming Languages 2 обложка книги
Читать книгу

Concepts and Semantics of Programming Languages 2: краткое содержание, описание и аннотация

Предлагаем к чтению аннотацию, описание, краткое содержание или предисловие (зависит от того, что написал сам автор книги «Concepts and Semantics of Programming Languages 2»). Если вы не нашли необходимую информацию о книге — напишите в комментариях, мы постараемся отыскать её.

This book – composed of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding.<br /><br /><i>Concepts and Semantics of Programming Languages 2</i> presents an original semantic model, collectively taking into account all of the constructs and operations of modules and classes: visibility, import, export, delayed definitions, parameterization by types and values, extensions, etc. The model serves for the study of Ada and OCaml modules, as well as C header files. It can be deployed to model object and class features, and is thus used to describe Java, C++, OCaml and Python classes.<br /><br />This book is intended not only for computer science students and teachers but also seasoned programmers, who will find a guide to reading reference manuals and the foundations of program verification.

Concepts and Semantics of Programming Languages 2 — читать онлайн ознакомительный отрывок

Ниже представлен текст книги, разбитый по страницам. Система сохранения места последней прочитанной страницы, позволяет с удобством читать онлайн бесплатно книгу «Concepts and Semantics of Programming Languages 2», без необходимости каждый раз заново искать на чём Вы остановились. Поставьте закладку, и сможете в любой момент перейти на страницу, на которой закончили чтение.

Тёмная тема
↓
↑
Сбросить

Интервал:

↓
↑

Закладка:

Сделать
1 2

Note that we do not discuss the algorithmic aspect of data processing here. However, choosing the algorithm and the data representation that fit the requirements of the specification is an essential step in program development. Many excellent works have been published on this subject, and we encourage readers to explore the subject further. We also recommend using the standard libraries provided by the chosen programming language. These libraries include tried and tested implementations for many different algorithms, which may generally be assumed to be correct.

Конец ознакомительного фрагмента.

Текст предоставлен ООО «ЛитРес».

Прочитайте эту книгу целиком, купив полную легальную версию на ЛитРес.

Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.

1 2
Тёмная тема
↓
↑
Сбросить

Интервал:

↓
↑

Закладка:

Сделать

Похожие книги на «Concepts and Semantics of Programming Languages 2»

Представляем Вашему вниманию похожие книги на «Concepts and Semantics of Programming Languages 2» списком для выбора. Мы отобрали схожую по названию и смыслу литературу в надежде предоставить читателям больше вариантов отыскать новые, интересные, ещё непрочитанные произведения.


Rod Harden - Sharae and Melissa
Rod Harden
Sharae and Melissa
Jude Hardin - Fire and ice
Jude Hardin
Fire and ice
Джордж Оруэлл - Politics and the English Language
Джордж Оруэлл
Politics and the English Language
Sonja Hauertmann - Ben and Raiffeisen
Sonja Hauertmann
Ben and Raiffeisen
George Orwell - Politics and the English Language and Other Essays
George Orwell
Politics and the English Language and Other Essays
George Orwell - Politics and the English language
George Orwell
Politics and the English language
Dr. Hidaia Mahmood Alassouli - Some Topics in Immigration, Refugees and Exchange Programs Applications
Dr. Hidaia Mahmood Alassouli
Some Topics in Immigration, Refugees and Exchange Programs Applications
Lesley Adkins - Empires of the Plain - Henry Rawlinson and the Lost Languages of Babylon
Lesley Adkins
Empires of the Plain: Henry Rawlinson and the Lost Languages of Babylon
Harriet Sharkey - Need to Know Fertility, Conception and Pregnancy
Harriet Sharkey
Need to Know Fertility, Conception and Pregnancy
John Harding - Florence and Giles
John Harding
Florence and Giles
John Harding - Florence and Giles and The Turn of the Screw
John Harding
Florence and Giles and The Turn of the Screw
Andrey Ermoshin - Learn Languages Easily. Methods of self-regulation for successful learning
Andrey Ermoshin
Learn Languages Easily. Methods of self-regulation for successful learning
Отзывы о книге «Concepts and Semantics of Programming Languages 2»

Обсуждение, отзывы о книге «Concepts and Semantics of Programming Languages 2» и просто собственные мнения читателей. Оставьте ваши комментарии, напишите, что Вы думаете о произведении, его смысле или главных героях. Укажите что конкретно понравилось, а что нет, и почему Вы так считаете.

x