Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Algebraic Approaches to Program Semantics Ernest G. Manes

Algebraic Approaches to Program Semantics

Szerző: Ernest G. Manes, Michael A. Arbib
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag New York Inc.
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
33 508 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 - Puha kötésű
Kiadva
2014
oldal
353
EAN
9781461293774
ISBN
1461293774
Enbook ID
02643485
Kiadó
Springer-Verlag New York Inc.
Súly
566
Méretek
234 x 158 x 24

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

Classical Journal

Abraham John ValpyEdmund Henry Barker
13 889 Ft

Airline ancillary services and incompatibilities within alliances

23 089 Ft

Systemic Governance

Javier Carreón Guillén
18 426 Ft

The Austro-Hungarian Empire and the Policy of Count Beust: A Political Sketch of Men and Events From 1866 to 1870, by an Englishman [H. De Worms]

Henry De Worms
13 476 Ft

Psychology and the Cross

5 559 Ft

New Perspectives on Education for Democracy

Stewart Riddle
18 780 Ft

Common Entrance 13+ English Exam Practice Questions and Answers

Amanda Alexander
11 244 Ft

A Level Mathematics: Lesson on C1 Differentiation

G C Ioannou
3 183 Ft

The Priest Is Not His Own

Fulton J. Sheen
6 613 Ft

Kushi cafe

Meera Vigraham
6 043 Ft

Latino Children Learning English

Laura Alvarez
14 741 Ft

Strategies for Teaching Beginning and Intermediate Band

Edward J. Kvet
20 103 Ft

Redefining Fatherhood

Nancy E. Dowd
44 895 Ft

Housing Policy at a Crossroads

John C. Weicher
36 834 Ft

Cambridge Dictionary of Linguistics

Keith Brown
18 085 Ft

Intergenerational Justice

Gosseries
56 897 Ft

Marxism, Class Analysis and Socialist Pluralism (RLE Marxism)

Les Johnston
77 237 Ft

European Competitiveness

Kirsty S. Hughes
16 678 Ft

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

Epitre A Son Excellence Le Comte de Corbiere

Corbiere-E
4 721 Ft

Aderlass

Alexander Strubell
9 612 Ft

MICA 4 ANOS 2 TRIM

16 633 Ft

O Rei da Profecia

Catia Santiago
6 698 Ft