Matches in SemOpenAlex for { <https://semopenalex.org/work/W2754664> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2754664 abstract "Este trabajo trata acerca del uso del indeterminismo como un recurso expresivo de los lenguajes de programacion. En los lenguajes indeterministas se ofrecen algunas primitivas u otros recursos que pueden ser utilizados para expresar computos cuyo res ultado final no esta totalmente determinado por los datos de entrada. En estos lenguajes, en los que la concurrencia no tiene porque estar presente, el indeterminismo es parte del modelo de computo. Distintas variantes del indeterminismo han sido emp leadas desde hace mucho tiempo en la especificacion de sistemas (por ejemplo las maquinas de Turing o los automatas indeterministas) o en programacion (las construcciones de McCarthy o Dijkstra son ejemplos clasicos). El indeterminismo es especialmen te util para la resolucion de problemas de busqueda, debido a que permite expresar este tipo de problemas de una forma natural y directa: cada camino alternativo es expresado en el lenguaje mediante una alternativa indeterminista, y es el sistema el que se encarga de manejar por si mismo el proceso de exploracion de las diferentes posibilidades. En un lenguaje determinista, en cambio, es el programador el que esta obligado a codificar explicitamente en su algoritmo dicha exploracion de las disti ntas alternativas, una tarea habitualmente no trivial y proclive a errores.Por sus grandes capacidades expresivas, el uso del indeterminismo ha despertado un especial interes en el campo de la programacion declarativa. En particular este esta en la base del lenguaje Prolog, quizas el mas famoso representante de los lenguajes indeterministas. Los lenguajes funcionales, tambien el campo de la programacion declarativa, no suelen considerar el indeterminismo como una caracteristica del lenguaje, a unque este no es ajeno a su interes, y en varios trabajos se ha tratado su simulacion mediante diferentes construcciones. La programacion logico-funcional (PLF), o en general, la programacion declarativa multiparadigma, constituye un importante c ampo de investigacion que intenta integrar en el mismo lenguaje las principales virtudes de varios paradigmas independientes: programacion logica, programacion funcional perezosa e incluso programacion con restricciones. Dos representantes modernos d e esta linea son los lenguajes Toy y Curry, que comparten sus caracteristicas principales." @default.
- W2754664 created "2016-06-24" @default.
- W2754664 creator A5045356480 @default.
- W2754664 date "2010-01-01" @default.
- W2754664 modified "2023-09-26" @default.
- W2754664 title "Programación con indeterminismo: un enfoque basado en reescritura" @default.
- W2754664 cites W1485652268 @default.
- W2754664 cites W1486941949 @default.
- W2754664 cites W1504007491 @default.
- W2754664 cites W1508237628 @default.
- W2754664 cites W1512480360 @default.
- W2754664 cites W1521843416 @default.
- W2754664 cites W1539487186 @default.
- W2754664 cites W1542469490 @default.
- W2754664 cites W1547967717 @default.
- W2754664 cites W1582166793 @default.
- W2754664 cites W1583295953 @default.
- W2754664 cites W161961141 @default.
- W2754664 cites W176560628 @default.
- W2754664 cites W1869358111 @default.
- W2754664 cites W1970480658 @default.
- W2754664 cites W1980781982 @default.
- W2754664 cites W1992085465 @default.
- W2754664 cites W2004843654 @default.
- W2754664 cites W2008067592 @default.
- W2754664 cites W2010331618 @default.
- W2754664 cites W2023922836 @default.
- W2754664 cites W2030663607 @default.
- W2754664 cites W205382243 @default.
- W2754664 cites W2053867970 @default.
- W2754664 cites W2059799630 @default.
- W2754664 cites W2063521547 @default.
- W2754664 cites W2070953905 @default.
- W2754664 cites W2089241138 @default.
- W2754664 cites W2105144754 @default.
- W2754664 cites W2116940213 @default.
- W2754664 cites W2122891736 @default.
- W2754664 cites W2130379877 @default.
- W2754664 cites W2168144301 @default.
- W2754664 cites W61703684 @default.
- W2754664 cites W68427271 @default.
- W2754664 cites W1977760557 @default.
- W2754664 cites W2583759421 @default.
- W2754664 hasPublicationYear "2010" @default.
- W2754664 type Work @default.
- W2754664 sameAs 2754664 @default.
- W2754664 citedByCount "0" @default.
- W2754664 crossrefType "journal-article" @default.
- W2754664 hasAuthorship W2754664A5045356480 @default.
- W2754664 hasConcept C138885662 @default.
- W2754664 hasConcept C15708023 @default.
- W2754664 hasConceptScore W2754664C138885662 @default.
- W2754664 hasConceptScore W2754664C15708023 @default.
- W2754664 hasLocation W27546641 @default.
- W2754664 hasOpenAccess W2754664 @default.
- W2754664 hasPrimaryLocation W27546641 @default.
- W2754664 isParatext "false" @default.
- W2754664 isRetracted "false" @default.
- W2754664 magId "2754664" @default.
- W2754664 workType "article" @default.