Goodreads helps you keep track of books you want to read.
Start by marking “The Formal Semantics of Programming Languages: An Introduction” as Want to Read:
The Formal Semantics of Programming Languages: An Introduction
Enlarge cover
Rate this book
Clear rating
Open Preview

The Formal Semantics of Programming Languages: An Introduction

3.67 of 5 stars 3.67  ·  rating details  ·  15 ratings  ·  0 reviews
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 ...more
Paperback, 384 pages
Published February 5th 1993 by Mit Press
more details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about The Formal Semantics of Programming Languages, please sign up.

Be the first to ask a question about The Formal Semantics of Programming Languages

Community Reviews

(showing 1-30 of 61)
filter  |  sort: default (?)  |  rating details
Mateusz
Mateusz is currently reading it
May 11, 2015
Agata
Agata marked it as to-read
Apr 17, 2015
Spockwang
Spockwang marked it as to-read
Apr 06, 2015
Karolina
Karolina marked it as to-read
Mar 01, 2015
Telorian
Telorian marked it as to-read
Feb 10, 2015
Peter Jones
Peter Jones is currently reading it
Jan 11, 2015
Danielle Jeffery
Danielle Jeffery marked it as to-read
Sep 09, 2014
Arto Bendiken
Arto Bendiken marked it as to-read
Sep 08, 2014
Ryan Linton
Ryan Linton marked it as to-read
Jul 23, 2014
Chris Shaver
Chris Shaver marked it as to-read
May 20, 2014
Thomas
Thomas marked it as to-read
May 13, 2014
Tendeukayi
Tendeukayi marked it as to-read
Jan 21, 2014
Adam
Adam marked it as to-read
Dec 08, 2013
Vadim
Vadim added it
Nov 19, 2013
Chris
Chris marked it as to-read
Oct 30, 2013
Al
Al marked it as to-read
Oct 05, 2013
Amit Jain
Amit Jain marked it as to-read
Sep 04, 2013
Nikhita
Nikhita marked it as to-read
Sep 03, 2013
Anshul Bawa
Anshul Bawa marked it as to-read
Aug 17, 2013
« previous 1 3 next »
There are no discussion topics on this book yet. Be the first to start one »

Goodreads is hiring!

If you like books and love to build cool products, we may be looking for you.
Learn more »
Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984 (Lecture Notes in Computer Science)

Share This Book