プログラミング言語の原理エッセンシャル入門<br>An Experiential Introduction to Principles of Programming Languages

個数：1
紙書籍版価格
¥11,559
  • 電子書籍

プログラミング言語の原理エッセンシャル入門
An Experiential Introduction to Principles of Programming Languages

  • 著者名：Rajan, Hridesh
  • 価格 ¥9,614 （本体¥8,740）
  • The MIT Press（2022/05/03発売）
  • ポイント 87pt　（実際に付与されるポイントはご注文内容確認画面でご確認下さい）
  • 言語：ENG
  • ISBN：9780262045452
  • eISBN：9780262362436

ファイル： /

Description

A textbook that uses a hands-on approach to teach principles of programming languages, with Java as the implementation language.

This introductory textbook uses a hands-on approach to teach the principles of programming languages. Using Java as the implementation language, Rajan covers a range of emerging topics, including concurrency, Big Data, and event-driven programming. Students will learn to design, implement, analyze, and understand both domain-specific and general-purpose programming languages.
 

  • Develops basic concepts in languages, including means of computation, means of combination, and means of abstraction.
  • Examines imperative features such as references, concurrency features such as fork, and reactive features such as event handling.
  • Covers language features that express differing perspectives of thinking about computation, including those of logic programming and flow-based programming.
  • Presumes Java programming experience and understanding of object-oriented classes, inheritance, polymorphism, and static classes.
  • Each chapter corresponds with a working implementation of a small programming language allowing students to follow along.

    • Table of Contents

    List of Figures xiii
    List of Tables xvii
    Preface xix
    Road Map xxii
    I Preliminaries 1
    1 Introduction 3
    2 Inductive Sets and Functions 15
    II Building a Programming Language 33
    3 Getting Started 35
    4 Varlang: A Language with Variables 71
    5 Definelang: A Language with Global Variables 95
    6 Funclang: A Language with Functions 105
    III References and Concurrency 145
    7 Reflang: A Language with References 147
    8 Forklang: A Language with Concurrency and Parallelism 169
    IV Types and Specifications 185
    9 Typelang: A Language with Types 187
    10 Speclang: A Language with Specifications 209
    V Advances Features 229
    11 Msglang: A Language with Message-Passing Concurrency 231
    12 Eventlang: A Language with Events 251
    Appendix ANTLR: A Brief Review 265
    Bibliography 269
    Index 271