Лабораторный практикум. — Красноярск: Сибирский федеральный университет, 2013. — 75 с. содержит материал, необходимый для решения задач в процессе изучения дисциплины «Практикум по разработке компиляторов». Теоретический материал сопровождается примерами и листингами программ. Предназначен для студентов укрупненной группы направлений подготовки магистров 230000 «Информатика и...
Учебное пособие. — Тамбов: Тамбовский государственный технический университет (ТГТУ), 2021. — 80 с. — ISBN 978-5-8265-2437-4. Вторая часть пособия охватывает следующие направления в области администрирования операционной системы Linux: управление учётными данными, совместное использование данных, виртуальные частные сети, инспектирование сетевого трафика. Рассматриваются задачи...
Учебное пособие. — Тамбов: Тамбовский государственный технический университет (ТГТУ), 2020. — 80 с. — ISBN 978-5-8265-2248-6. Первая часть пособия призвана помочь получить современные навыки по развёртыванию, конфигурированию и обеспечению безопасности решений, использующих операционную систему Linux. Предназначено для студентов 3–4 курсов направления подготовки «Информационные...
CompreQuest Books, 2024. — 530 p. — (Computer Science Fundamentals). Unleash Compiler Mastery: A Futuristic Journey with "Compiler Construction with C"? At the heart of this book is the choice of the C programming language as the vehicle for compiler construction. C, known for its simplicity, portability, and low-level programming capabilities, provides a solid foundation for...
СПб.: Питер, 2023. — 448 с. — (Для профессионалов). — ISBN: 978-5-4461-1842-7. Архитекторы ПО стабильно входят в десятку самых высокооплачиваемых профессий. Но до сих пор не было реального руководства, которое позволило бы разработчикам стать архитекторами. И вот наконец появилась книга, в которой дается всеобъемлющий обзор разнообразных аспектов архитектуры программного...
Форум, 2022. — 176 с. Учебник написан в соответствии с Федеральным государственным образовательным стандартом 3-го поколения. Приведен систематизированный курс освоения теории формальных языков и грамматик - как регулярных, так и контекстно-свободных. Рассмотрены современные задачи лексического, синтаксического и семантического анализа, известные принципы их использования для...
Independently published, 2023. — 117 p. — ISBN-13: 979-8395129604. Ever wondered how computers turn source code into working software? You can learn the art by building your own mini-compiler. A succinct book walks through a minimal yet complete compiler implementation. Compiles a static-typed language into x64 ELF executables.
Independently published, 2023. — 117 p. — ISBN-13: 979-8395129604. Ever wondered how computers turn source code into working software? You can learn the art by building your own mini-compiler. A succinct book walks through a minimal yet complete compiler implementation. Compiles a static-typed language into x64 ELF executables.
Учебное пособие. — Ташкент: Aloqachi, 2010. — 160 с. В учебном пособии рассмотрены вопросы программного обеспечения компьютеров и, в частности, вопросы системного программного обеспечения: операционные системы, файловые менеджеры, программы-утилиты, основы безопасности работы компьютеров. Учебное пособие предназначено для студентов, обучающихся по направлению 5523200 —...
Новосибирск: Изд-во НГТУ, 2020. — 235 с. — ISBN 978-5-7782-4160-2. Работа подготовлена на кафедре автоматики НГТУ. Рецензенты : Малявко А.А., канд. техн. наук, доцент; Колкер А.Б., канд. техн. наук, доцент. В данном пособии описан интерфейс прикладного программирования (API) Unix-совместимых операционных систем: от файловых операций и использования библиотек до методов и...
СПб.: Наука и Техника, 2006. — 320 с.: ил. Книга посвящена описанию фундаментальных основ компьютерной науки и их применению на практике. Рассмотрено большое количество алгоритмов и моделей, которые можно использовать в повседневном программировании. При этом показано, как их использовать. Практически все книги подобной направленности имеют ярко выраженную теоретическую...
Учебное пособие. — Самара: Самарский национальный исследовательский университет им. академика С.П. Королева, 2021. — 172 с. — ISBN 978-5-7883-1695-6. Учебное пособие содержит информацию об основах системного программирования. Рассмотрены общие вопросы создания системных программ различных классов, описаны принципы оптимизации и особенности выполнения системных программ,...
Москва: Юрайт, 2021. — 91 c. — (Профессиональное образоваиие). — ISBN 978-5-534-10015-0. В учебном пособии раскрывается тема основ проектирования интернет-приложения. В первой части пособия содержатся теоретические положения: вводная информация об интернете и способах взаимодействия с ней; технологии построения интернет-приложений; особенности создания клиентской и серверной...
Санкт-Петербург: БХВ, 2003. — 256 с. В книге Светланы Сорокиной, Андрея Тихонова и Андрея Щербакова «Программирование драйверов и систем безопасности. Учебное пособие» содержится оригинальный научный и учебно-методический материал по разработке систем безопасности для операционных сред Windows NT/2000. Здесь приводится рассмотрение вопросов создания разных драйверов уровня ядра...
Springer Science & Business Media, 2009. — 223 p. — ISBN: 978-1-4419-1175-9 e-ISBN: 978-1-4419-1176-6. This book presents a novel approach for Architecture Description Language (ADL)-based instruction-set description that enables the automatic retargeting of the complete software toolkit from a single ADL processor model.
13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000. Revised Papers. — Springer, 2001. — 386 p. This volume contains the papers presented at the 13th International Workshop on Languages and Compilers for Parallel Computing. It also contains extended abstracts of submissions that were accepted as posters. The workshop was held at the IBM T. J....
Anne Rogers and Keshav Pingali June 10, 1991 For MIMD computers to become the computers of choice, compiler technology must improve to a point where the programmer can exploit parallelism without undue programming e ort. This will be achieved when the programmer can get good performance from application programs written using high-level control and data abstractions, leaving it...
Prof. Dr. Arnd Poetzsch-Heffter Software Technology Group TU Kaiserslautern Summer Term 2011 1. Introduction 2. Syntax and Type Analysis 2.1 Lexical Analysis 2.2 Context-Free Syntax Analysis 2.3 Context-Dependent Analysis 3. Translation to Target Language 3.1 Translation of Imperative Language Constructs 3.2 Translation of Object-Oriented Language Constructs 4. Selected Topics...
Pearson, 2013. — 472 p. — ISBN: 978-9332500297. Designed for an introductory course, this text encapsulates the topics essential for a freshman course on compilers. The book provides a balanced coverage of both theoretical and practical aspects. The text helps the readers understand the process of compilation and proceeds to explain the design and construction of compilers in...
М.: Академия, 2014. — 272 с. Пайдаланушылардың тіркеу жазбаларын басқару тәсілдері, сонымен қатар, Unix жүйелерінде сеанстар инициализациясы файлдар көмегімен пайдаланушылар сеанстарын дербестендіру нұсқаулығы сипатталған. Unix-ұқсас операциялық жүйелерде және Windows операциялық жүйелерінде С тіліндегі қолданбалы бағдарламаны құрастыру тәсілінің қысқаша сипаттамасы берілген.
Учебное пособие (курс лекций). — Махачкала: ДГИНХ, 2011. — 108 с. Учебное пособие предназначено для студентов 3 курса, обучающихся на дневном отделении факультета «Прикладная информатика (в экономике)», направления «Информационная безопасность», профиля «Безопасность автоматизированных систем». Введение. Основные возможности операционных систем. Эволюция ОС Windows. Windows,...
Учебное пособие для специальности среднего профессионального образования «Программирование в компьютерных системах (по отраслям)». — Махачкала: ДГУНХ, 2017. — 94 с. Лабораторные работы: Реализации линейных структур. «Знакомство с Си++. Выполнение программы простой структуры». «Использование основных операторов языка Си». «Вычисление функций с использованием их разложения в...
Учебно-методическое пособие. — Минск: Белорусский государственный университет информатики и радиоэлектроники, 2019. — 66 с. — ISBN: 978-985-543-470-3. Содержит теоретический материал и задания для лабораторных работ по курсу «Языки программирования» в рамках действующей программы данного курса. Издание можно использовать для самостоятельной работы студентов указанной...
Монография. — Москва: Высшая школа, 1990. — 221 с. В книге рассмотрены архитектура, состав технических средств и основные функции системного программного обеспечения ЭВМ третьего поколения. Описаны управляющая программа, системы программирования, средства ввода-вывода, процедуры и комплексы системных вспомогательных программ ЕС ЭВМ. Приведено описание основных компонентов...
Rowan University, 2010. — 284 р. Este libro es una revisi?n de una edici?n anterior que fue escrito para un plan de estudios basado en Pascal. Como muchos departamentos de Ciencias de la Computaci?n se han trasladado a C++ como lenguaje de facto para sus respectivos planes de estudio, he elaborado esta edici?n para dar cabida a dichos departamentos. Este libro no pretende ser...
Воронеж: Воронежский государственный технический университет, 2012. — 247 с. В учебном пособии рассматриваются основы организации операционных систем и принципы управления системными ресурсами. Издание соответствует требованиям Государственного образовательного стандарта высшего профессионального образования по направлению 230100 «Информатика и вычислительная техника»,...
Springer, 2018. — 116 p. — ISBN10: 3319973452, 13 978-3319973456. This book introduces readers to the latest advances in sensing technology for a broad range of non-volatile memories (NVMs). Challenges across the memory technologies are highlighted and their solutions in mature technology are discussed, enabling innovation of sensing technologies for future NVMs. Coverage...
Springer, 2012. — 184 p. While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there exist complete precise descriptions of the source and target languages. Additional descriptions of the...
Lambert, 2015. — 575 с. В книге подробно рассматривается разработка компилятора языка программирования высокого уровня. Обсуждаются все этапы реализации от спецификации языка до формирования машинного кода. Приводится исходный код компилятора на нескольких языках программирования. Даются необходимые для создания компилятора сведения по теории формальных языков и грамматик....
Jones & Bartlett Learning, 2009. — 345 p. — ISBN13: 978-0763776275. Algorithms, Languages, Automata, & Compilers A Practical Approach is designed to cover the standard “theory of computing” topics through a strong emphasis on practical applications rather than theorems and proofs. Finite automata, Turing machines, models of computation, complexity, solvability, and other topics...
Лабораторный практикум. — Ставрополь: СКФУ, 2017. — 132 с. Пособие представляет собой материалы по организации лабораторных занятий, а также варианты индивидуальных творческих заданий для самостоятельной работы Предназначено для студентов, обучающихся по направлению 01.03.02 – Прикладная математика и информатика. Может быть полезно студентам, обучающимся по направлениям...
Пособие по одноименной дисциплине для слушателей специальности «Программное обеспечение информационных систем» заочной формы обучения. — Гомель: ГГТУ им. П.О. Сухого, 2017. — 69 с. Данное издание представляет собой пособие по ознакомлению с основами системного программирования, рассмотрены графический интерфейс Windows-приложения, элементы управления, растровая графика,...
New York: Jack W. Crenshaw & Herbert M Sauro, 2011. — 471 p. This fifteen-part series, written from 1988 to 1995, is a non-technical introduction to compiler construction
New York: Springer, 2011. — 456 p. "Principles of Compilers: A New Approach to Compilers Including the Algebraic Method" introduces the ideas of the compilation from the natural intelligence of human beings by comparing similarities and differences between the compilations of natural languages and programming languages. The notation is created to list the source language, target...
3-е изд. (эл.) — М.: Лаборатория знаний, 2014. — 185 с. — ISBN: 9785996325269. В книге излагается структура компилятора, основные принципы построения всех его основных блоков — лексического, синтаксического и семантического анализаторов, а также генератора кода. Методы компиляции программ на Паскале описаны на языке C. Для студентов и специалистов, занимающихся созданием...
Учебное пособие. — Томск: Томский межвузовский центр дистанционного образования, 2006. — 176 с. Данное учебное пособие содержит курс «Системное программное обеспечение», изучаемый студентами специальности 230102 «Автоматизированные системы обработки информации и управление», обучающихся по дистанционной форме. В основу курса положено изучение архитектуры ЭВМ, режимов...
Мир, 1988. — 450 с. Монография учебного характера, написанная американским специалистом. В ней изложены все основные компоненты системного программного обеспечения. Особое внимание уделено их взаимосвязи с архитектурой вычислительных комплексов. Конкретные реализации компонентов обсуждаются на примере трех современных вычислительных систем: IBM/370, VAX, CYBER. Для системных...
Учебное пособие. — Ульяновск: Ульяновский государственный технический университет (УлГТУ), 2015. — 160 с. — ISBN: 978-5-9795-1522-9. Излагаются основы машинно-ориентированного программирования на языке Ассемблер с активным использованием аналогичных управляющих конструкций и структур данных языка Си. Пособие предназначено для студентов, изучающих дисциплину...
Учебное пособие. — СПб.: Питер, 2007. — 638 с.: ил. — ISBN: 978-5-469-00378-6. В книге рассматриваются вопросы сравнительного анализа языков программирования и конструирование компиляторов. В первой части издания подробно обсуждаются языки Ява и Си#. Большое внимание уделяется Оберону — одному из самых совершенных языков программирования. В этой книге впервые публикуется его...
Учебное пособие. — СПб.: БХВ-Петербург, 2005. — 272 с. — ISBN: 5-94157-285-9. Рассмотрены формальные модели грамматик и языков, грамматики Хомского, методы синтаксического анализа формальных языков и приемы генерации кода в современных компиляторах. Особое внимание уделено постановке базовых проблем теории формальных языков, пониманию основных задач построения трансляторов....
Учебно-методическое пособие по дисциплине «Системное программное обеспечение ЭВМ» для студентов специальности «Вычислительные машины, системы и сети». — Минск: БГУИР, 2007. — 48 с. Учебно-методическое пособие посвящено вопросам синхронизации параллельных взаимодействующих процессов. Описаны основные проблемы, возникающие при этом, и пути их решения, рассмотрены типовые...
2-е изд. — СПб.: КОРОНА принт, 2004. — 256 с.
В учебном пособии излагаются классические модели, методы, алгоритмы теории формальных языков и грамматик и их применение при построении синтаксически-управляемых трансляторов. Приводятся примеры программной реализации конечных и магазинных автоматов на языке Паскаль, конвертора программ. Рассмотрена технология автоматизированного...
Методическое пособие для студентов специальности Информатика всех форм обучения. — Мінск: БГУИР, 2012. — 88 с. В методическом пособии рассматривается описание методов, техник и технологий формального определения языков программирования и построения различных анализаторов исходных программ, используемых при разработке трансляторов. Пособие содержит методы и технологии построения...
2-е изд. — М.: Интуит, 2016. — 374 с. Данный курс посвящен принципам разработки компиляторов. Основные задача данного курса - познакомить студентов с базовыми идеями и методами, используемыми при создании современных компиляторов, а также дать практические навыки написания простых компиляторов. В качестве целевой платформы для компиляторов в данном курсе используется Microsoft...
2-е изд. — М.: Интуит, 2016. — 372 с. В курсе излагаются основные разделы теории разработки коммnиляmров. Рассмотрены средства, при помощи которых происходит автоматизация процесса разработки трансляторов: LEX, YACC, СУПЕР, методы генерации оптимального кода.
Учебное пособие. — Самара: Изд-во Самар. гос. аэрокосм. ун-та, 2011. – 59 с.
Пособие представляет собой сборник методических указаний к лабораторным работам. В сборник включены краткие теоретическими сведения, необходимые для выполнения лабораторных работ, задания на лабораторные работы, примеры выполнения таких заданий и необходимая справочная информация. Задания на...
НОУ «Интуит», 2016. — 188 p. Курс посвящен методам создания программ, автоматически генерирующих код приложений. Описываются назначение, методы создания, условия применения генераторов кода, позволяющих значительно ускорить и повысить эффективность создания приложений. Рассматриваются способы генерации программного кода для доступа к базам данных, запросов SQL, пользовательских...
Springer, 2001. — 783. We are very pleased to publish this monograph on Compiler Optimizations for Scalable Distributed Memory Systems. Distributed memory systems offer a challenging model of computing and pose fascinating problems regarding compiler optimizations ranging from language design to run time systems. Thus, the research done in this area serves as foundational to...
Amazon Digital Services, 2015. — 594 p. — ASIN: B010Y5UEII
This book covers the following topics related to Compiler Design: Lexical Analysis, Syntax Analysis, Interpretation, Type Checking, Intermediate-Code Generation, Machine-Code Generation, Register Allocation, Function calls, Analysis and optimisation, Memory management and Bootstrapping a compiler.
Пер. с англ. Мальцев В.А. Без издательства. 1999. Эта серия, написанная в период с 1988 по 1995 года и состоящая из шестнадцати частей, является нетехническим введением в конструирование компиляторов. Серия является руководством по теории и практике разработки синтаксических анализаторов и компиляторов языков программирования. До того как вы закончите чтение этой книги, вы...
Навчальний посібник. – Чернівці: ЧНУ, 2008. – 84 c.
У навчальному посібнику вивчаються елементи теорії формальних мов (форми Бекуса-Наура, регулярні вирази, формальні граматики, розпізнавачі, скінченні автомати, магазинні автомати) та теорії скінченних автоматів. Детальніше описано регулярні мови. Розглядаються алгоритми перетворення різних форм представлення автоматних мов з...
Навчальний посібник. – Чернівці: ЧНУ, 2008. – 84 c. У навчальному посібнику описано принципи побудови компіляторів. Розглянуто фази компіляції: лексичний, синтаксичний, семантичний аналізи, фази генерації ї оптимізації коду. Фази лексичного і синтаксичного аналізу вивчаються більш детально. Лексичний аналізатор демонструється на прикладах розпізнавання типових лексем мов...
Учебное пособие. - М.: Издательский отдел факультета ВМК МГУ (лицензия ИД №05899 от 24.09.2001), 2009 - 129 с.
Настоящее пособие является дополнением к ранее выпущенному пособию (Волкова И.А., Руденко Т. В. Формальные грамматики и языки. Элементы теории трансляции) по курсу Системы программирования, который читается на факультете ВМ и КМГУ им. М.В. Ломоносова с середины 1990-х...
Учебник для вузов. — 3-е изд. — СПб.: Питер, 2010. — 400 с.: ил. ISBN: 978-5-49807-153-4 В книге рассматриваются основные теоретические принципы и реализующие их технологии, лежащие в основе современных средств разработки программного обеспечения. В ней содержится вся необходимая информация о трансляторах, компиляторах, интерпретаторах, а также о других составляющих систем...
М.: МГУПИ, 2008. – 148 с.
Настоящее учебное пособие предназначено для подготовки студентов различных вычислительных специальностей, изучающих работу с 32-разрядными микропроцессорами семейства х86 в реальном режиме.
Для специальности 230101 эта работа может использоваться в курсах "Системное программное обеспечение", "Проектирование микропроцессорных систем", "Организация...
Учебно-методическое пособие. — Ижевск : Удмуртский университет, 2010. — 59, [1] с. : ил. Учебно-методическое пособие содержит задания, которые могут быть использованы для проведения практических занятий по учебным курсам "Операционные системы", "Системное программирование", "Технология программирования и перепрограммирования". В помощь студенту большинство примеров представлено...
Минск : БНТУ, 2012. - 82 с.
Приведен теоретический материал по выполнению лабораторных работ по дисциплине «Системное программирование». Рассматриваются вопросы организации и принципы программирования в операционных системах (ОС) семейства Windows, графический оконный интерфейс, использование аппаратных и программных средств современных ОС, предназначенных для управления памятью,...
Springer, 2005 — 494 p.
This book constitutes the thoroughly refereed post-proceedings of the 17th International Workshop on Languages and Compilers for High Performance Computing, LCPC 2004, held in West Lafayette, IN, USA in September 2004.
The 33 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are organized in...
Packt Publishing, 2007 — 105 p.
Trac is a minimalistic open-source enhanced wiki and bug/issue tracking system for software development projects, designed to help developers while staying out of the way and provides an interface to Subversion. Subversion is an open-source version control system that addresses many of the perceived deficiencies of CVS and can use WebDAV for...
O’Reilly, 2009 — 292 p. If you need to parse or process text data in Linux or Unix, this useful book explains how to use flex and bison to solve your problems quickly. flex & bison is the long-awaited sequel to the classic O’Reilly book, lex & yacc. In the nearly two decades since the original book was published, the flex and bison utilities have proven to be more reliable and...
O'Relly, 2007 — 65 p.
Need to extract data from a text file or a web page? Or do you want to make your application more flexible with user-defined commands or search strings? Do regular expressions and lex/yacc make your eyes blur and your brain hurt?
Pyparsing could be the solution. Pyparsing is a pure-Python class library that makes it easy to build recursive-descent parsers...
O’Reilly, 1995. — 387 p. Lex and yacc are tools designed for writers of compilers and interpreters, although they are also useful for many applications that will interest the noncompiler writer. Any application that looks for patterns in its input, or Furthermore, they allow for rapid application prototyping, easy modification, and simple maintenance of programs. To stimulate...
Springer, 2013. — 220 p. — ISBN: 3642175392, 3642175414.
На англ. языке.
While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there exist complete precise descriptions of the source and...
Springer-Verlag, 1996., 446 p., ISBN: 0-387-90821-8
Compiler Construction, a modern text written by two leaders in the in the field, demonstrates how a compiler is built. Describing the necessary tools and how to create and use them, the authors compose the task into modules, placing equal emphasis on the action and data aspects of compilation. Attribute grammars are used...
CRC Press, 2007. - 784 p. - ISBN10: 142004382X Today’s embedded devices and sensor networks are becoming more and more sophisticated, requiring more efficient and highly flexible compilers. Engineers are discovering that many of the compilers in use today are ill-suited to meet the demands of more advanced computer architectures. Updated to include the latest techniques, The...
Полное название: Theory and Techniques of Compiler Construction. An Introduction. Zürich, 2005 Это слегка пересмотренная версия книги, опубликованной Addison-Wesley в 1996. Книгу можно рассматривать как очень расширенную версию главы 5 "Структура языков и трансляторы" книги "Алгоритмы+Структуры данных=Программы". 1. Introduction 2. Language and Syntax 3. Regular Languages 4....
Учеб. пособие. —Тверь: ТГТУ, 2009. — 160 c. Структура и функции системного программного обеспечения в вычислительных системах Вычислительная система Системное и прикладное программное обеспечение Состав системного программного обеспечения вычислительных систем Место компонентов системного программного обеспечения в вычислительных системах Поколения компьютеров и эволюция...
Addison-Wesley Pub (Sd), 1996 — ISBN10: 0201403536, ISBN13: 978-0201403534 — 176 pages. A refreshing antidote to heavy theoretical tomes, this book is a concise, practical guide to modern compiler design and construction by an acknowledged master. Readers are taken step-by-step through each stage of compiler design, using the simple yet powerful method of recursive descent to...
Morgan Kaufmann, 2001 — ISBN10: 1558602860, ISBN13: 978-1558602861 — 790 pages Description: Modern computer architectures designed with high-performance microprocessors offer tremendous potential gains in performance over previous designs. Yet their very complexity makes it increasingly difficult to produce efficient code and to realize their full potential. This landmark text...
International Thomson Computer Press, 1997 — 435 pages.
This book has been written to support a practically oriented course in programming language
translation for senior undergraduates in Computer Science. More specifically, it is aimed at students
who are probably quite competent in the art of imperative programming (for example, in C++,
Pascal, or Modula-2), but whose...
Walla Walla College, 2004 — Open Publication — 102 pages.
This is a guide to compiler construction using compiler's compiler tools like Flex and Bison. Using both tools, you can focus on the concept of compiler without the hassle of building a compiler from scratch. Still, you are required to be fluent in C programming in order to use both tools and the generated C code should...
Издательство неизвестно — 2003 год — 246 с.
(Книга на английском языке)
Plenty of literature is available to learn about compiler construction,
but most of it is either too easy, covering only the very basics, or
too di cult and accessible only to academics. We nd that, most
notably, literature about code generation is lacking and it is in this
area that this book attempts...
Zurich, 1992, 442 p. Вирт Н. , Гуткнехт Ю. Разработка ОС и компилятора. Проект Оберон. Монография "патриарха надёжного программирования" Никласа Вирта и его сотрудника о том, как надо конструировать операционные системы и языки программирования. Historical background and motivation Basic concepts and structure of the system The Tasking System The Display System The Text System...
Учебное пособие. – Омск : Изд-во ОмГТУ, 2004. – 180 с. Предлагаемый учебный курс базируется на ассемблере NASM - Netwide Assembler. Этот ассемблер представляет собой свободно распространяемый продукт. Последнее обстоятельство должно быть особенно существенным для современных российских вузов, так как традиционные ассемблеры фирм Microsoft и Borland/Inprise являются...
М.: Институт системного программирования РАН, 2004. – 7 с.
В работе предлагается технология автоматизированной генерации тестовых наборов для компиляторов по формальному описанию синтаксиса, статической и динамической семантики языка программирования. Предложены новые решения некоторых известных задач тестирования компиляторов. В частности, определяются новые критерии покрытия...
Данная книга подлежит распространению в электронной форме на условиях Attribution-NonCommercial Public License организации Creative Commons.
Эта книга преимущественно адресована молодым людям, связывающим свои планы на будущее с освоением системных функций компьютеров. Чтобы стать понятной для неподготовленного читателя, книга начинается с изложения элементарных сведений и...
Hermes Penton, 2003. - 144 pages.
A comprehensive description is provided of four areas of quantitative approaches in object-oriented software engineering: metrics collection, quality assessment, metrics validation, and process management.
М.: МГУПИ, 2007. – 166 с.: ил. Учебное пособие. Издание 2-е, дополненное. Пособие предназначено для подготовки студентов различных вычислительных специальностей, изучающих работу в среде MS-DOS. Эта работа может использоваться в курсах "Системное программное обеспечение", "Проектирование микропроцессорных систем", "Организация ввода-вывода". В пособии описано семейство...
Учебное пособие для студентов II курса. Издание третье, переработанное и дополненное. Москва, издательский отдел факультета вычислительной математики и кибернетики МГУ им. М. В. Ломоносова, 2009. - 115 стр. Приводятся основные определения, понятия и алгоритмы теории формальных грамматик и языков, некоторые методы трансляции, а также наборы задач по рассматриваемым темам....
2-е изд. — М.: Бук-пресс, 2006. — 512 с. — ISBN 5-9643-0027-8. В этом курсе лекций излагаются классические модели, методы и алгоритмы языка программирования высокого уровня, дается строгое изложение основ теории системного программирования, приводятся примеры программ на языке Ассемблер. Главное внимание уделяется объяснению того, как использовать на практике полученные знания....
Конспект лекцій для студентів спеціальності 6.050103 – Програмна інженерія. – Одеса: ОНПУ, 2009. – 27с.
Вступ
Формальні граматики і мови
Синтаксичний аналіз
Автоматичне налагодження граматик передування
Закріплення матеріалу
Література
Москва: МЗ Пресс, 2006. — 352 с. Предлагаемая вниманию читателя книга основана на курсе лекций, прочитанных на факультете вычислительной математики и кибернетики МГУ им. М.В. Ломоносова и на факультете управления и прикладной математики Московского физико-технического института в 1991-2002 гг. Авторы надеются, что издание книги восполнит существенный пробел в литературе на...
СПб.: БХВ-Петербург,2003. – 471 с.
ISBN: 5-94157-327-8
Учебное пособие содержит систематическое изложение теоретических основ перевода и компиляции. Рассмотрены общие вопросы разработки, описания и реализации языков программирования, формальные методы описания синтаксиса и семантики языков программирования, методы синтаксического анализа современных языков программирования....
2 edition. — Addison Wesley, 2007. — 1009 p. — ISBN-10:0321547985 This book provides the foundation for understanding the theory and pracitce of compilers. Revised and updated, it reflects the current state of compilation. Every chapter has been completely revised to reflect developments in software engineering, programming languages, and computer architecture that have...
Springer, 1998. — 223 p. Is computing an experimental science? For the roots of program optimization the answer to this question raised by Robin Milner ten years ago is clearly yes: it all started with Donald Knuth’s extensive empirical study of Fortran programs. This benchmark-driven approach is still popular, but it has in the meantime been complemented by an increasing body...
Springer, 2006. — 262 p. The influence of embedded systems is constantly growing. Increasingly powerful and versatile devices are being developed and put on the market at a fast pace. The number of features is increasing, and so are the constraints on the systems concerning size, performance, energy dissipation and timing predictability. Since most systems today use a processor...
Springer, 2010. — 196 p. Compilers for high-level programming languages are software systems which are both large and complex. Nonetheless, they have particular characteristics that differentiate them from the majority of other software systems. Their functionality is (almost) completely well-defined. Ideally, there exist completely formal, or at least rather precise,...
Springer, 1997. — 256 p. After 40 years of practice and theory in compiler construction and 30 years of experience and teaching in software engineering we still observe that safety-critical high-level language programs are certified only together with the corresponding machine code. The reason is that certification institutions do not trust any compiler. And they are quite...
Учебное пособие. - 2-е изд. М., 2010. – 91 стр. ISBN 5–230–16344–5
Рассматриваются основы теории формальных языков, приводятся методы и алгоритмы построения основных частей трансляторов и интерпретаторов.
Для студентов, изучающих курсы «Системное программное обеспечение», «Теория компиляторов» и аналогичные.
В настоящем пособии излагаются основы классической теории...
Минск: БГУИР. 2007, — 127с. Для студентов специальности I-40 02 01 «Вычислительные машины, системы и сети» Содержание Операционные системы Предмет курса, его цели и задачи. Методическое обеспечение. История развития системного ПО. Классификация системного ПО. ОС, системы управления файлами, интерфейсы, системы программирования, утилиты. Понятие ресурса в ОС. Концепция...
Слайды к лекциям. Саратовский государственный университет. Преподаватель: Миронов Сергей Владимирович. Содержание: Фазы трансляции на примере. Лексический анализ. Синтаксический анализ. Семантический анализ. Генерация промежуточного кода. Оптимизация кода. Генерация целевого кода. Множества. Операции над множествами. Отношения. Отношение порядка. Вложение частичного порядка в...
Саратовский государственный университет. Преподаватель: Миронов Сергей Владимирович. 122 страницы. Содержание: Первый семестр. Языки программирования. Исторический очерк развития ЯП (3 периода). Парадигмы программирования (императивное, параллелизм, объектно-ориентированное, функциональное, логическое). Фазы компилятора (лексический, синтаксический, семантический анализ,...
Учебное пособие. - Красноярск: СФУ, 2007. - 129с. Цель изучения операционных систем. Процессы. Параллельные потоки. Кооперативные потоки. Синхронизация. Взаимное исключение. Определение семафоров. Определение монитора. Условия возникновения тупика. Принципы планирования процессора. Организация операционных систем. Организация и управление памятью. Кэширование и трансляция...
Конспект лекций. - Красноярск: СФУ, 2007. - 272с. Оглавление Введение в курс Раздел 1. Общая характеристика операционных систем. История развития и совершенствования современных операционных систем (ОС) Общая характеристика современных операционных систем Особенности организации семейства Unix-подобных систем Раздел 2. Процессы Понятие и реализация процессов Планирование...
Пер. с англ. - М.: Мир, 1989. - 264 с., ил. Книга известного системного программиста и теоретика информатики (Великобритания), последовательно излагающая теорию взаимодействующих процессов; эта тематика тесно связана с такими реальными понятиями, как операционные системы, мультипроцессорные комплексы и сети ЭВМ. Автор рассматривает параллелизм в языках высокого уровня АДА,...
Учебное пособие. - Тверь: ТвГУ. - 364 с. Пособие посвящено теории конечных автоматов и регулярных языков, изложены способы задания языков при помощи порождающих грамматик. Детально разобраны вопросы исчисления предикатов, неразрешимые проблемы и неполнота арифметики, понятия вычислительной сложности алгоритмов и полиномиально вычислимых глобальных предикатов.
Пер. с англ. - М.: Издательский дом "Вильямс", 2002. - 256 с.: ил. - ISBN 5-8459-0360-2. Эта небольшая, но емкая книга является введением в теорию создания компиляторов, а также кратким описанием принципов их работы. Материал изложен в расчете на читателя, не знакомого с данным предметом. В тексте предлагаются рекомендации по дополнительной литературе и даны подсказки по...
Новосибирск: НГТУ, 1997. - 59 с. Данное учебное пособие предназначено студентам ФПМИ, изучающим курс "Программное обеспечение ЭВМ. Методы трансляции". Часть 1 данного прособия содержит описание методов проектирования сканера и синтаксических анализаторов нисходящего типа. Описание методов восходящего синтаксического анализа содержится во второй части учебного пособия.
М., 1999. - 193 с. Предлагаемая вниманию читателя книга основана на курсе лекций, прочитанных на факультете вычислительной математики и кибернетики Московского государственного университета и факультете управления и прикладной математики Московского физико-технического института в 1991-1999 гг. Авторы надеются, что издание книги восполнит существенный пробел в литературе на...
Учеб. пособие. СПб.: Издательство С. -Петербургского университета, 2003. 235 с. В учебном пособии излагаются основы математической теории формальных языков и трансляций, знание которой необходимо всем, кто работает в области теоретической или прикладной информатики. Излагаются основные факты теории с доказательствами. Содержание основано на материалах лекций, читавшихся автором...
Учебное пособие. - Вологда: Издательство "Русь", 1994. - 51 с. В пособии рассматриваются алгоритмы, используемые при построении компиляторов и интерпретаторов языков программирования. Показаны возможности применения этих алгоритмов при разработке прикладных программ. Изложение ведется с использованием языка программирования Паскаль и сопровождается большим количеством примеров....
Второе издание. — М.: Добросвет, 2004. — 596 с.
Структура и интерпретация компьютерных программ — это вводный курс по информатике в Массачусетском Технологическом институте (MIT). Он обязателен для всех студентов MIT на специальностях электротехника и информатика, как одна из четырех частей общей базовой программы обучения, которая включает еще два курса по электрическим схемам...
М.: Добросвет, 2006. — 608 с. Книга посвящена описанию различных систем программного синтаксиса, анализу перехода от набора алгоритмов к программному коду. Значительное место уделяется обсуждению набора элементарных программ, использующихся в качестве элементов конструкции программ более высоких уровней сложности, оптимизации соотношения их веса и эффективности. Особое внимание...
Пер. с англ. - М.: Финансы и статистика, 1984. - 232 с. В книге известного английского автора рассматриваются проблемы проектирования и построения компиляторов для языков программирования высокого уровня, в частности Алгола 60, ПЛ/1, Алгола 68, Паскаля и Ады. Основное внимание уделяется целям проектирования надежных компиляторов и средствам их достижения. Практические вопросы...
Эта серия статей является руководством по теории и практике разработки синтаксических анализаторов и компиляторов языков программирования. Прежде чем вы
закончите чтение этой книги, мы раскроем все аспекты конструирования компиляторов, создадим новый язык программирования, и построим работающий компилятор.
СПб.: Питер; Челябинск: ЮрГУ, 2002. Операционные системы и среды. Основные понятия: Понятие операционной среды. Понятия вычислительного процесса и ресурса. Диаграмма состояний процесса. Реализация понятия последовательного процесса в ОС. Процессы и треды. Прерывания. Основные виды ресурсов. Классификация операционных систем. Контрольные вопросы и задачи. Управление задачами и...
СППО - стихУ Лукоморья дуб зелёный И трудно нам спилить его И не поможет кот учёный Просечь и сдать СППОБезмолвна Тьюринга машина Как будто в ней вселился бес И графов мрачные вершины Смыкают свод, как тёмный лес.Уж страшно и надежды нету Всё незнакомо, просто жуть И вот, как луч надежды, к свету Ведёт нас Гамильтонов путьПоникла Тьюринга машина Застряла лента в ней, отнюдь, Но графов строгие вершины Укажут Гамильтонов путьЗдесь в чаще клики притаились Найти одну бы — был бы рад. Тогда задачи б все сводились И налицо — сертификатЯзык мой сводит от волненья: К названьям новым не привык, Но надо всё ж найти решенье Свести машинный бы языкСвело язык, «полимиально»* И ловко был продуман ход, И вот решенье! Гениально! И ждёт заветный нас зачёт.*— «полимиально» – сокр. от полиномиально
Комментарии
И трудно нам спилить его
И не поможет кот учёный
Просечь и сдать СППОБезмолвна Тьюринга машина
Как будто в ней вселился бес
И графов мрачные вершины
Смыкают свод, как тёмный лес.Уж страшно и надежды нету
Всё незнакомо, просто жуть
И вот, как луч надежды, к свету
Ведёт нас Гамильтонов путьПоникла Тьюринга машина
Застряла лента в ней, отнюдь,
Но графов строгие вершины
Укажут Гамильтонов путьЗдесь в чаще клики притаились
Найти одну бы — был бы рад.
Тогда задачи б все сводились
И налицо — сертификатЯзык мой сводит от волненья:
К названьям новым не привык,
Но надо всё ж найти решенье
Свести машинный бы языкСвело язык, «полимиально»*
И ловко был продуман ход,
И вот решенье! Гениально!
И ждёт заветный нас зачёт.*— «полимиально» – сокр. от полиномиально