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.

Home page url

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

Similar books

Book cover: The Theory of Languages and ComputationThe Theory of Languages and Computation
by - University of Pennsylvania
From the table of contents: Automata; Formal Languages (A Grammar for Parsing English, Context-Free Grammars, Derivations and Context-Free Languages, Normal Forms for Context-Free Grammars, Chomsky Normal Form, ...); Computability; Current Topics.
(4377 views)
Book cover: Programming and Programming LanguagesProgramming and Programming Languages
by - Brown University
Many people would regard this as being two books in one. One book is an introduction to programming, teaching you basic concepts of organizing data and the programs that operate over them. The other book is an introduction to programming languages.
(4107 views)
Book cover: Anatomy of Programming LanguagesAnatomy of Programming Languages
by - UT Austin
This document is a series of notes about programming languages, originally written for students of the undergraduate programming languages course at UT. It assumes knowledge of programming, and in particular assume basic knowledge of Haskell.
(4226 views)
Book cover: Denotational Semantics: A Methodology for Language DevelopmentDenotational Semantics: A Methodology for Language Development
by - Kansas State University
Denotational semantics is a methodology for giving mathematical meaning to programming languages and systems. This book was written to make denotational semantics accessible to a wider audience and to update existing texts in the area.
(7954 views)