В книге известных американских специалистов излагаются математические понятия и методы теории автоматов и формальных грамматик, лежащие в основе проектирования компиляторов, и показывается, как их применять на практике. Применение теории детально продемонстрировано на примере компилятора для учебного языка программирования. Разработанный авторами метод позволил им включить в синтаксический блок значительную часть того, что обычно относится к семантике (генерации кода). Изложение строгое, но не формальное, доступное читателю, не имеющему специальной математической подготовки. Книга рекомендуется широкому кругу системных программистов и студентов соответствующего профиля (особенно инженерных вузов).

Книга содержит подробное изложение теории и практики построения компиляторов Приводится детальное описание типичного компилятора с упрощенного подмножества языка PL/I, позволяющее практически овладеть методикой его проектирования. Дается описание трансляторов, их эффективности, согласования транслятора с машиной, с человеком, а также описание языков Книга адресована системным программистам, разработчикам программного обеспечения ЭВМ и АСУ. а также студентам и аспирантам.

Данная книга является первым в России изданием, рассматривающая функциональное программирование в полном объеме, достаточном для понимания новичку и для использования книги в качестве справочного пособия теми, кто уже использует парадигму функционального программирования в своей практике. Изучение прикладных основ показано на примере языка Haskell, на сегодняшний день являющегося самым мощным и развитым инструментом функционального программирования. Издание можно использовать и в качестве учебника по функциональному программированию, и в качестве самостоятельного учебного пособия по смежным дисциплинам, в первую очередь по комбинаторной логике и λисчислению. Также книга будет интересна тем, кто всерьез занимается изучением новых компьютерных технологий, искусственного интеллекта и экспертных систем.

Рассмотрены объектно-ориентированная и обобщенная (с использованием стандартной библиотеки) технологии программирования, иллюстрируемые примерами решения классических задач прикладного программирования: сортировок массивов и файлов, транспортной задачи, поиска в таблице, обработки списков и работы с очередями. В качестве базового используется язык программирования высокого уровня C++. Подробно рассматривается стандартная библиотека языка C++. В пособие и компакт-диск включены демонстрационные программы, вопросы и упражнения для самопроверки с ответами, тесты и задания для курсового проектирования, а также справочная информация по C++.

В книге английских специалистов рассмотрены проблемы аппликативного программирования, существенно повышающего интеллектуальность разрабатываемых программ по сравнению с традиционным программированием. При этом спецификация предметной области существенно упрощает труд программиста. Особое внимание уделяется вопросам реализации функциональных языков, основанных на лямбда-исчислении Черча. В качестве базового языка рассматривается функциональный язык Hope, имеющий простой и ясный синтаксис. Изложение сопровождается многочисленными примерами конкретных программ. Книга предназначена для программистов как начинающих, так и профессионалов, а также специалистов в области информатики.

После урока по программированию и схемотехники читатель получает подробные сведения о том, как происходит написание трансляция и отладка программ, познакомится с программными средствами, облегчающими редактирование и отладку программ. В заключении вы познакомитесь с принципами построения программаторов для прошивки оттранслированных программ в микросхему микроконтроллера, рассмотрите конкретную схему программатора и научитесь работать с программой, управляющей этим программатором. Книга рассчитана на широкий круг читателей. Она будет полезна разработчикам электронных устройств, радиолюбителям и студентам технических ВУЗов.

Эта книга знакомит читателя с такими популярным CASE-средством, как Rational Rose. В ней показывается, как при помощи пакета Rational Rose на основе UML-диаграмм создается программная система от замысла до создания исполняемого кода. Повторяя описанные в книге действия, читатель сам пройдет этот путь, целью которого будет создание полноценного приложения. На каждом шаге в создании проекта подробно описываются возможности этого сложного инструмента для проектирования и создания программного кода системы. Книга открывает пути использования пакета Rational Rose не только для аналитика, но и для программиста, показывая процесс описания поведения обьектов и иерархии классов для конкретного приложения.

The newly updated and expanded second edition of this acclaimed title covers 32-bit development for all Microsoft(r) Windows platforms, including Windows 2000, using the Microsoft Foundation Class Library (MFC). Aimed at developers who wish to capitalize on advances in the MFC for rapid, object-oriented programming, the book delves into MFC basics, progresses to the document/view architecture, then addresses advanced topics including ActiveX(r), OLE, and COM. Author Jeff Prosise once again sets the standard in describing the art of writing MFC-based Windows applications with his clear and comprehensive treatment of concepts and techniques. Readers will discover how to produce incredible functionality with little new code by appropriating MFC code from the class library. They'll also find sample programs and executables on the book's CD-ROM to further fuel their own projects.

Clean code that works - now. This is the seeming contradiction that lies behind much of the pain of programming. Test-driven development replies to this contradiction with a paradox-test the program before you write it. A new idea? Not at all. Since the dawn of computing, programmers have been specifying the inputs and outputs before programming precisely. Test-driven development takes this age-old idea, mixes it with modern languages and programming environments, and cooks up a tasty stew guaranteed to satisfy your appetite for clean code that works-now. Developers face complex programming challenges every day, yet they are not always readily prepared to determine the best solution. More often than not, such difficult projects generate a great deal of stress and bad code. To garner the strength and courage needed to surmount seemingly Herculean tasks, programmers should look to test-driven development (TDD), a proven set of techniques that encourage simple designs and test suites that inspire confidence.

Whether you have a small team that is already closely aligned with your customers or a large team in a gigantic or multinational organization, you will find in these pages a wealth of ideas to challenge, inspire, and encourage you and your team members to substantially improve your software development.

The technologies discussed in this publication, the limitations on these technologies that technology and content owners seek to impose, and the laws actually limiting the use of these technologies are constantly changing. Thus, some of the hacks described in this publication may not work, may cause unintended harm to systems on which they are used, or may not be consistent with applicable user agreements. Your use of these hacks is at your own risk, and O'Reilly Media, Inc. disclaims responsibility for any damage or expense resulting from their use. In any event, you should take care that your use of these hacks does not violate any applicable laws, including copyright laws.

Настоящая оперативная информация по REXX предназначена для ознакомления с языком, получения сведений об его основных особенностях и возможностях, а также для формирования представления о базовых принципах его работы. Разделы от "Приступая к работе .." до "PMREXX" представляют собой краткий обзор, основанный на информации об общих концепциях REXX, в то время как разделы "Инструкции" и "Функции" содержат конкретные сведения обо всех инструкциях и функциях, которые являются частью языка. Для получения более детальной информации по языку REXX обращайтесь к документу Язык процедур 2/REXX. Справочник или Руководство пользователя.

Structure and Interpretation of Computer Programs has had a dramatic impact on computer science curricula over the past decade. This long-awaited revision contains changes throughout the text. There are new implementations of most of the major programming systems in the book, including the interpreters and compilers, and the authors have incorporated many small changes that reflect their experience teaching the course at MIT since the first edition was published. A new theme has been introduced that emphasizes the central role played by different approaches to dealing with time in computational models: objects with state, concurrent programming, functional programming and lazy evaluation, and nondeterministic programming. There are new example sections on higher-order procedures in graphics and on applications of stream processing in numerical programming, and many new exercises. In addition, all the programs have been reworked to run in any Scheme implementation that adheres to the IEEE standard.

Successfully managing the relationship between business and technology is a daunting task faced by all companies in the twenty-first century. Beyond Software Architecture is a practical guide to properly managing this mission-critical relationship. In our modern economy, every software decision can have a significant impact on business; conversely, most business decisions will influence a software application's viability. This book contains keen insights and useful lessons about creating winning software solutions in the context of a real-world business

Written for both experienced and new users, Design Verification with e gives you a broad coverage of e. It stresses the practical verification perspective of e rather than emphasizing only its language aspects.

Aspect-oriented programming (AOP) is a revolutionary new way to think about software engineering. AOP was introduced to address crosscutting concerns such as security, logging, persistence, debugging, tracing, distribution, performance monitoring, and exception handling in a more effective manner. Unlike conventional development techniques, which scatter the implementation of each concern into multiple classes, aspect-oriented programming localizes them.

This book was motivated by my experience in teaching the course E&CE 250: Algorithms and Data Structures in the Computer Engineering program at the University of Waterloo. I have observed that the advent of object-oriented methods and the emergence of object-oriented design patterns has lead to a profound change in the pedagogy of data structures and algorithms. The successful application of these techniques gives rise to a kind of cognitive unification: Ideas that are disparate and apparently unrelated seem to come together when the appropriate design patterns and abstractions are used.

This book attempts to capture that subconscious list of heuristics in a concrete list backed up by real-world examples. The reader will become immediately aware that some heuristics are much stronger than others. The strength of a heuristic comes from the ramifications of violating it. The reader does not get a prioritized ordering of the heuristics. It is my feeling that in many cases the sense of priority is defined by a combination of the application domain and the user's needs and cannot be quantified here. For example, a common area of design where two heuristics might request opposite directions are those that trade complexity with flexibility. Ask yourself which attribute a software designer desires most, increased flexibility or decreased complexity, and you begin to see the problem of prioritizing heuristics.

Leverage the quality and productivity benefits of patternswithout the complexity! Design Patterns Explained, Second Edition is the field's simplest, clearest, most practical introduction to patterns. Using dozens of updated Java examples, it shows programmers and architects exactly how to use patterns to design, develop, and deliver software far more effectively. You'll start with a complete overview of the fundamental principles of patterns, and the role of object-oriented analysis and design in contemporary software development. Then, using easy-to-understand sample code, Alan Shalloway and James Trott illuminate dozens of today's most useful patterns: their underlying concepts, advantages, tradeoffs, implementation techniques, and pitfalls to avoid. Many patterns are accompanied by UML diagrams. Building on their best-selling First Edition, Shalloway and Trott have thoroughly updated this book to reflect new software design trends, patterns, and implementation techniques. Reflecting extensive reader feedback, they have deepened and clarified coverage throughout, and reorganized content for even greater ease of understanding