{"product_id":"verified-functional-programming-in-agda-9781970001242","title":"Programación funcional verificada en Agda","description":"Agda es un lenguaje de programación avanzado basado en la teoría de tipos. El sistema de tipos de Agda es lo suficientemente expresivo como para soportar la verificación funcional completa de programas, en dos estilos. En la verificación externa, escribimos programas funcionales puros y luego escribimos pruebas de propiedades sobre ellos. Las pruebas son artefactos externos separados, típicamente usando inducción estructural. En la verificación interna, especificamos propiedades de los programas a través de tipos ricos para los programas mismos. Esto a menudo requiere incluir pruebas dentro del código, para mostrar al verificador de tipos que las propiedades especificadas se cumplen. La capacidad de probar propiedades de los programas en estos dos estilos es una adición profunda a la práctica de la programación, dando a los programadores el poder de garantizar la ausencia de errores y, por lo tanto, mejorar la calidad del software más de lo que era posible anteriormente. Programación funcional verificada en Agda es el primer libro en proporcionar una exposición sistemática de la verificación externa e interna en Agda, adecuado para estudiantes universitarios de Ciencias de la Computación. No se presupone familiaridad con la programación funcional ni con las pruebas verificadas por computadora. El libro comienza con una introducción a la programación funcional a través de ejemplos familiares como booleanos, números naturales y listas, y técnicas para la verificación externa. La verificación interna se considera a través de los ejemplos de vectores, árboles de búsqueda binaria y árboles de Braun. También se incluye material más avanzado sobre computación a nivel de tipo, razonamiento explícito sobre la terminación y normalización por evaluación. El libro también incluye un estudio de caso de tamaño mediano sobre codificación y decodificación Huffman.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-6675875\"\u003eAaron Stump\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e ACM Books\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 01\/02\/2016\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 284\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 1.08lbs\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.25h x 7.50w x 0.60d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9781970001242\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 1970001240\u003cbr\u003e\u003cb\u003eCategorías BISAC:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM014000\"\u003eCiencias de la Computación\u003c\/a\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM051010\"\u003eLenguajes | General\u003c\/a\u003e\u003cbr\u003e\u003cbr\u003e\u003cp\u003e\u003cb\u003eSobre el autor\u003c\/b\u003e\u003cbr\u003eAaron Stump es profesor de Ciencias de la Computación en la Universidad de Iowa. Sus intereses de investigación se centran en la Lógica Computacional y los Lenguajes de Programación, especialmente la Teoría de Tipos. Obtuvo una licenciatura en Ciencias de la Computación y Filosofía en la Universidad de Cornell en 1997, y un doctorado en Ciencias de la Computación en la Universidad de Stanford en 2002.\u003c\/p\u003e","brand":"ACM Books","offers":[{"title":"Default Title","offer_id":44544135921901,"sku":"9781970001242","price":119.93,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_fe400156-61d2-4bdd-a32d-7f07f401847b.jpg?v=1701551873","url":"https:\/\/sureshotbooks.com\/es\/products\/verified-functional-programming-in-agda-9781970001242","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}