e-Books Library

Library eBook PDF EPUB

The Formal Semantics of Programming Languages

The Formal Semantics of Programming Languages
Author : Glynn Winskel
Publisher : MIT Press
Total Pages : 384
Release : 1993-02-05
ISBN 10 : 0262731037
ISBN 13 : 9780262731034
Language : EN, FR, DE, ES & NL

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered are drawn from recent research, including the vital area of concurency. The book contains many exercises ranging from simple to miniprojects.Starting with basic set theory, structural operational semantics is introduced as a way to define the meaning of programming languages along with associated proof techniques. Denotational and axiomatic semantics are illustrated on a simple language of while-programs, and fall proofs are given of the equivalence of the operational and denotational semantics and soundness and relative completeness of the axiomatic semantics. A proof of Godel's incompleteness theorem, which emphasizes the impossibility of achieving a fully complete axiomatic semantics, is included. It is supported by an appendix providing an introduction to the theory of computability based on while-programs. Following a presentation of domain theory, the semantics and methods of proof for several functional languages are treated. The simplest language is that of recursion equations with both call-by-value and call-by-name evaluation. This work is extended to lan guages with higher and recursive types, including a treatment of the eager and lazy lambda-calculi. Throughout, the relationship between denotational and operational semantics is stressed, and the proofs of the correspondence between the operation and denotational semantics are provided. The treatment of recursive types - one of the more advanced parts of the book - relies on the use of information systems to represent domains. The book concludes with a chapter on parallel programming languages, accompanied by a discussion of methods for specifying and verifying nondeterministic and parallel programs.

Related Books

The Formal Semantics of Programming Languages
Language: en
Pages: 384
Authors: Glynn Winskel
Categories: Computers
Type: BOOK - Published: 1993-02-05 - Publisher: MIT Press

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logi
Formal Semantics
Language: en
Pages: 496
Authors: Paul H. Portner
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2008-04-15 - Publisher: John Wiley & Sons

Formal Semantics: The Essential Readings is a collection of seminal papers that have shaped the field of formal semantics in linguistics.
Formal Semantics in Modern Type Theories
Language: en
Pages: 256
Authors: Stergios Chatzikyriakidis
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2021-02-17 - Publisher: John Wiley & Sons

This book studies formal semantics in modern type theories (MTTsemantics). Compared with simple type theory, MTTs have much richer type structures and provide p
The Cambridge Handbook of Formal Semantics
Language: en
Pages:
Authors: Maria Aloni
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2016-07-07 - Publisher: Cambridge University Press

Formal semantics - the scientific study of meaning in natural language - is one of the most fundamental and long-established areas of linguistics. This Handbook
Elements of Formal Semantics
Language: en
Pages: 272
Authors: Yoad Winter
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2016-04-08 - Publisher: Edinburgh University Press

Introducing some of the foundational concepts, principles and techniques in the formal semantics of natural language, Elements of Formal Semantics outlines the
Compositionality in Formal Semantics
Language: en
Pages: 344
Authors: Barbara H. Partee
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2008-04-15 - Publisher: John Wiley & Sons

Compositionality in Formal Semantics is a collection of Barbara Parteeā€™s papers that have been influential in the field but are not readily available and incl
Informal Lectures on Formal Semantics
Language: en
Pages: 150
Authors: Emmon W. Bach
Categories: Language Arts & Disciplines
Type: BOOK - Published: 1989-01-01 - Publisher: SUNY Press

This book is an introduction to the current developments in model-theoretic semantics, which has become an essential part of the work in theoretical linguistics
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Language: en
Pages: 158
Authors: Kothanda Umamageswaran
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifying both the static and dynamic semantics of VHDL. It provide
Formal Semantics and Pragmatics for Natural Language Querying
Language: en
Pages: 212
Authors: James Clifford
Categories: Computers
Type: BOOK - Published: 2004-03-25 - Publisher: Cambridge University Press

Connects the semantics of databases to that of natural language, and links them through a common view of the semantics of time.
Meaning and Speech Acts: Volume 2, Formal Semantics of Success and Satisfaction
Language: en
Pages: 208
Authors: Daniel Vanderveken
Categories: Philosophy
Type: BOOK - Published: 2009-03-19 - Publisher: Cambridge University Press

In Meaning and Speech Acts Daniel Vanderveken further develops the logic of speech acts and the logic of propositions to construct a general semantic theory of