Home Newsletter
News Books
Welcome to FreeScience.info Language/Lingua

Books 3054
· Book News
· Most clicked
· Least clicked

Search for a Book
HELP US TO HELP YOU
Add a new Book

Programming Languages: Theory and Practice

book
Language:
Author: Robert Harper
Url: http://people.cs.uchicago.edu/~blume/classes/aut2008/proglang/text/offline.pdf
Format: Pdf
Year: 2005
Category: Programming Languages
Pages: 277
Clicks: 905

Description
This is a collection of lecture notes for Computer Science 15312 Programming Languages This course has been taught by the author in the Spring of 1999 and 2000 at Carnegie Mellon University, and by Andrew Appel in the Fall of 1999, 2000, and 2001 at Princeton University. What follows is a working draft of a planned book that seeks to strike a careful balance between developing the theoretical foundations of pro- gramming languages and explaining the pragmatic issues involved in their design and implementation. Many considerations come into play in the de- sign of a programming language. I seek here to demonstrate the central role of type theory and operational semantics in helping to define a language and to understand its properties.

Similar Books

Home |  Authors | About | Contact Us |  Email 
 Copyright © 2002-2013 FreeScience.info. 

Best viewed with Mozilla 1.X 1024x768
free scientific books