{"product_id":"the-formal-semantics-of-programming-languages-an-introduction-9780262731034","title":"La Semántica Formal de los Lenguajes de Programación: Una Introducción","description":"\u003ci\u003eThe Formal Semantics of Programming Languages\u003c\/i\u003e proporciona las técnicas matemáticas básicas necesarias para quienes se inician en el estudio de la semántica y la lógica de los lenguajes de programación. Estas técnicas permitirán a los estudiantes inventar, formalizar y justificar reglas con las que razonar sobre una variedad de lenguajes de programación. Aunque el tratamiento es elemental, varios de los temas tratados provienen de investigaciones recientes, incluyendo el área vital de la concurrencia. El libro contiene muchos ejercicios que van desde los más sencillos hasta miniproyectos. Comenzando con la teoría básica de conjuntos, se introduce la semántica operacional estructural como una forma de definir el significado de los lenguajes de programación junto con las técnicas de prueba asociadas. La semántica denotacional y axiomática se ilustran en un lenguaje simple de programas \"while\", y se presentan pruebas completas de la equivalencia de la semántica operacional y denotacional y la solidez y la completitud relativa de la semántica axiomática. Se incluye una prueba del teorema de incompletitud de Godel, que enfatiza la imposibilidad de lograr una semántica axiomática totalmente completa. Se apoya en un apéndice que proporciona una introducción a la teoría de la computabilidad basada en programas \"while\". Tras una presentación de la teoría de dominios, se tratan la semántica y los métodos de prueba para varios lenguajes funcionales. El lenguaje más simple es el de las ecuaciones de recursión con evaluación tanto por valor como por nombre. Este trabajo se extiende a lenguajes con tipos superiores y recursivos, incluyendo un tratamiento de los cálculos lambda ansiosos y perezosos. A lo largo de todo el texto, se enfatiza la relación entre la semántica denotacional y operacional, y se proporcionan las pruebas de la correspondencia entre la operación y la semántica denotacional. El tratamiento de los tipos recursivos -una de las partes más avanzadas del libro- se basa en el uso de sistemas de información para representar dominios. El libro concluye con un capítulo sobre lenguajes de programación paralela, acompañado de una discusión de métodos para especificar y verificar programas no deterministas y paralelos.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-16599258\"\u003eGlynn Winskel\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e MIT Press\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 02\/05\/1993\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 384\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 1.57lbs\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.04h x 6.92w x 0.70d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9780262731034\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 0262731037\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-COM051010\"\u003eLenguajes | General\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-COM051000\"\u003eProgramación | General\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-COM014000\"\u003eCiencias de la Computación\u003c\/a\u003e\u003cbr\u003e\u003cbr\u003e\u003cp\u003e\u003cb\u003eSobre el autor\u003c\/b\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eGlynn Winskel es profesor de Ciencias de la Computación en la Universidad de Aarhus, Dinamarca.\u003c\/p\u003e","brand":"MIT Press","offers":[{"title":"Default Title","offer_id":44564788936941,"sku":"9780262731034","price":133.33,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_acc98989-981d-468d-9644-ff0f0a49bf52.jpg?v=1701855270","url":"https:\/\/sureshotbooks.com\/es\/products\/the-formal-semantics-of-programming-languages-an-introduction-9780262731034","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}