Пирс Б. Типы в языках программирования

формат pdf
размер 3.95 МБ
добавлен 22 февраля 2011 г.

Исследование систем типов, а также языков программирования с точки зрения теории типов, в последнее время превратилось в энергично развивающуюся научную дисциплину, имеющую важные приложения в проектировании программ, дизайне языков программирования, реализации высокопроизводительных компиляторов и в области безопасности. Настоящий текст представляет собой подробное введение в основные понятия, достижения и методы этой дисциплины.

Содержание:

Предисловие
Введение
Математический аппарат
I. Бестиповые системы
II. Простые типы
III. Наследование
IV. Рекурсивные типы
V. Полиморфизм
VI. Системы высших порядков
Приложения

Похожие разделы

Смотрите также

Абрамян М.Э. 1000 задач по программированию. Часть I

формат pdf
размер 747.05 КБ
добавлен 30 ноября 2011 г.

Часть I: Скалярные типы данных, управляющие операторы, процедуры и функции. - Ростов н/Д: УПЛ РГУ, 2004. - 43 с Учебник содержит основные разделы по основам программирования: типы данных, управляющие операторы, процедуры и функции. Задачи сформулированы так, что их можно использовать при изучении любого языка программирования

Абрамян М.Э. 1000 задач по программированию. Часть III

формат pdf
размер 616.98 КБ
добавлен 30 ноября 2011 г.

Часть III. Текстовые файлы, составные типы данных в процедурах и функциях, рекурсия, указатели и динамические структуры. - Ростов н/Д: УПЛ РГУ, 2004. - 43 с Учебник содержит основные разделы по основам программирования: Текстовые файлы, составные типы данных в процедурах и функциях, рекурсия, указатели и динамические структуры. Задачи сформулированы так, что их можно использовать при изучении любого языка программирования

Абрамян М.Э. Электронный задачник по программированию (Programming Taskbook). Версия 4.6

формат pdf
размер 566.08 КБ
добавлен 11 сентября 2010 г.

Предназначен для обучения программированию на языках Pascal, Visual Basic, C++, C#, Visual Basic.NET. Содержит 1000 учебных заданий, охватывающих все основные разделы базового курса программирования: от скалярных типов и управляющих операторов до сложных структур данных и рекурсивных алгоритмов.

Григорьев С.А., Ишанов С.А. Сравнительный курс языков программирования Fortran и С

формат pdf
размер 609.43 КБ
добавлен 28 января 2011 г.

Учебное пособие. - Калининград: Изд-во КГУ, 1998. - 94 с. Учебное пособие написано на основе курса лекций "Языки программирования и методы трансляции" и спецкурса "Язык программирования C", читавшихся авторами на математическом факультете КГУ. Пособие содержит достаточно полное описание языков С и Fortran и сравнение основных конструкций этих языков, а также языка Pascal. Отдельная глава посвящена решению практических задач на языках С, Fortran и...

Звенигородский Г.А. Первые уроки программирования (ред. Ершов А.П.)

формат djvu
размер 2.85 МБ
добавлен 27 марта 2011 г.

Библиотечка «Квант». Вып. 41 —М.: Наука, 1985. — 208 с. Цель книги — способствовать формированию у школьников умений и навыков, необходимых для взаимодействия с ЭВМ на языках высокого уровня. Даются конструкции таких языков и основные приемы прикладного программирования. Учащиеся знакомятся с современным уровнем и перспективами развития информатики и вычислительной техники. Текст книги в основном ориентирован на школьников 5 — 8 классов.

Казаков П.В. Объектно-ориентированное программирование

формат pdf
размер 904.94 КБ
добавлен 17 ноября 2008 г.

Эволюция технологии объектно-ориентированного программирования: простые и сложные программные системы, поколения языков программирования. Новые лингвистические объекты языка Object Pascal: изменения в синтаксических конструкциях языка, новые типы данных, структурированная обработка исключений, создание и использование динамических библиотек. Объектная модель языка Object Pascal: основные понятия объектной модели, принцип инкапсуляции, принцип нас...

Картавенко М.В. Презентационные материалы к семестровому курсу лекций Информатика и программирование

формат ppt
размер 647.11 КБ
добавлен 15 августа 2010 г.

Курс рассчитан на студентов первого курса специальности 080801(2) – Прикладная информатика в психологии. Общее количество слайдов: 202. Курс содержит в себе следующие темы. Жизненный цикл программного обеспечения. Алгоритмы. Парадигмы программирования. Языки программирования. Язык программирования С++. Синтаксис языка. Абстрактные типы данных, структуры, классы.

Москаль А.Е., Плисс О.А. и др. Обзор и сравнительный анализ языков программирования

формат pdf
размер 610.84 КБ
добавлен 31 января 2011 г.

Конспект лекций. - СПб.: СПбГУ, 2000. -60 с. Общая задача курса – дать понятие о современных языках программирования, научить выбирать правильный язык программирования, обучить созданию ЯП. В курсе даны особенности трансляции программ, исторический обзор эволюции ЯП, рассмотрены характерные черты языков Ассемблер, Basic, Pascal, C/C++, Prolog, Occam, некоторых функциональных ЯП. Курс подготовлен на кафедре Системного программирования СПбГУ.

Пентковский В.М. Язык программирования Эль-76

формат djvu
размер 6.46 МБ
добавлен 10 апреля 2011 г.

М.: Наука, 1989. - 369 с. Знакомит с языковыми основами построения многопроцессорной вычислительной системы Эльбрус, концепциями создания базового языка программирования высокого уровня Эль-76 и его ролью в использовании системы, а также с принципами разработки базовых средств поддержки современных систем программирования на языках высокого уровня. Дается полное описание Эль-76, а также определяются технические детали, необходимые для всех уровне...

Сафонов В.О. Языки и методы программирования в системе Эльбрус

формат djvu
размер 9.18 МБ
добавлен 10 апреля 2011 г.

М.: Наука, 1989. - 392 с. Рассмотрены методы программирования на языках Эль-76, Паскаль, Клу и на других языках, реализованных на вычислительных комплексах Эльбрус с языко-ориентированной архитектурой. Описаны технологические принципы программирования, основанные на концепции структурированного интерфейса, опыт их применения и программная поддержка на МВК Эльбрус. Приведены практические сведения для использования рассмотренных систем программиров...