Logo

Semantics With Applications: A Formal Introduction

Large book cover: Semantics With Applications: A Formal Introduction

Semantics With Applications: A Formal Introduction
by

Publisher: John Wiley & Sons
ISBN/ASIN: 0471929808
ISBN-13: 9780471929802
Number of pages: 250

Description:
The book covers the foundations of structural operational semantics (where computations consist of many small steps) and natural semantics (where computations consist of one big step). It shows how to describe the semantics of declarative as well as imperative language constructs and will also touch upon non-sequential constructs. It also presents proof principles for operational semantics and investigate the relationship between the two approaches to operational semantics. Problems from areas such as compiler construction, software validation, and program verication will be used to demonstrate the practical utility of semantics.

Download or read it online for free here:
Download link
(1.2MB, PDF)

Similar books

Book cover: Partial Evaluation and Automatic Program GenerationPartial Evaluation and Automatic Program Generation
by - Prentice Hall
The book about partial evaluation, a program optimization technique also known as program specialization. It presents principles for constructing partial evaluators for a variety of programming languages, and gives references to the literature.
(16195 views)
Book cover: Structure and Interpretation of Computer ProgramsStructure and Interpretation of Computer Programs
by - McGraw-Hill
The book teaches how to program by employing the tools of abstraction and modularity. The central philosophy is that programming is the task of breaking large problems into small ones. You will learn how to program and how to think about programming.
(18144 views)
Book cover: The Design and Implementation of Probabilistic Programming LanguagesThe Design and Implementation of Probabilistic Programming Languages
by - dippl.org
This book explains how to implement PPLs by lightweight embedding into a host language. We illustrate this by designing WebPPL, a small PPL embedded in Javascript. We show how to implement several algorithms for universal probabilistic inference.
(6655 views)
Book cover: Topics in History and Comparing Programming LanguagesTopics in History and Comparing Programming Languages
by - Gavilan College
This website contains files on the history of computer programming language statements. The files compare programming language statements in several different languages tracing the statement from early languages to present languages.
(7544 views)