Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Davis R. — Truth, deduction, and computation: logic and semantics for computer science
Davis R. — Truth, deduction, and computation: logic and semantics for computer science

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Truth, deduction, and computation: logic and semantics for computer science

Автор: Davis R.

Аннотация:

The study of programming languages is central to the study of computer
science. When studying a programming language, one must
learn both the syntax and the semantics of the language in order to
understand it, rather than simply be able to use it. Everyone knows
and agrees upon what is meant by the syntax of a language, but
what do we mean by “semantics” ? What one requires of a description
of the semantics of a language is dependent upon one’s point of
view. A compiler writer is happy with a description of the operational
semantics of a language; someone interested in proving properties
of a given program might prefer to use the axiomatic
semantics of the language. A language designer, being as concerned
with what can be said as with how to say it, may prefer a denota-
Preface
tional (mathematical) description. The denotational description is
also most useful when attempting to prove the equivalance of different
implementations of the same language.


Язык: en

Рубрика: Разное/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 1989

Количество страниц: 281

Добавлена в каталог: 01.07.2017

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2019
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте