Viac ako 4 milióny titulov v angličtine aj ďalších jazykoch! Objavte svoj nový príbeh ešte dnes!

Algebraic Approaches to Program Semantics

Name: Algebraic Approaches to Program Semantics
Brand: Springer-Verlag New York Inc.
SKU: 9781461293774
Price: 87.03 EUR
Availability: InStock

Autor: Ernest G. Manes, Michael A. Arbib

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag New York Inc.

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

87.03 €

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

Informácie o knihe

Autor

Ernest G. Manes, Michael A. Arbib

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2014

Stránok

353

EAN

9781461293774

ISBN

1461293774

Enbook ID

02643485

Vydavateľ

Springer-Verlag New York Inc.

Hmotnosť

566

Rozmery

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 zaujímať

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

33.59 €

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Algebraic Approaches to Program Semantics

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Classical Journal

Airline ancillary services and incompatibilities within alliances

Systemic Governance

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]

Psychology and the Cross

New Perspectives on Education for Democracy

Common Entrance 13+ English Exam Practice Questions and Answers

A Level Mathematics: Lesson on C1 Differentiation

The Priest Is Not His Own

Kushi cafe

Latino Children Learning English

Strategies for Teaching Beginning and Intermediate Band

Redefining Fatherhood

Housing Policy at a Crossroads

Cambridge Dictionary of Linguistics

Intergenerational Justice

Marxism, Class Analysis and Socialist Pluralism (RLE Marxism)

European Competitiveness

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Epitre A Son Excellence Le Comte de Corbiere

Aderlass

MICA 4 ANOS 2 TRIM

O Rei da Profecia