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

Practical Foundations for Programming Languages

Defensive Database Programming with SQL Server

An Introduction to C & GUI Programming

Programming for Computations - MATLAB/Octave

Programming Languages: Application and Interpretation

Others related eBooks about Principles of Programming Languages

Learning Regular Expressions

A regular expression (regex or regexp) is a sequence of characters that define a search pa..., download free Regular Expressions tutorial in PDF (94 pages) created by ....

Advanced R Course

Download free course Advanced R Course, pdf file on pages by Self-publishing....

Algorithmic Problem Solving with Python

This book uses Python to introduce folks to programming and algorithmic thinking. It is sharply focused on classical algorithms, but it also gives a solid understanding of fundamental algorithmic problem-solving techniques. ...

Arduino Development Cookbook

The single-chip computer board Arduino is small in size but vast in scope, capable of bein..., download free Arduino tutorial in PDF (246 pages) created by Cornel Amariei ....

Python Machine Learning Projects

As machine learning is increasingly leveraged to find patterns, conduct analysis, and make..., download free Python tutorial in PDF (135 pages) created by Michelle Morales ....

Learning Java

Download free course Learning Java, pdf file on 1225 pages by Stack Overflow Community....

Data Mining and Analysis: Fundamental Concepts and Algorithms

The fundamental algorithms in data mining and analysis form the basis for the emerging field of data science, which includes automated methods to analyze patterns and models for all kinds of data, with applications ranging from scientific discovery to business intelligence and analytics. ...

Learning .NET Framework PDF course

Download free Dot net tutorial course in PDF, training file in 59 chapters and 241 pages. Free unaffiliated ebook created from Stack OverFlow contributor....

Object-oriented Programming in C#

Download free course Object-oriented Programming in C#, pdf file on 485 pages by Kurt Normark....

Getting started with Fortran language

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