libcats.org
Главная

Semantics of programming languages

Обложка книги Semantics of programming languages

Semantics of programming languages

This comprehensive text introduces the analysis of the semantics of programming languages and programming logics. It discusses denotational, operational, and axiomatic approaches and the relations between them in a unified framework. Organized around analysis of three languages - the simple imperative language of while commands, a simple applicative language based on the typed lambda calculus, and an Algol-like language which is an extension of the simple languages, the text discusses syntactic and semantic methods appropriate to typed languages. There also self-contained introductions to natural deduction, domain theory, and category theory, and a discussion of modern techniques of possible worlds.
Популярные книги за неделю:

ВАЗ 2110i, -2111i, -2112i

Автор:
Категория: civil, civil, transport
Размер книги: 57.35 Mb

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb
Только что пользователи скачали эти книги:

Hebrew Scholarship and the Medieval World

Автор:
Категория: История
Размер книги: 1.73 Mb

LATEX по-русски

Автор: , Автор:
Размер книги: 56.91 Mb

Dusum Khyenpa's Songs and Teachings

Автор:
Размер книги: 2.34 Mb

San Francisco Noir

Автор: , Автор:
Категория: fiction
Размер книги: 314 Kb

Polymer Electronics

Автор: , Автор:
Категория: Physics
Размер книги: 4.53 Mb