Algebraic Approaches to Program Semantics

Name: Algebraic Approaches to Program Semantics
Brand: Springer, Berlin
SKU: 9780387963242
Price: 31242 HUF
Availability: InStock

Szerző: Ernest G. Manes, Michael A. Arbib

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer, Berlin

Elérhetőség: 50 % esély

Keressük az egész világon

31 242 Ft

In the 1930s, mathematical logicians studied the notion of "effective comput ability" using such not...

Információk a könyvről

Szerző

Ernest G. Manes, Michael A. Arbib

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

oldal

353

EAN

9780387963242

Enbook ID

01384677

Kiadó

Springer, Berlin

Súly

690

Méretek

154 x 245 x 20

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Algebraic Approaches to Program Semantics

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták