Algebraic Approaches to Program Semantics

Idioma: inglés

Editorial: Springer New York, Humana Jan 2014, 2014

1461293774 / 9781461293774

  • Tapa blanda
  • Nuevo
Ver todos los detalles

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 11 de enero de 2012

Ver los artículos de este vendedor
Tapa blanda

Condición: Nuevo

EUR 93,08

Envío por EUR 23,00 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

Añadir al carrito

Descripción del artículo del vendedor

This item is printed on demand - it takes 3-4 days longer - Neuware -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. 372 pp. Englisch.

N° de ref. del artículo 9781461293774

Título
Algebraic Approaches to Program Semantics
Autor
Michael A. Arbib
Editorial
Springer New York, Humana Jan 2014
Año de publicación
2014
Estado
Neu
Encuadernación
Taschenbuch
Idioma
inglés
ISBN 10
1461293774
ISBN 13
9781461293774
Peso del artículo
563 gramos
Dimensiones
235x155x21 mm

BuchWeltWeit Ludwig Meier e.K.

Bergisch Gladbach, Alemania

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 11 de enero de 2012

Tarifas de envío de Alemania a Estados Unidos de America

ArtículoDe 5 a 15 días hábilesDe 5 a 15 días hábiles
Primer artículoEUR 23,00EUR 23,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

VisaMastercardAmerican ExpressCarte BleueApple PayGoogle Pay
ChequeGiro bancarioPayPal

Información empresarial del vendedor

BuchWeltWeit Ludwig Meier e.K.

Alemania