Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha Algebraic Approaches to Program Semantics Ernest G. Manes

Algebraic Approaches to Program Semantics

Autor: Ernest G. Manes, Michael A. Arbib
Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer-Verlag New York Inc.
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 990 Kč
In the 1930s, mathematical logicians studied the notion of "effective comput ability" using such not...

Informace o knize

Autor
Ernest G. Manes, Michael A. Arbib
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2014
Stránek
353
EAN
9781461293774
ISBN
1461293774
Enbook ID
02643485
Vydavatel
Springer-Verlag New York Inc.
Hmotnost
566
Rozměry
234 x 158 x 24

Kompletní popis

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.

Mohlo by vás zajímat

Classical Journal

Abraham John ValpyEdmund Henry Barker
857 Kč

Airline ancillary services and incompatibilities within alliances

1 356 Kč

Systemic Governance

Javier Carreón Guillén
1 082 Kč

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
812 Kč

Psychology and the Cross

329 Kč

New Perspectives on Education for Democracy

Stewart Riddle
1 281 Kč

Common Entrance 13+ English Exam Practice Questions and Answers

Amanda Alexander
694 Kč

A Level Mathematics: Lesson on C1 Differentiation

G C Ioannou
190 Kč

The Priest Is Not His Own

Fulton J. Sheen
391 Kč

Kushi cafe

Meera Vigraham
366 Kč

Latino Children Learning English

Laura Alvarez
911 Kč

Strategies for Teaching Beginning and Intermediate Band

Edward J. Kvet
1 242 Kč

Redefining Fatherhood

Nancy E. Dowd
2 760 Kč

Housing Policy at a Crossroads

John C. Weicher
2 142 Kč

Cambridge Dictionary of Linguistics

Keith Brown
1 116 Kč

Intergenerational Justice

Gosseries
3 544 Kč

Marxism, Class Analysis and Socialist Pluralism (RLE Marxism)

Les Johnston
4 811 Kč

European Competitiveness

Kirsty S. Hughes
1 010 Kč

Zákaznicí kteří koupili tuto knihu koupili také

Epitre A Son Excellence Le Comte de Corbiere

Corbiere-E
284 Kč

Aderlass

Alexander Strubell
565 Kč

MICA 4 ANOS 2 TRIM

1 135 Kč

O Rei da Profecia

Catia Santiago
401 Kč