The Formal Semantics Of Programming Languages

Author: Glynn Winskel
Publisher: MIT Press
ISBN: 9780262731034
Size: 45.82 MB
Format: PDF, ePub, Mobi
View: 6576
Download Read Online
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.

Formal Syntax And Semantics Of Programming Languages

Author: Kenneth Slonneger
Publisher: Addison-Wesley
Size: 76.96 MB
Format: PDF, ePub, Docs
View: 1633
Download Read Online
Supplemental software is available on disk or via file transfer protocol. This book is suitable for an advanced undergraduate or introductory graduate level course on the formal syntax and semantics of programming languages.

A Formal Semantics For Computer Oriented Languages

Author: Jerome A. Feldman
Size: 38.10 MB
Format: PDF
View: 6490
Download Read Online
The presentation of the results in the thesis is based on the structure of this program, called the compiler-compiler. Although there are several sections devoted to theoretical questions, these are set off from the main development.

Semantics Of Programming Languages

Author: Carl A. Gunter
Publisher: MIT Press
ISBN: 9780262570954
Size: 35.33 MB
Format: PDF, Mobi
View: 6665
Download Read Online
The well-deserved starting point for this discussion of the semantics of
programming languages is the simply-typed X-calculus. The calculus dates back
to before the advent of modern higher-order programming languages. It was first
studied in the 1930's ... The most important of these is called the 6-rule, and it
says that the application of a function to an argument is equal to the result of
substituting the argument for the formal parameters used in defining the function.
This sounds much ...

Understanding Z

Author: J. M. Spivey
Publisher: Cambridge University Press
ISBN: 9780521334297
Size: 50.80 MB
Format: PDF, Kindle
View: 6405
Download Read Online
By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications.

The Semantics Of Programming Languages

Author: Matthew Hennessy
Publisher: John Wiley & Son Limited
ISBN: 9780471927723
Size: 32.32 MB
Format: PDF, ePub, Docs
View: 1252
Download Read Online
Arithmetic expressions; A simple functional language; More languages; Computation semantics; Parallelism; Bibliography; Index.

Formal Semantics And Proof Techniques For Optimizing Vhdl Models

Author: Kothanda Umamageswaran
Publisher: Springer Science & Business Media
ISBN: 9780792383758
Size: 58.40 MB
Format: PDF, ePub
View: 4678
Download Read Online
It is concerned with the understanding or interpretation of programs written in the
language and prediction of the output of such programs. Early efforts in
formalizing the syntax date back to 1963 when Naur [34] defined the syntax of
Algol 60 using the Backus Naur Form (BNF). Since then, context-free grammars
that are similar to BNF have been used extensively to specify the syntax of
programming languages. The formal specification of the semantics of
programming languages has ...