{"product_id":"the-definition-of-standard-ml-revised-edition-9780262631815","title":"La Definición de Standard ML, edición revisada","description":"\u003cp\u003eStandard ML es un lenguaje de programación de propósito general diseñado para grandes proyectos. Este libro proporciona una definición formal de Standard ML para el beneficio de todos los interesados en el lenguaje, incluyendo usuarios e implementadores. Debido a que cada vez se exige más a los programas informáticos que soporten análisis rigurosos, es aún más importante que el lenguaje en el que están escritos se defina con total rigor. Uno de los propósitos de una definición de lenguaje es establecer una teoría de significados sobre la cual pueda descansar la comprensión de programas particulares. Para definir correctamente un lenguaje de programación, es necesario utilizar alguna forma de notación que no sea un lenguaje de programación. Dada la preocupación por el rigor, la notación matemática es una elección obvia. Los autores han definido sus objetos semánticos en notación matemática que es completamente independiente de Standard ML. Al definir un lenguaje, también se deben definir las reglas de evaluación con precisión, es decir, definir qué significado resulta de evaluar cualquier frase del lenguaje. La definición constituye así una especificación formal para una implementación. Los autores han desarrollado suficiente de su teoría para dar sentido a sus reglas de evaluación. \u003ci\u003eThe Definition of Standard ML\u003c\/i\u003e es el punto de referencia esencial para Standard ML. Desde su publicación en 1990, la tecnología de implementación del lenguaje ha avanzado enormemente y el número de usuarios ha crecido. La edición revisada incluye una serie de nuevas características, omite características poco utilizadas y corrige errores de definición.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-14073503\"\u003eRobin Milner\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-12463901\"\u003eRobert Harper\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-13698000\"\u003eDavid Macqueen\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e MIT Press\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 21\/05\/1997\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 132\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 0.50lbs\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 8.97h x 7.01w x 0.42d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9780262631815\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 0262631814\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\u003cbr\u003e\u003cp\u003e\u003cb\u003eSobre el autor\u003c\/b\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eDavid MacQueen es Profesor de Ciencias de la Computación en la Universidad de Chicago.\u003c\/p\u003e","brand":"MIT Press","offers":[{"title":"Default Title","offer_id":44457011183853,"sku":"9780262631815","price":50.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_aa04824d-f399-49f4-a3f7-8a573faa78a9.jpg?v=1700412627","url":"https:\/\/sureshotbooks.com\/es\/products\/the-definition-of-standard-ml-revised-edition-9780262631815","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}