The Formal Semantics of Programming Languages
Title | The Formal Semantics of Programming Languages PDF eBook |
Author | Glynn Winskel |
Publisher | MIT Press |
Total Pages | 388 |
Release | 1993-02-05 |
Genre | Computers |
ISBN | 9780262731034 |
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.
Semantics of Programming Languages
Title | Semantics of Programming Languages PDF eBook |
Author | Carl A. Gunter |
Publisher | MIT Press |
Total Pages | 450 |
Release | 1992 |
Genre | Programming languages (Electronic computers) |
ISBN | 9780262570954 |
Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of programming languages with an emphasis on higher-order functions and type systems. Designed as a text for upper-level and graduate-level students, the mathematically sophisticated approach will also prove useful to professionals who want an easily referenced description of fundamental results and calculi. Basic connections between computational behavior, denotational semantics, and the equational logic of functional programs are thoroughly and rigorously developed. Topics covered include models of types, operational semantics, category theory, domain theory, fixed point (denotational). semantics, full abstraction and other semantic correspondence criteria, types and evaluation, type checking and inference, parametric polymorphism, and subtyping. All topics are treated clearly and in depth, with complete proofs for the major results and numerous exercises.
Formal Syntax and Semantics of Programming Languages
Title | Formal Syntax and Semantics of Programming Languages PDF eBook |
Author | Kenneth Slonneger |
Publisher | Addison-Wesley Longman |
Total Pages | 664 |
Release | 1995 |
Genre | Computers |
ISBN |
With this book, readers with a basic grounding in discreet mathematics will be able to understand the practical applications of these difficult concepts. The book presents the typically difficult subject of "formal methods" in an informal, easy-to-follow manner. A "laboratory component" is integrated throughout the text.
Formal Semantics of Programming Languages
Title | Formal Semantics of Programming Languages PDF eBook |
Author | Randall Rustin |
Publisher | Prentice Hall |
Total Pages | 280 |
Release | 1972 |
Genre | Computer programming |
ISBN |
Semantics with Applications: An Appetizer
Title | Semantics with Applications: An Appetizer PDF eBook |
Author | Hanne Riis Nielson |
Publisher | Springer Science & Business Media |
Total Pages | 285 |
Release | 2007-04-18 |
Genre | Computers |
ISBN | 1846286921 |
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.
The Formal Semantics of Programming Languages
Title | The Formal Semantics of Programming Languages PDF eBook |
Author | Glynn WINSKELL |
Publisher | |
Total Pages | 361 |
Release | 1996 |
Genre | |
ISBN |
Formal Syntax and Semantics of Java
Title | Formal Syntax and Semantics of Java PDF eBook |
Author | Jim Alves-Foss |
Publisher | Springer Science & Business Media |
Total Pages | 410 |
Release | 1999-06-09 |
Genre | Computers |
ISBN | 3540661581 |
Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and versatility. This thoroughly cross-reviewed state-of-the-art survey is devoted to the study of the syntax and semantics of Java from a formal-methods point of view. It consists of the following chapters by leading researchers: Formal Grammar for Java; Describing the Semantics of Java and Proving Type Soundness; Proving Java Type Soundness; Machine-Checking the Java Specification: Proving Type-Safety; An Event-Based Structural Operational Semantics of Multi-Threaded Java Dynamic Denotational Semantics of Java; A Programmer's Reduction Semantics for Classes and Mixins; A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines; The Operational Semantics of a Java Secure Processor; A Programmer Friendly Modular Definition of the Semantics of Java.