Logo

Comparative Studies of Programming Languages

Small book cover: Comparative Studies of Programming Languages

Comparative Studies of Programming Languages
by

Publisher: arXiv
Number of pages: 66

Description:
Lecture notes for the Comparative Studies of Programming Languages course. These notes include a compiled book of primarily related articles from the Wikipedia, the Free Encyclopedia, as well as Comparative Programming Languages book and other resources.

Home page url

Download or read it online for free here:
Download link
(1.2MB, PDF)

Similar books

Book cover: Lecture Notes on the Lambda CalculusLecture Notes on the Lambda Calculus
by - Dalhousie University
Topics covered in these notes include the untyped lambda calculus, the Church-Rosser theorem, combinatory algebras, the simply-typed lambda calculus, the Curry-Howard isomorphism, weak and strong normalization, type inference, etc.
(4883 views)
Book cover: Lectures on the Curry-Howard IsomorphismLectures on the Curry-Howard Isomorphism
by - Elsevier Science
This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic.
(5864 views)
Book cover: Semantics of Programming LanguagesSemantics of Programming Languages
by - University of Cambridge
These notes introduce the structural, operational approach to programming language semantics. The course shows how to specify the meaning of some simple programming language constructs and to reason formally about semantic properties of programs.
(3076 views)
Book cover: Concrete Semantics: With Isabelle/HOLConcrete Semantics: With Isabelle/HOL
by - Springer
The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a tool for formal proofs about computer science artefacts. All the mathematics is formalised in Isabelle and much of it is executable.
(1620 views)