A Simple Lambda-Calculus Model of Programming Languages por S. Kamal Abdali

Estás por bajar A Simple Lambda-Calculus Model of Programming Languages epub, PDF y demás formatos. Para hacerlo, sólo debes seguir unos pasos muy fáciles.

A Simple Lambda-Calculus Model of Programming Languages S. Kamal Abdali

El autor de este libro es

S. Kamal Abdali

Descripción

We present a simple correspondence between a large subset of Algol 60 language and lambda-calculus. With the aid of this correspondence, a program can be translated into a single lambda-expression. In general, the representation of a program is specified by means of a system of simultaneous conversion relations among the representations of the program constituents. High-level programming language features are treated directly, not in terms of the representations of machine-level operations. The model includes input-output in such a way that when the representation of a (convergent) program is applied to the input item representations, the resulting combination reduces to a tuple of the representations of the output items. This model does not introduce any imperative notions into the calculus; the descriptive programming constructs, such as expressions, and the imperative ones, such as assignments and jumps, are translated alike into pure lambda-expressions. The applicability of the model to the problems of proving program equivalence and correctness is illustrated by means of simple examples.

Datos relevantes:

  • Cantidad de veces bajado: 642
  • Tamaño del archivo: 806KB
  • Cantidad de veces leído: 1318
Datos del libro
Forgotten Books 2017
ISBN: 9780243776269
Idioma: Español
Compatible con Windows, Android, iOS y más.
Formatos: EPUB – PDF

También puedes ver más Libros de Matemáticas

También se buscó:
A Simple Lambda-Calculus Model of Programming Languages descargar epub gratis, A Simple Lambda-Calculus Model of Programming Languages completo sin registrarse, A Simple Lambda-Calculus Model of Programming Languages en pdf en español

El precio en todos lados es…

$120.22

>>> pero AQUÍ es GRATIS!!! <<<

¿Cómo descargar este y todos los libros del sitio?

  1. 📕Registrate gratis AQUÍ por 1 mes
  2. 📕Antes que termine el mes, CANCELA la membresia
  3. 📕Disfruta de todos los libros y contenidos que necesites
Registrate aquí