Free Downloads
Semantics With Applications: An Appetizer (Undergraduate Topics In Computer Science)

Semantics will play an important role in the future development of software systems and domain-specific languages. This book provides a needed introductory presentation of the fundamental ideas behind these approaches, stresses their relationship by formulating and proving the relevant theorems, and illustrates the applications of semantics in computer science. Historically important application areas are presented together with some exciting potential applications. The text investigates the relationship between various methods and describes some of the main ideas used, illustrating these by means of interesting applications. The book provides a rigorous introduction to the main approaches to formal semantics of programming languages.

Series: Undergraduate Topics in Computer Science

Paperback: 274 pages

Publisher: Springer; 2007 edition (June 2, 2010)

Language: English

ISBN-10: 1846286913

ISBN-13: 978-1846286919

Product Dimensions: 7 x 0.6 x 9.2 inches

Shipping Weight: 1.3 pounds (View shipping rates and policies)

Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)

Best Sellers Rank: #907,291 in Books (See Top 100 in Books) #149 in Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Logic #172 in Books > Computers & Technology > Programming > Languages & Tools > Compilers #604 in Books > Computers & Technology > Networking & Cloud Computing > Networks, Protocols & APIs > Networks

This is a very nice introduction to the formal programming language semantics. The book covers the operational semantics, denotational semantics, and axiomatic semantics. In the chapters of the operational semantics, readers learn to define the small-step/big-step semantics with the WHILE language, to know the subtle differences between the two styles, and to prove the correctness of the compilation of WHILE into a small machine instructions. In the chapters of the denotational semantics, readers learn to the principle of program analysis. In the chapters of the axiomatic semantics, readers experience the Hoare logic, which is an important core for verifying programs.

Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science) Principles of Digital Image Processing: Core Algorithms (Undergraduate Topics in Computer Science) Introduction to Compiler Design (Undergraduate Topics in Computer Science) HACKING: Beginner's Crash Course - Essential Guide to Practical: Computer Hacking, Hacking for Beginners, & Penetration Testing (Computer Systems, Computer Programming, Computer Science Book 1) Carbon Nanotubes: Advanced Topics in the Synthesis, Structure, Properties and Applications (Topics in Applied Physics) Elementary Topics in Differential Geometry (Undergraduate Texts in Mathematics) 240 Writing Topics with Sample Essays: How to Write Essays (120 Writing Topics) Top 50 Most Delicious Party Snacks & Appetizer Recipes (Recipe Top 50's Book 12) TAILGATE GREATS!TM - 50+ BACON APPETIZER RECIPES Nordic Cuisine: Modern Scandinavian Cookbook Viking Diet Recipes for Appetizer, Main Course and Desserts - Norwegian, Danish, Swedish, Icelandic and Finnish Kitchen Everyday Sausage & Ham Cookbook: 200 Appetizer, Casserole & Main Dish Recipes! (Southern Cooking Recipes Book 37) Foundations of Computer Science: C Edition (Principles of Computer Science Series) Face Image Analysis by Unsupervised Learning (The Kluwer International Series in Engineering and Computer Science, Volume 612) (The Springer International Series in Engineering and Computer Science) Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing) Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science) Brahms and Bruckner as Artistic Antipodes: Studies in Musical Semantics Futures Past: On the Semantics of Historical Time (Studies in Contemporary German Social Thought.) Semantics in Generative Grammar (Blackwell Textbooks in Linguistics) Computational Semantics with Functional Programming Lexical Semantics (Cambridge Textbooks in Linguistics)