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:	61
Created:	2022-02-03
License:	CC BY-SA
Author(s):	Mike Grant, Zachary Palmer, Scott Smith

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

Others programming Tutorials

Programming Persistent Memory: A Comprehensive Guide for Developers

Defensive Database Programming with SQL Server

An Introduction to C & GUI Programming

Advanced Linux Programming

Fundamentals of Python Programming

Others related eBooks about Principles of Programming Languages

Learning adb PDF course

Download free Adb tutorial course in PDF, training file in 6 chapters and 12 pages. Free unaffiliated ebook created from Stack OverFlow contributor....

C# Features Succinctly

Download free course C# Features Succinctly, pdf file on 77 pages by Dirk Strauss....

GANs in Action: Deep Learning with Generative Adversarial Networks

Generative Adversarial Networks (GANs) are an incredible AI technology capable of creating images, sound, and videos that are indistinguishable from the real thing. By pitting two neural networks against each other, one to generate fakes and one to spot them, GANs rapidly learn to produce photo-real...

Getting started with Java Language

This PDF document is a complet tutorial about Java programming language, free training course in 983 pages intended to beginner Java developer....

How To Make Video Games

Learn How To Make Video Games, This ebook shows you everything you need to know to make video games....

Learning actionscript PDF course

Download free Actionscript tutorial course in PDF, training file in 1 chapters and 6 pages. Free unaffiliated ebook created from Stack OverFlow contributor....

Csharp Programming Tutorial

Download this C# PDF Tutorial for free, it's consisting of 5 chapters covering all the most important C# concepts. This tutorial is intended for beginner programmers, and we recommend you to go through all the chapters, to get the most out of it as possible....

How To Think Like A Computer Scientist: C++ Version

The goal of this book is to teach you to think like a computer scientist, using C++ as the programming language. ...

Microsoft Office SharePoint 2007 User Guide

Download Microsoft Office SharePoint 2007 User Guide in pdf, free tutorial on 48 pages....

Getting started with Hibernate

Download free Hibernate tutorial course in PDF, training file in 14 chapters and 39 pages. Free unaffiliated ebook created from Stack OverFlow contributor....