Items related to Theories of Programming Languages
Synopsis
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.
"synopsis" may belong to another edition of this title.
Review
"I found the whole book a distinct pleasure to read and certainly recommend this text for consideration by instructors." Mathematical Reviews
"clearly structured...the presentation is clear, and the typesetting often helps the reader to understand the structure of the formulas. Each chapter contains valuable exercises and profound bibliographic notes that can serve as a starting point for further reading. I shall use this excellent textbook in my lectures." Computing Reviews
"...an important book...It is thorough and well organized, and the explanations are very clear. I found the technical content to be in almost every respect flawless. Although written to be a student text, I believe that most researchers (and many practitioners) in programming lanauges (and related fields) would find it worth reading." Journal of Functional Programming
Book 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 program behaviour.
"About this title" may belong to another edition of this title.
- PublisherCambridge University Press
- Publication date1998
- ISBN 10 0521594146
- ISBN 13 9780521594141
- BindingHardcover
- LanguageEnglish
- Number of pages514
Search results for Theories of Programming Languages
Stock Image
Theories of Programming Languages
Published by
Cambridge University Press, 1998
ISBN 10: 0521594146
ISBN 13: 9780521594141
Used
Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # GRP31669801
Quantity: 1 available
Stock Image
Theories of Programming Languages
Published by
Cambridge University Press, 1998
ISBN 10: 0521594146
ISBN 13: 9780521594141
Used
Hardcover
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. Library sticker on front cover. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1150grams, ISBN:9780521594141. Seller Inventory # 5573705
Quantity: 1 available
Stock Image
Theories of Programming Languages
Published by
Cambridge University Press, Cambridge / New York, 1998
ISBN 10: 0521594146
ISBN 13: 9780521594141
Used
Hardcover
Seller: Tiber Books, Cockeysville, MD, U.S.A.
Seller rating 4 out of 5 stars
Hardcover. Condition: Very Good. 8vo, hardcover. No dj, as issued. Vg condition. Slightest moisture-rippling to bottom margin of pgs, to minor effect, not affecting text at all (no staining); Contents bright & clean, no markings; covers glossy. xii, 500 p. Seller Inventory # 1150630.19
Quantity: 1 available
Stock Image
Theories of Programming Languages
Published by
Cambridge University Press, 1998
ISBN 10: 0521594146
ISBN 13: 9780521594141
New
Hardcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521594141_new
Quantity: Over 20 available
Seller Image
Theories of Programming Languages
Published by
Cambridge University Press, 1998
ISBN 10: 0521594146
ISBN 13: 9780521594141
Used
Hardcover
Seller: Zoom Books Company, Lynden, WA, U.S.A.
Seller rating 5 out of 5 stars
Condition: very_good. Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service. Seller Inventory # ZBV.0521594146.VG
Quantity: 1 available
Seller Image
Theories of Programming Languages
Published by
Cambridge University Press, 1998
ISBN 10: 0521594146
ISBN 13: 9780521594141
New
Hardcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 700248-n
Quantity: Over 20 available
Stock Image
Theories of Programming Languages
Published by
Cambridge University Press, 1998
ISBN 10: 0521594146
ISBN 13: 9780521594141
New
Hardcover
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 1130. Seller Inventory # C9780521594141
Quantity: Over 20 available
Stock Image
Theories of Programming Languages (Hardcover)
Published by
Cambridge University Press, Cambridge, 1998
ISBN 10: 0521594146
ISBN 13: 9780521594141
New
Hardcover
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Basic concepts and their properties are described with mathematical rigour, but the mathematical development is balanced by numerous examples of applications, particularly of program specification and proof, concurrent programming, functional programming (including the use of continuations and lazy evaluation), and type systems (including subtyping, polymorphism, and modularization). Assuming only knowledge of elementary programming, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory, and will also appeal to researchers and professionals in designing or implementing computer languages. A unified treatment of the basic principles of programming languages. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9780521594141
Quantity: 1 available
Seller Image
Theories of Programming Languages
Published by
Cambridge University Press, 1998
ISBN 10: 0521594146
ISBN 13: 9780521594141
Used
Hardcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 700248
Quantity: Over 20 available
Stock Image
Theories of Programming Languages
Published by
Cambridge University Press, 1998
ISBN 10: 0521594146
ISBN 13: 9780521594141
New
Hardcover
Seller: Toscana Books, AUSTIN, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Seller Inventory # Scanned0521594146
Quantity: 1 available