Magia en cada página | Especial Harry Potter hasta 55% OFF  Ver más

Enviar a
C.A.B.A., Ciudad Autónoma de Buenos Aires
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

portada Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science) (en Inglés)
Formato
Libro Físico
Editorial
Autor
Año
2005
Idioma
Inglés
N° páginas
312
Encuadernación
Tapa Blanda
ISBN
0521018471
ISBN13
9780521018470
Categorías

Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science) (en Inglés)

Flemming Nielson; Hanne Riis Nielson (Autor) · Cambridge University Press · Tapa Blanda

Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science) (en Inglés) - Flemming Nielson; Hanne Riis Nielson

Libro Nuevo Importado
Envío: 16 a 21 días háb.
$ 266.007$ 119.703
-55%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan más de 100 unidades

$ 119.703
Llega entre el 24 Ago y el 31 Ago a C.A.B.A., Ciudad Autónoma de Buenos Aires. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de envío

Reseña del libro "Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science) (en Inglés)"

The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time and compile-time) that distinguishes between them. Consequently, the ability to specify code and verify program correctness can be improved. Two developments are needed, the first of which introduces the binding time distinction into the lambda calculus in a manner analogous with the introduction of types into the untyped lambda calculus. Methods are also presented for introducing combinators for run-time. The second concerns the interpretation of the resulting language, which is known as the mixed lambda-calculus and combinatory logic. The notion of "parametrized semantics" is used to describe code generation and abstract interpretation. The code generation is for a simple abstract machine designed for the purpose, it is close to the categorical abstract machine. The abstract interpretation focuses on a strictness analysis that generalizes Wadler's analysis for lists. It is also shown how the results of abstract interpretation may be used to improve the code generation.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

¿Cuál es la encuadernación de este libro?

La encuadernación de esta edición es Tapa Blanda.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes