Aaron Stump

Programming Language Foundations

• Broschiertes Buch

Produktbeschreibung

"Stump's Programming Language Foundations is a short concise text that covers semantics, equally weighting operational and denotational semantics for several different programming paradigms: imperative, concurrent, and functional. Programming Language Foundations provides: an even coverage of denotational, operational an axiomatic semantics; extensions to concurrent and non-deterministic versions; operational semantics for untyped lambda calculus; functional programming; type systems; and coverage of emerging topics and modern research directions. "--

Produktdetails

• Verlag: Turner Publishing Company
• Seitenzahl: 336
• Erscheinungstermin: 23. September 2013
• Englisch
• Abmessung: 233mm x 192mm x 27mm
• Gewicht: 488g
• ISBN-13: 9781118007471
• ISBN-10: 1118007476
• Artikelnr.: 36264408

Autorenporträt

Aaron 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 ACM Transactions on Programming Languages and Systems, 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.