How Long to Read Algebraic Approaches to Program Semantics

By Ernest G. Manes

How Long Does it Take to Read Algebraic Approaches to Program Semantics?

It takes the average reader 5 hours and 57 minutes to read Algebraic Approaches to Program Semantics by Ernest G. Manes

Assuming a reading speed of 250 words per minute. Learn more

Description

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.

How long is Algebraic Approaches to Program Semantics?

Algebraic Approaches to Program Semantics by Ernest G. Manes is 353 pages long, and a total of 89,309 words.

This makes it 119% the length of the average book. It also has 109% more words than the average book.

How Long Does it Take to Read Algebraic Approaches to Program Semantics Aloud?

The average oral reading speed is 183 words per minute. This means it takes 8 hours and 8 minutes to read Algebraic Approaches to Program Semantics aloud.

What Reading Level is Algebraic Approaches to Program Semantics?

Algebraic Approaches to Program Semantics is suitable for students ages 12 and up.

Note that there may be other factors that effect this rating besides length that are not factored in on this page. This may include things like complex language or sensitive topics not suitable for students of certain ages.

When deciding what to show young students always use your best judgement and consult a professional.

Where Can I Buy Algebraic Approaches to Program Semantics?

Algebraic Approaches to Program Semantics by Ernest G. Manes is sold by several retailers and bookshops. However, Read Time works with Amazon to provide an easier way to purchase books.

To buy Algebraic Approaches to Program Semantics by Ernest G. Manes on Amazon click the button below.

Buy Algebraic Approaches to Program Semantics on Amazon