{"id":207,"date":"2017-06-30T05:29:41","date_gmt":"2017-06-30T05:29:41","guid":{"rendered":"http:\/\/dectau.uclm.es\/Pascual.Julian\/?page_id=207"},"modified":"2017-06-30T05:33:30","modified_gmt":"2017-06-30T05:33:30","slug":"tecnicas-de-transformacion-automatica-de-programas","status":"publish","type":"page","link":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/tecnicas-de-transformacion-automatica-de-programas\/","title":{"rendered":"T\u00e9cnicas de transformaci\u00f3n autom\u00e1tica de programas"},"content":{"rendered":"<h5><strong>Parte I: Evaluaci\u00f3n Parcial de Programas<\/strong><\/h5>\n<ul>\n<li>Introducci\u00f3n a la Evaluaci\u00f3n Parcial de Programas\n<ul>\n<li>Evaluaci\u00f3n parcial <strong>=<\/strong> especializaci\u00f3n de programas<\/li>\n<li>Utilidad de la evaluaci\u00f3n parcial<\/li>\n<li>Evaluaci\u00f3n parcial y compilaci\u00f3n<\/li>\n<li>Generaci\u00f3n autom\u00e1tica de programas<\/li>\n<\/ul>\n<\/li>\n<li>Especializaci\u00f3n de Programas L\u00f3gicos\n<ul>\n<li>Formalizaci\u00f3n de la deducci\u00f3n parcial<\/li>\n<li>Correcci\u00f3n y completitud de la especializaci\u00f3n<\/li>\n<li>Un algoritmo para la deducci\u00f3n parcial<\/li>\n<li>Terminaci\u00f3n de la deducci\u00f3n parcial<\/li>\n<li>Renombramiento<\/li>\n<li>Ejemplo: especializaci\u00f3n de un <em>pattern matcher<\/em><\/li>\n<\/ul>\n<\/li>\n<li>Especializaci\u00f3n de Programas L\u00f3gico Funcionales<\/li>\n<\/ul>\n<h5><strong>Parte II: T\u00e9cnicas de Transformaci\u00f3n basadas en Plegado\/Desplegado<\/strong><\/h5>\n<ul>\n<li>Introducci\u00f3n<\/li>\n<li>Transformaci\u00f3n de Programas Funcionales\n<ul>\n<li>Estrategias de transformaci\u00f3n\n<ul>\n<li>Composici\u00f3n<\/li>\n<li>Tupling<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<\/li>\n<li>Transformaci\u00f3n de Programas L\u00f3gicos\n<ul>\n<li>Correcci\u00f3n y completitud<\/li>\n<\/ul>\n<\/li>\n<li>Relaci\u00f3n con las T\u00e9cnicas de Evaluaci\u00f3n Parcial<\/li>\n<li>Transformaci\u00f3n de Programas L\u00f3gico Funcionales<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Parte I: Evaluaci\u00f3n Parcial de Programas Introducci\u00f3n a la Evaluaci\u00f3n Parcial de Programas Evaluaci\u00f3n parcial = especializaci\u00f3n de programas Utilidad de la evaluaci\u00f3n parcial Evaluaci\u00f3n parcial y compilaci\u00f3n Generaci\u00f3n autom\u00e1tica de programas Especializaci\u00f3n de Programas L\u00f3gicos Formalizaci\u00f3n de la deducci\u00f3n parcial Correcci\u00f3n y completitud de la especializaci\u00f3n Un algoritmo para la deducci\u00f3n parcial Terminaci\u00f3n de &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/tecnicas-de-transformacion-automatica-de-programas\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;T\u00e9cnicas de transformaci\u00f3n autom\u00e1tica de programas&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-207","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/207","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/comments?post=207"}],"version-history":[{"count":2,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/207\/revisions"}],"predecessor-version":[{"id":210,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/207\/revisions\/210"}],"wp:attachment":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/media?parent=207"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}