Programming Languages and Operational Semantics

A Concise Overview

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Programming Languages and Operational Semantics by Maribel Fernández, Springer London
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Maribel Fernández ISBN: 9781447163688
Publisher: Springer London Publication: July 8, 2014
Imprint: Springer Language: English
Author: Maribel Fernández
ISBN: 9781447163688
Publisher: Springer London
Publication: July 8, 2014
Imprint: Springer
Language: English

This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in modern imperative, functional and logic programming languages. The book is designed to accompany lectures on programming language design for undergraduate students. Each chapter includes exercises which provide the opportunity to apply the concepts and techniques presented.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in modern imperative, functional and logic programming languages. The book is designed to accompany lectures on programming language design for undergraduate students. Each chapter includes exercises which provide the opportunity to apply the concepts and techniques presented.

More books from Springer London

Cover of the book Digital Signal Processing in Power Electronics Control Circuits by Maribel Fernández
Cover of the book Pediatric Endourology Techniques by Maribel Fernández
Cover of the book Enterprise Interoperability V by Maribel Fernández
Cover of the book Imaging and Technology in Urology by Maribel Fernández
Cover of the book Methodologies for Developing and Managing Emerging Technology Based Information Systems by Maribel Fernández
Cover of the book Warranty Data Collection and Analysis by Maribel Fernández
Cover of the book Computational Models for Neuroscience by Maribel Fernández
Cover of the book The Know-How of Face Transplantation by Maribel Fernández
Cover of the book Stroke Medicine by Maribel Fernández
Cover of the book Assessment of Power System Reliability by Maribel Fernández
Cover of the book Heart Failure in Congenital Heart Disease: by Maribel Fernández
Cover of the book Vehicle-Manipulator Systems by Maribel Fernández
Cover of the book Hypergeometric Summation by Maribel Fernández
Cover of the book Guide to Biometric Reference Systems and Performance Evaluation by Maribel Fernández
Cover of the book Success in Academic Surgery: Clinical Trials by Maribel Fernández
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy