Theories of Programming Languages 1st Edition by John C. Reynolds (PDF)

3

 

Ebook Info

  • Published: 1998
  • Number of pages: 512 pages
  • Format: PDF
  • File Size: 4.12 MB
  • Authors: John C. Reynolds

Description

First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Recognising a unity of technique beneath the diversity of research in programming languages, the author presents an integrated treatment of the basic principles of the subject. He identifies the relatively small number of concepts, such as compositional semantics, binding structure, domains, transition systems and inference rules, that serve as the foundation of the field. Assuming only knowledge of elementary programming and mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory and also will appeal to researchers and professionals in designing or implementing computer languages.

User’s Reviews

Reviews from Amazon users which were colected at the time this book was published on the website:

⭐Lots of Formulas but not a lot of words. Can’t follow what’s going on in this book at all. Lots of random formulas with no solid conclusions.

Keywords

Free Download Theories of Programming Languages 1st Edition in PDF format
Theories of Programming Languages 1st Edition PDF Free Download
Download Theories of Programming Languages 1st Edition 1998 PDF Free
Theories of Programming Languages 1st Edition 1998 PDF Free Download
Download Theories of Programming Languages 1st Edition PDF
Free Download Ebook Theories of Programming Languages 1st Edition

Previous articleFoundations of Geometric Algebra Computing (Geometry and Computing Book 8) by Dietmar Hildenbrand (PDF)
Next articleA Theory of Objects (Monographs in Computer Science) by Martin Abadi (PDF)