{"id":212,"date":"2017-06-30T05:37:22","date_gmt":"2017-06-30T05:37:22","guid":{"rendered":"http:\/\/dectau.uclm.es\/Pascual.Julian\/?page_id=212"},"modified":"2018-07-22T01:31:49","modified_gmt":"2018-07-22T01:31:49","slug":"programacion-internet","status":"publish","type":"page","link":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/programacion-internet\/","title":{"rendered":"Programaci\u00f3n Internet"},"content":{"rendered":"
PROGRAMACION INTERNET CON LENGUAJES DECLARATIVOS MULTIPARADIGMA<\/strong><\/h5>\n

Tema 0:<\/strong> Presentaci\u00f3n. (Material:\u00a0<\/strong> transparencias<\/a> )
\nTema 1:<\/strong> Introducci\u00f3n. (Material:<\/strong>\u00a0\u00a0 transparencias<\/a>)<\/p>\n

FUNDAMENTOS<\/strong> (Profesor: Pascual Juli\u00e1n Iranzo)
\nTema 2:<\/strong> Sistemas ecuacionales. (Material:<\/strong>\u00a0\u00a0 transparencias<\/a>)
\nTema 3:<\/strong> Sistemas de reescritura. (Material:<\/strong>\u00a0\u00a0 transparencias<\/a>)
\nTema 4:<\/strong> Narrowing, estrategias de narrowing y residuaci\u00f3n. (Material: \u00a0<\/strong>transparencias<\/a>)<\/p>\n

APLICACIONES<\/strong> (Profesor: Gin\u00e9s Moreno Valverde)
\nTema 5:<\/strong> Curry: Un ejemplo de lenguaje integrado.
\nMaterial:<\/strong><\/p>\n

Tutorial on Curry (\u00a0 transparencias1<\/a>, \u00a0 transparencias2<\/a>)<\/p>\n

Report on the language Curry<\/p>\n

Programming with Narrowing<\/p>\n

Tema 6:<\/strong> Aplicaciones a la programaci\u00f3n internet. (Material:<\/strong>\u00a0 transparencias<\/a>)
\nTema 7:<\/strong> Extensiones difusas de la Programaci\u00f3n Declarativa.<\/p>\n

CONFERENCIA INVITADA<\/strong>
\nTermination of Narrowing in Left-Linear Constructor Systems\u00a0\u00a0<\/strong> (transparencias)<\/a>
\nGerm\u00e1n Vidal
\nCatedr\u00e1tico de Lenguajes y Sistemas Inform\u00e1ticos de la Universidad
\nPolit\u00e9cnica de Valencia.<\/p>\n

Resumen: \u00a0<\/strong>Narrowing extends rewriting with logic capabilities by allowing logic variables in terms and replacing matching with unification. Narrowing has been widely used in different contexts, ranging from theorem proving to language design. Surprisingly, the termination of narrowing has been mostly overlooked. In this paper, we present a new approach for analyzing the termination of narrowing in left-linear constructor systems a widely accepted class of systems that allows us to reuse existing methods in the literature on termination of rewriting.<\/p>\n","protected":false},"excerpt":{"rendered":"

PROGRAMACION INTERNET CON LENGUAJES DECLARATIVOS MULTIPARADIGMA Tema 0: Presentaci\u00f3n. (Material:\u00a0 transparencias ) Tema 1: Introducci\u00f3n. (Material:\u00a0\u00a0 transparencias) FUNDAMENTOS (Profesor: Pascual Juli\u00e1n Iranzo) Tema 2: Sistemas ecuacionales. (Material:\u00a0\u00a0 transparencias) Tema 3: Sistemas de reescritura. (Material:\u00a0\u00a0 transparencias) Tema 4: Narrowing, estrategias de narrowing y residuaci\u00f3n. (Material: \u00a0transparencias) APLICACIONES (Profesor: Gin\u00e9s Moreno Valverde) Tema 5: Curry: Un ejemplo … <\/p>\n

Continue reading “Programaci\u00f3n Internet”<\/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-212","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/212","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=212"}],"version-history":[{"count":21,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/212\/revisions"}],"predecessor-version":[{"id":363,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/212\/revisions\/363"}],"wp:attachment":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/media?parent=212"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}