Essentials of Programming Languages, third edition

by Daniel P. Friedman

Author	: Daniel P. Friedman
Publisher	: MIT Press
Total Pages	: 433
Release	: 2008-04-18
Genre	: Computers
ISBN	: 0262062798

GET BOOK

A new edition of a textbook that provides students with a deep, working understanding of the essential concepts of programming languages, completely revised, with significant new material. 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 the program text) to express the semantics of many essential language elements in a way that is both clear and executable. The approach is both analytical and hands-on. The book provides views of programming languages using widely varying levels of abstraction, maintaining a clear connection between the high-level and low-level views. Exercises are a vital part of the text and are scattered throughout; the text explains the key concepts, and the exercises explore alternative designs and other issues. The complete Scheme code for all the interpreters and analyzers in the book can be found online through The MIT Press web site. For this new edition, each chapter has been revised and many new exercises have been added. Significant additions have been made to the text, including completely new chapters on modules and continuation-passing style. Essentials of Programming Languages can be used for both graduate and undergraduate courses, and for continuing education courses for programmers.

Types and Programming Languages

by Benjamin C. Pierce

Author	: Benjamin C. Pierce
Publisher	: MIT Press
Total Pages	: 656
Release	: 2002-01-04
Genre	: Computers
ISBN	: 9780262162098

GET BOOK

A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems—and of programming languages from a type-theoretic perspective—has important applications in software engineering, language design, high-performance compilers, and security. This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material. The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.

Computer Languages

by Naomi S. Baron

Author	: Naomi S. Baron
Publisher	: Main Street Books
Total Pages	: 0
Release	: 1986
Genre	: Programming languages (Electronic computers)
ISBN	: 9780385232135

GET BOOK

Describes the development, structure, function, and characteristics of twenty-two of the most important computer programming languages

Foundations for Programming Languages

by John C. Mitchell

Author	: John C. Mitchell
Publisher	: Mit Press
Total Pages	: 846
Release	: 1996
Genre	: Computers
ISBN	: 9780262133210

GET BOOK

"Programming languages embody the pragmatics of designing software systems, and also the mathematical concepts which underlie them. Anyone who wants to know how, for example, object-oriented programming rests upon a firm foundation in logic should read this book. It guides one surefootedly through the rich variety of basic programming concepts developed over the past forty years." -- Robin Milner, Professor of Computer Science, The Computer Laboratory, Cambridge University "Programming languages need not be designed in an intellectual vacuum; John Mitchell's book provides an extensive analysis of the fundamental notions underlying programming constructs. A basic grasp of this material is essential for the understanding, comparative analysis, and design of programming languages." -- Luca Cardelli, Digital Equipment Corporation Written for advanced undergraduate and beginning graduate students, "Foundations for Programming Languages" uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems.

Programming Languages: Concepts and Implementation

by Saverio Perugini

Author	: Saverio Perugini
Publisher	: Jones & Bartlett Learning
Total Pages	: 889
Release	: 2021-12-02
Genre	: Computers
ISBN	: 128426498X

GET BOOK

Programming Languages: Concepts and Implementation teaches language concepts from two complementary perspectives: implementation and paradigms. It covers the implementation of concepts through the incremental construction of a progressive series of interpreters in Python, and Racket Scheme, for purposes of its combined simplicity and power, and assessing the differences in the resulting languages.

Programming Languages: History and Fundamentals

by Jean E. Sammet

Author	: Jean E. Sammet
Publisher	: Prentice Hall
Total Pages	: 830
Release	: 1969
Genre	: Mathematics
ISBN	:

GET BOOK

Monograph comprising fundamental information on the history and characteristics of approximately 120 programming languages for computer usage - covers technical aspects, language structure, etc. Bibliography at the end of each chapter.

Design Concepts in Programming Languages

by Franklyn Turbak

Author	: Franklyn Turbak
Publisher	: MIT Press
Total Pages	: 1347
Release	: 2008-07-18
Genre	: Computers
ISBN	: 0262303159

GET BOOK

Key ideas in programming language design and implementation explained using a simple and concise framework; a comprehensive introduction suitable for use as a textbook or a reference for researchers. 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 programming in a regular language, with clarity and simplicity even more important than in ordinary programming. This comprehensive text uses a simple and concise framework to teach key ideas in programming language design and implementation. The book's unique approach is based on a family of syntactically simple pedagogical languages that allow students to explore programming language concepts systematically. It takes as premise and starting point the idea that when language behaviors become incredibly complex, the description of the behaviors must be incredibly simple. The book presents a set of tools (a mathematical metalanguage, abstract syntax, operational and denotational semantics) and uses it to explore a comprehensive set of programming language design dimensions, including dynamic semantics (naming, state, control, data), static semantics (types, type reconstruction, polymporphism, effects), and pragmatics (compilation, garbage collection). The many examples and exercises offer students opportunities to apply the foundational ideas explained in the text. Specialized topics and code that implements many of the algorithms and compilation methods in the book can be found on the book's Web site, along with such additional material as a section on concurrency and proofs of the theorems in the text. The book is suitable as a text for an introductory graduate or advanced undergraduate programming languages course; it can also serve as a reference for researchers and practitioners.

Practical Foundations for Programming Languages

by Robert Harper

Author	: Robert Harper
Publisher	: Cambridge University Press
Total Pages	: 513
Release	: 2016-04-04
Genre	: Computers
ISBN	: 1107150302

GET BOOK

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.

The Formal Semantics of Programming Languages

by Glynn Winskel

Author	: Glynn Winskel
Publisher	: MIT Press
Total Pages	: 388
Release	: 1993-02-05
Genre	: Computers
ISBN	: 9780262731034

GET BOOK

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered are drawn from recent research, including the vital area of concurency. The book contains many exercises ranging from simple to miniprojects.Starting with basic set theory, structural operational semantics is introduced as a way to define the meaning of programming languages along with associated proof techniques. Denotational and axiomatic semantics are illustrated on a simple language of while-programs, and fall proofs are given of the equivalence of the operational and denotational semantics and soundness and relative completeness of the axiomatic semantics. A proof of Godel's incompleteness theorem, which emphasizes the impossibility of achieving a fully complete axiomatic semantics, is included. It is supported by an appendix providing an introduction to the theory of computability based on while-programs. Following a presentation of domain theory, the semantics and methods of proof for several functional languages are treated. The simplest language is that of recursion equations with both call-by-value and call-by-name evaluation. This work is extended to lan guages with higher and recursive types, including a treatment of the eager and lazy lambda-calculi. Throughout, the relationship between denotational and operational semantics is stressed, and the proofs of the correspondence between the operation and denotational semantics are provided. The treatment of recursive types - one of the more advanced parts of the book - relies on the use of information systems to represent domains. The book concludes with a chapter on parallel programming languages, accompanied by a discussion of methods for specifying and verifying nondeterministic and parallel programs.