Питтс Э.М. Семантика языков программирования

формат pdf
размер 988.84 КБ
добавлен 05 октября 2010 г.

Компьютерная лаборатория Кембриджского университета, 1997-2000. 30 с.

Материалы 12 лекций для IB-части экзамена по информатике предназначены для изучения семантики языков программирования. Целью курса является внедрение структуры, использующей операторный подход к программированию языка семантики. Он показывает, как используется формализм для определения значения конструирования некоторого простого языка программирования и формального рассуждения о семантических свойствах программ.

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

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

Баррон Д. Введение в языки программирования

формат djvu
размер 1.22 МБ
добавлен 08 сентября 2010 г.

Цель книги Д. Баррона, хорошо знакомого читателям по двум его книгам из серии "Математическое обеспечение ЭВМ", - помочь разобраться в существующем многообразии языков программирования. Общие принципы их построения иллюстрируются примерами из таких известных языков, как АЛГОЛ-60, ФОРТРАН, АЛГОЛ-68, ПЛ/1, АПЛ. В доступной и интересной форме, но вместе с тем достаточно аккуратно, рассматриваются основные понятия языков программирования, значительно...

Баррон Д. Рекурсивные методы в программировании

формат djvu
размер 1.43 МБ
добавлен 25 января 2010 г.

М.: Мир, 1974. - 81 с. В книге излагаются рекурсивные методы программирования и демонстрируются возможности рекурсивного описания алгоритмов. Эти методы получают все большее распространение в практике программирования, и возможность их применения учитывается при разработке языков программирования и вычислительных машин. В книге показаны перспективы использования рекурсивных методов. Их удобство и эффективность демонстрируются на различных примера...

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

формат doc
размер 2.69 МБ
добавлен 24 ноября 2009 г.

Мир, 2000. -366 с. В книге рассматриваются базовые понятия языков программирования: среды программирования, подпрограммы, указатели, полиморфизм и наследование, исключения, параллелизм и декомпозиция программы. Обсуждается языковая поддержка объектно-ориентированного программирования. Приведенные языковые конструкции богато иллюстрированы примерами. Основное внимание уделяется языкам C++ и Ada 95, однако не остаются забытыми Pascal, Fortran, PL/I...

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

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

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

Грис Д. Наука программирования

формат djvu
размер 6.71 МБ
добавлен 12 августа 2009 г.

-М. , 1984. - 416 с. Монография известного американского ученого написана, как введение в науку программирования. Для программистов и разработчиков математического обеспечение ЭВМ. Список частей: 1. Зачем нужно использовать логику и доказывать правильность программ? 2. Семантика простого языка программирования. 3. Построение программ.

Кораблин Ю.П. Семантика языков программирования

формат pdf
размер 28.85 МБ
добавлен 09 ноября 2010 г.

Издательство: МЭИ-1992г. Учебное пособие по курсу «Семантика языков программирования». Московский Энергетический институт (Технический университет). Кафедра прикладной математики. Рассмотрены вопросы формальной семантики программирования. Особое внимание уделено рассмотрению аксиоматической и денотационной семантики языков программирования, их прикладных аспектов. Пособие предназначено для студентов старших курсов специальности «Прикладная матема...

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

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

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

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

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

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

Реферат - Языки программирования низкого и высокого уровня. Классификация алгоритмических языков

Реферат

формат doc
размер 348 КБ
добавлен 14 октября 2010 г.

Содержание. Введение. Язык программирования. Начало развития. Классификация языков программирования. Машинно-ориентированные языки. Машинный язык. Языки символического кодирования. Автокоды. Макрос. Машинно-независимые языки. Проблемно – ориентированные языки. Универсальные языки. Диалоговые языки. Непроцедурные языки. Эволюция языков программирования. Ассемблер. Лисп. Фортран. Бейсик. Рефал. Пролог и Пролог ++. Лекс. Си. Си++. Низкоуровневый язы...

Себеста Р.У. Основные концепции языков программирования

формат djvu
размер 9.5 МБ
добавлен 08 сентября 2010 г.

Книга, ставшая бестселлером в США, посвящена всестороннему обсуждению основных концепций языков программирования. Автор описывает фундаментальные понятия программирования на примере вопросов разработки различных языковых конструкций, подвергая критическому анализу их реализацию в широком спектре таких языков программирования, как FORTRAN, PASCAL, PL/1, C, C++, Ada, Java, Smalltalk, Eifell и Lisp. Материал книги охватывает все парадигмы программир...