CRC Press, 2014. — 624 p. — ISBN10: 1466565144, ISBN13: 978-1-4665-6515-9. In programming courses, using the different syntax of multiple languages, such as C++, Java, PHP, and Python, for the same abstraction often confuses students new to computer science. Introduction to Programming Languages separates programming language concepts from the restraints of multiple language...
The MIT Press, 2021. — 832 p. — ISBN 9780262044905. Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs. Formal methods are mathematically rigorous techniques for the specification, development, manipulation, and verification of safe, robust, and secure software and...
London: Springer, 2011. — 102 p. The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, has been one of the key developments in the management of ever more complex computerized systems. Introduction to the Theory of Programming Languages gives the reader the means to discover the tools to think, design, and implement these languages. It...
London: Springer, 2014. — ISBN: 978-1-4471-6367-1 ; 978-1-4471-6368-8. This book from the "Undergraduate Topics in Computer Science" series provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in...
3rd ed. — MIT, 2008. — 433 p. — (The MIT Press). — ISBN: 0262062798, 9780262062794. This book provides students with a deep, working understanding of the essential concepts of programming languages. Most of these essentials relate to the semantics, or meaning, of program elements, and the text uses interpreters (short programs that directly analyze an abstract representation of...
Springer, 2010. — 460 p. — ISBN10: 1848829132. This self-contained textbook assumes that the reader has some familiarity with one programming language, and adopts a simple yet rigorous approach. The author explains the main programming paradigms (imperative, object-oriented, functional, and logic), and makes clear separation between the design, implementation and pragmatic...
Wiley, 2021. — 329 p. — ISBN 978-1786305305. This book – the first of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate presentation of the material aspects that interfere with coding. Concepts and Semantics of Programming Languages 1 is dedicated to...
Wiley, 2021. — 265 p. — ISBN 978-1-78630-602-9. This book – composed of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding. Concepts and Semantics of Programming Languages 2 presents an original...
Cambridge University Press, 2012. — 492 p. — ISBN: 1107029570. На англ. языке. Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize taxonomy, Harper...
2nd Edition. — Cambridge University Press, 2016. — 512 p. — ISBN: 978-1-107-15030-0. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining...
2nd Edition. — Cambridge University Press, 2016. — 512 p. — ISBN: 978-1-107-15030-0. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining...
Springer, 2017. — 370 p. This clearly written textbook provides an accessible introduction to the three programming paradigms of object-oriented/imperative, functional, and logic programming. Highly interactive in style, the text encourages learning through practice, offering test exercises for each topic covered. Review questions and programming projects are also presented, to...
Springer, 2017. — 370 p. This clearly written textbook provides an accessible introduction to the three programming paradigms of object-oriented/imperative, functional, and logic programming. Highly interactive in style, the text encourages learning through practice, offering test exercises for each topic covered. Review questions and programming projects are also presented, to...
Springer, 2015. — 365 p. — ISBN10: 3319133136, ISBN13: 978-3-319-13313-3. This clearly written textbook introduces the reader to the three styles of programming, examining object-oriented/imperative, functional, and logic programming. The focus of the text moves from highly prescriptive languages to very descriptive languages, demonstrating the many and varied ways in which we...
2nd edition. — New York: Springer, 2018. — 379 p. This clearly written textbook provides an accessible introduction to the three programming paradigms of object-oriented/imperative, functional, and logic programming. Highly interactive in style, the text encourages learning through practice, offering test exercises for each topic covered. Review questions and programming...
3rd ed. — Cengage Learning, 2011. — 672 p. — (Advanced Topics). — ISBN: 1111529418, 9781111529413. Kenneth Louden and Kenneth Lambert's new edition of Programming Languages: Principles and Practices, 3E gives advanced undergraduate students an overview of programming languages through general principles combined with details about many modern languages. Major languages used in...
Cambridge: Cambridge University Press, 2007. — 530 p. Programming languages provide the abstractions, organizing principles, and control structures that programmers use to write good programs. This book is about the concepts that appear in programming languages, issues that arise in their implementation, and the way that language design affects program development. The text is...
Cambridge University Press, 2002. This textbook for undergraduate and beginning graduate students explains and examines the central concepts used in modern programming languages, such as functions, types, memory management, and control. The book is unique in its comprehensive presentation and comparison of major object-oriented programming languages. Separate chapters examine the...
Second Edition. — Morgan Kaufmann, 2005. — 912 p. — ISBN10: 0126339511; ISBN13: 978-0126339512. The innovative approach of the first edition of Programming Language Pragmatics provided students with an integrated view of programming language design and implementation, while offering a solid teaching text on timely language topics in a rigorous yet accessible style. The new...
Elsevier, 2009. — 941 p. Foundations Programming Language Syntax Names, Scopes, and Bindings Semantic Analysis Target Machine Architecture Core Issues in Language Design Control Flow DataTypes Subroutines and Control Abstraction Data Abstraction and Object Orientation Alternative Programming Models Functional Languages Logic Languages Concurrency Scripting Languages A Closer...
4th edition. — Morgan Kaufmann, 2016. — 992 p. — ISBN: 978-0124104099. Programming Language Pragmatics, Fourth Edition, is the most comprehensive programming language textbook available today. It is distinguished and acclaimed for its integrated treatment of language design and implementation, with an emphasis on the fundamental tradeoffs that continue to drive software...
11th Global Edition. — Pearson Education, 2016. — 792 p. — ISBN: 978-1-292-10055-5. Concepts of Computer Programming Languages introduces students to the fundamental concepts of computer programming languages and provides them with the tools necessary to evaluate contemporary and future languages. An in-depth discussion of programming language structures, such as syntax and...
11th ed. (Global Edition). — Pearson Education Ltd., 2016. — 788 p. — ISBN 1292100559, 9781292100555 Evaluating the Fundamentals of Computer Programming Languages Concepts of Computer Programming Languages introduces students to the fundamental concepts of computer programming languages and provides them with the tools necessary to evaluate contemporary and future languages. An...
10th Edition. — Addison—Wesley, 2012. — 816 p. — ISBN10: 0131395319, ISBN13: 978-0131395312. For undergraduate students in Computer Science and Computer Programming courses. Now in its Tenth Edition, Concepts of Programming Languages introduces students to the main constructs of contemporary programming languages and provides the tools needed to critically evaluate existing and...
9th Edition. — Addison-Wesley, 2009. — 784 p. — ISBN10: 0136073476, ISBN13: 978-0136073475. Concepts of Programming Languages is ideal for undergraduate students in Computer Science and Computer Programming courses. It is an ideal reference encapsulating the history and future of programming languages. Now in its Ninth Edition, Concepts of Programming Languages introduces...
Springer, 2012. — 293 p. — ISBN: 1447141555, 9781447141556. Programming Language Concepts uses a functional programming language (F#) as the metalanguage in which to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, interpretation, stack machines, compilation,...
2nd edition. — Springer, 2017. — 347 p. — (Undergraduate Topics in Computer Science). — ISBN: 978-3-319-60788-7. This book uses a functional programming language (F#) as a metalanguage to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, interpretation, stack...
Springer, 2017. — 341 p. This book uses a functional programming language (F#) as a metalanguage to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, interpretation, stack machines, compilation, type checking, garbage collection, and real machine code. Also...
Addison Wesley Longman, 1995. — 637 p. — ISBN10: 0201656973, ISBN13: 978-0201656978. Formal Syntax and Semantics of Programming Languages is a text designed for an advanced undergraduate or introductory graduate level course on the formal syntax and semantics of programming languages. This unique text takes a teaching/learning perspective rather than the traditional,...
Pragmatic Bookshelf, 2010. — 328 p. — ISBN10: 193435659X, ISBN13: 978-1934356593. You should learn a programming language every year, as recommended by The Pragmatic Programmer. But if one per year is good, how about Seven Languages in Seven Weeks? In this book you'll get a hands-on tour of Clojure, Haskell, Io, Prolog, Scala, Erlang, and Ruby. Whether or not your favorite...
The MIT Press, 2008. — 1352 p. — ISBN10: 0262201755; ISBN13: 978-0262201759. Hundreds of programming languages are in use today--scripting languages for Internet commerce, user interface programming tools, spreadsheet macros, page format specification languages, and many others. Designing a programming language is a metaprogramming activity that bears certain similarities to...
М.: ДМК Пресс, 2013. — 134 с. Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга "Введение в теорию языков программирования" представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков...
Концептуальная схема языка программирования. Что такое язык программирования. Метауровень. Модель передачи сообщения. Классификация недоразумений. При чем здесь взаимопонимание. Как достигают взаимопонимания. Отступление об абстракции-конкретизации. Понятие модели. Синтактика, семантика, прагматика. Основная цель изложения. Зачем могут понадобиться знания о ЯП. Пять основных...
Саратов: Профобразование, 2017. — 464 с. — ISBN: 978-5-4488-0137-2. Рассмотрены фундаментальные концепции и принципы, воплощенные в современных и перспективных языках программирования. Представлены разные стили программирования (операционный, ситуационный, функциональный, реляционный, параллельный, объектно-ориентированный). Базовые концепции и принципы рассмотрены с пяти...
1990 год, — 330 с. Систематически рассмотрены критерии, концепции и принципы, помогающие оценивать, использовать, разрабатывать и реализовывать языки программирования (ЯП): модульность, типы, исключения, наследуемость, целостность, инкапсуляция, защита авторского права и др. Половина книги - о тенденциях развития ЯП. Рассмотрены операционное, ситуационное, функциональное,...
М.: ДМК Пресс, 2011. — 464 с. (OCR) Рассмотрены фундаментальные концепции и принципы, воплощенные в современных и перспективных языках программирования. Представлены разные стили программирования (операционный, ситуационный, функциональный, реляционный, параллельный, объектно-ориентированный). Базовые концепции и принципы рассмотрены с пяти различных позиций (технологической,...
Учеб. пособие. — М.: Учебно-методический центр по образованию на железнодорожном транспорте, 2016. — 176 с. Рассмотрены различные синтаксически ориентированные алгоритмы анализа предложений и основные этапы трансляции, а также структура трансляторов с различных языков. Проанализированы структуры таблиц трансляторов и алгоритмы работы с этими таблицами. Освещены вопросы оптимизации...
Учебник для вузов. — Стандарт 3-го поколения. — СПб.: Питер, 2013. — 688 с.: ил. — ISBN: 978-5-496-00032-1. Учебник посвящен систематическому изложению теории и практики языков программирования. Он отражает классическое содержание учебной дисциплины по языкам программирования. Все сложные вопросы поясняются законченными примерами. Кроме того, здесь предлагается полный комплекс...
СПб.: Питер, 2014. — 688 с.: ил. — (Учебник для вузов. Для бакалавров и магистров). — ISBN: 978-5-496-00032-1. Стандарт 3-го поколения. Рекомендовано Российской Академией наук. Учебник посвящен систематическому изложению теории и практики языков программирования. Он отражает классическое содержание учебной дисциплины по языкам программирования. Все сложные вопросы поясняются...
Учебник для вузов. Стандарт 3-го поколения. — СПб.: Питер, 2014. — 688 с. : ил. — ISBN: 978-5-496-00032-1. Учебник посвящен систематическому изложению теории и практики языков программирования. Он отражает классическое содержание учебной дисциплины по языкам программирования. Все сложные вопросы поясняются законченными примерами. Кроме того, здесь предлагается полный комплекс...
Учебник для вузов. Стандарт 3-го поколения. — СПб. : Питер, 2013. — 688 с. : ил. — ISBN: 978-5-496-00032-1. Учебник посвящен систематическому изложению теории и практики языков программирования. Он отражает классическое содержание учебной дисциплины по языкам программирования. Все сложные вопросы поясняются законченными примерами. Кроме того, здесь предлагается полный комплекс...
5-е издание. — М.: Вильямс, 2001. — 672 с. — ISBN: 5-8459-0192-8. Книга, ставшая бестселлером в США, посвящена всестороннему обсуждению основных концепций языков программирования. Автор описывает фундаментальные понятия программирования на примере вопросов разработки различных языковых конструкций, подвергая критическому анализу их реализацию в широком спектре языков...
5-е издание. — М.: Вильямс, 2001. — 672 с. — ISBN: 5-8459-0192-8. Книга, ставшая бестселлером в США, посвящена всестороннему обсуждению основных концепций языков программирования. Автор описывает фундаментальные понятия программирования на примере вопросов разработки различных языковых конструкций, подвергая критическому анализу их реализацию в широком спектре языков...
Pragmatic Bookshelf, 2010. — 374 p. — (Pragmatic Programmers).
Learn to build configuration file readers, data readers, model-driven code generators, source-to-source translators, source analyzers, and interpreters. You don't need a background in computer science — ANTLR creator Terence Parr demystifies language implementation by breaking it down into the most common design...
Pragmatic Bookshelf, 2010. — 390 p. — (Pragmatic Programmers). — ISBN13: 978-1-934356-45-6. Целевая аудитория: опытные разработчики. Настоящее руководство написано для разработчиков, любящих трудности и сложное программирование. Автор научит вас создавать собственные компьютерные языки, необходимые для повышения производительности, и видеть шаблоны в языковых реализациях. Все...
Lulu.com, 2018. — 247 p. A compiler translates a program written in a high level language into a program written in a lower level language. For students of computer science, building a compiler from scratch is a rite of passage: a challenging and fun project that offers insight into many different aspects of computer science, some deeply theoretical, and others highly...
М.: Интуит.РУ "Интернет-университет информационных технологий", 2004. — 400 с. Учебный курс «Введение в теорию программирования» основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NЕT, обеспечивающей практически прозрачную интеграцию кода на языках...
Addison-Wesley, 1995. — 512 pages. — ISBN10: 0805311912, ISBN13: 978-0805311914. Written for the student or professional interested in programming language design, this new book examines a wide range of programming language paradigms and issues. Author Raphael Finkel, University of Kentucky, intersperses the discussion of these models with in-depth coverage of the key languages...
3rd edition. — Springer, 2019. — xiii, 499 p. This classroom-tested and clearly-written textbook presents a focused guide to the conceptual foundations of compilation, explaining the fundamental principles and algorithms used for defining the syntax of languages, and for implementing simple translators. This significantly updated and expanded third edition has been enhanced...
Springer, 2009. — 370 p. The book collects and condenses the experience of years of teaching compiler courses and doing research on formal language theory, on compiler and language design, and to a lesser extent on natural language processing. In the turmoil of information technology developments, the subject of the book has kept the same fundamental principles over half a...
Таганрог: Технологический институт Южного федерального университета, 2009. — 62 с. Настоящий решебник предназначен для выработки практических умений и закрепления теоретических знаний по дисциплине «Теория языков программирования и методы трансляции» у студентов направления «Информатика и вычислительная техника». В решебник вошли материалы, которые прошли апробацию на...
Мурманск: Мурманский арктический государственный университет, 2018. — 97 с. — ISBN: 978-5-4222-0362-8. В учебном пособии рассмотрена теория, образующая фундамент, необходимый для корректной постановки и решения проблем в области информатики. Отражены базовые сведения о формальных грамматиках, наиболее часто применяемых для описания, анализа и трансляции языков программирования...
Комментарии