Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

Ship to
Netherlands
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Type
Physical Book
Author
Publisher
Year
2014
Language
English
Pages
353
Format
Paperback
Dimensions
23.4 x 15.6 x 2.0 cm
Weight
0.52 kg.
ISBN13
9781461293774
Edition No.
1986
Categories

Algebraic Approaches to Program Semantics (Monographs in Computer Science)

Michael A. Arbib (Author) · Ernest G. Manes (Author) · Springer · Paperback

Algebraic Approaches to Program Semantics (Monographs in Computer Science) - Manes, Ernest G. ; Arbib, Michael A.

Cheaper New Book Imported to Netherlands
Delivery: 02 Sep - 09 Sep Shipping: 12 to 16 business days.
€ 90,57
Faster New Book Imported to Netherlands
Delivery: 20 Aug - 24 Aug Shipping: 4 to 5 business days.
€ 112,68
Import costs and 9% BTW included in the price ✅
€ 90,57

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Algebraic Approaches to Program Semantics (Monographs in Computer Science) "

In the 1930s, mathematical logicians studied the notion of "effective comput- ability" using such notions as recursive functions, A-calculus, and Turing machines. The 1940s saw the construction of the first electronic computers, and the next 20 years saw the evolution of higher-level programming languages in which programs could be written in a convenient fashion independent (thanks to compilers and interpreters) of the architecture of any specific machine. The development of such languages led in turn to the general analysis of questions of syntax, structuring strings of symbols which could count as legal programs, and semantics, determining the "meaning" of a program, for example, as the function it computes in transforming input data to output results. An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a specification of which assertions (preconditions) on input data should guarantee that the results satisfy desired assertions (postconditions) on output data, one seeks a logical proof that the program satisfies its specification. An alternative approach, pioneered by Scott and Strachey, is called denotational semantics: it offers algebraic techniques for characterizing the denotation of (i. e., the function computed by) a program-the properties of the program can then be checked by direct comparison of the denotation with the specification. This book is an introduction to denotational semantics. More specifically, we introduce the reader to two approaches to denotational semantics: the order semantics of Scott and Strachey and our own partially additive semantics.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews