Principles of Programming Languages



Download free course Principles of Programming Languages, pdf file on 163 pages by Mike Grant, Zachary Palmer, Scott Smith.
In this open book, our goal is to study the fundamental concepts in programming languages, as opposed to learning a range of specific languages. Languages are easy to learn, it is the concepts behind them that are difficult. The basic features we study in turn include higher-order functions, data structures in the form of records and variants, mutable state, exceptions, objects and classes, and types. We also study language implementations, both through language interpreters and language compilers. Throughout the book we write small interpreters for toy languages, and in Chapter 8 we write a principled compiler. We define type checkers to define which programs are well-typed and which are not. We also take a more precise, mathematical view of interpreters and type checkers, via the concepts of operational semantics and type systems. These last two concepts have historically evolved from the logician's view of programming.

The material has evolved from lecture notes used in a programming languages course for juniors, seniors, and graduate students at Johns Hopkins University. While the book uses formal mathematical techniques such as operational semantics and type systems, it does not emphasize proofs of properties of these systems. We will nonetheless sketch the intuitions of some proofs.

Table of contents

  • Introduction
  • Operational Semantics
  • Tuples, Records, and Variants
  • Side Effects: State and Exceptions
  • Object-Oriented Language Features
  • Type Systems
  • Concurrency
  • Compilation by Program Transformation
Pages : 163
Size : 1.1 MB
File type : PDF
Downloads: 73
Created: 2022-02-03
License: CC BY-SA
Author(s): Mike Grant, Zachary Palmer, Scott Smith
Principles of Programming Languages

Warning: Trying to access array offset on false in /home/tutovnfz/public_html/article.php on line 233

Others programming Tutorials

Learn Programming

Advanced Linux Programming

Professor Frisby's Mostly Adequate Guide to Functional Programming

Java 3D Programming

Programming for Computations - Python

Others related eBooks about Principles of Programming Languages

3D Game Development with LWJGL 3

This book will introduce the main concepts required to write a 3D game using the LWJGL 3 l..., download free Game Development tutorial in PDF (371 pages) created by Antonio Hernández Bejarano ....

Objective-C tutorial for professionals

Download free Objective-C tutorial course in PDF, training file in 51 chapters and 129 pages. Free unaffiliated ebook created from Stack OverFlow contributor....

50 Ways to Avoid Find and Fix ASP.NET Performance Issues

Download free course 50 Ways to Avoid Find and Fix ASP.NET Performance Issues, pdf file on 50 pages by Red Gate....

Download Scrum Guide in PDF

Course pdf Training, overview of agile project management with Scrum...

Raspberry Pi Cookbook for Python Programmers

The Raspberry Pi foundation has been selling their computers since 2012 with the aim of in..., download free Python tutorial in PDF (402 pages) created by ....

RESTful Web Services Quick Guide

RESTful Service quick guide ,this PDF tutorial provides some recommendations for Creating best Web Services project. Free training document course material on 30 pages by Todd Fredrich....

Introduction to Visual Cobol and Cobol for .NET

This PDF tutorial teachs you how to build your first application with Visual Cobol ,it provides an introduction to Visual COBOL and the COBOL for .NET language. It shows some basic features of COBOL for .NET,free training document under 30 pages for beginners....

React JS tutorial

Download free React JS tutorial course in PDF, training file in 31 chapters and 110 pages. Free unaffiliated ebook created from Stack OverFlow contributor....

You Don't Know JS Yet: Scope and Closures

Download free course You Don't Know JS Yet: Scope and Closures, pdf file on 279 pages by Kyle Simpson....

Raspberry Pi Projects Book

Download free course Raspberry Pi Projects Book, pdf file on 204 pages by Wes Archer, David Crookes, PJ Evans, Gareth Halfacree, Rosie Hattersley, Nicola King, Ben Nuttall, Marc Scott, Danny Staple, Mark Vanstone....