{"product_id":"9781118007471","title":"Programming Language Foundations","description":"\u003ch1\u003eProgramming Language Foundations\u003c\/h1\u003e\u003ch3\u003eAaron Stump\u003c\/h3\u003e\u003cdiv\u003e\u003cb\u003eComputers \/ Software Development \u0026amp; Engineering \/ General\u003c\/b\u003e\u003c\/div\u003e\u003cbr\u003e\u003cdiv\u003e\n\u003ci\u003eProgramming Language Foundations\u003c\/i\u003e is a concise text that covers a wide range of topics in the mathematical semantics of programming languages, for readers without prior advanced background in programming languages theory. The goal of the book is to provide rigorous but accessible coverage of essential topics in the theory of programming languages. \u003cbr\u003e \u003cbr\u003e Stump’s \u003ci\u003eProgramming Language Foundations\u003c\/i\u003e is intended primarily for a graduate-level course in programming languages theory which is standard in graduate-level CS curricula. It may also be used in undergraduate programming theory courses but ONLY where students have a strong mathematical preparation.\u003c\/div\u003e\u003cdiv\u003e  \u003cp\u003eAaron Stump is an associate professor of Computer Science at The University of Iowa.?He received his bachelor's degree from Cornell University in Philosophy and Computer Science in 1997, and his doctoral degree from Stanford University in Computer Science in 2002.?His research interests are in computational logic and foundations of programming languages. He has served as associate editor of the \u003cem\u003eACM Transactions on Programming Languages and Systems\u003c\/em\u003e, and on the steering committees of the International Conference on Automated Deduction (CADE) and Rewriting Techniques and Applications (RTA).?His research has been supported by grants from the National Science Foundation, including a CAREER award. \u003c\/p\u003e\n\u003c\/div\u003e\u003cbr\u003e\u003ctable\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublication Date: \u003c\/td\u003e\n\u003ctd\u003e23 September 2013\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublisher: \u003c\/td\u003e\n\u003ctd\u003eWiley\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eImprint: \u003c\/td\u003e\n\u003ctd\u003eWiley\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eISBN-13: \u003c\/td\u003e\n\u003ctd\u003e9781118007471\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eFormat: \u003c\/td\u003e\n\u003ctd\u003ePaperback \/ softback\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePage Count: \u003c\/td\u003e\n\u003ctd\u003e336\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eWeight (oz): \u003c\/td\u003e\n\u003ctd\u003e16.8\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003c\/table\u003e","brand":"Wiley","offers":[{"title":"Default Title","offer_id":44379116634252,"sku":"9781118007471","price":115.16,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781118007471.jpg?v=1780203207","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9781118007471","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}