free publishing
for academics

Estrategias de Estrechamiento Perezoso

Estrategias de Estrechamiento Perezoso

Modelos de Cómputo para la Programación Lógico Funcional

Editorial Academica Espanola ( 2011-07-29 )

€ 79,00

Buy at the MoreBooks! Shop

La Programación Declarativa constituye una de las áreas de investigación dotadas de un mayor fundamento matemático dentro del campo de la programación, lo que la confiere un alto nivel de abstracción de gran utilidad en numerosos ámbitos de aplicación. Tradicionalmente, ha sido dividida en dos paradigmas separados basados en diferentes formalismos matemáticos y en diferentes cómputos subyacentes: La Programación Funcional y la Programación Lógica. Con el fin de integrar las ventajas de ambos paradigmas en uno solo, se han desarrollado en las últimas décadas varias propuestas de Lenguajes de Programación Lógico Funcional, muchos de los cuales hacen uso de la relación de Estrechamiento como modelo de cómputo unificado para definir su semántica operacional. Sin embargo, debido a la ineficiencia del estrechamiento, muchas estrategias han sido propuestras con el fin de refinar el espacio de cómputo que se genera. Entre ellas, las investigaciones más recientes se han centrado en el estudio de las denominadas Estrategias de Estrechamiento Perezoso. El presente libro presenta los principales cálculos y estrategias de estrechamiento perezoso que se han desarrollado en las últimas décadas.

Book Details:

ISBN-13:

978-3-8454-8324-5

ISBN-10:

3845483245

EAN:

9783845483245

Book language:

Español

By (author) :

Rafael del Vado Vírseda

Number of pages:

208

Published on:

2011-07-29

Category:

Informatics