Resultados de la búsqueda

…ormador de predicados]]'' es una [[función total]] entre dos ''[[aserción (programación)|predicados]]'' del conjunto de estados de un programa. El ''transformador de predicados'' canónico de la programación imperativa secuencial es el conocido normalmente como "'''weakest precondition'''" ('' …

{{Ficha de lenguaje de programación …= [[Programación_funcional|funcional]], [[Programación imperativa|imperativa]], [[Programación_orientada_a_objetos|orientada a objetos]] en [[Ocaml|OCam …

…er más apropiadas para algunas aplicaciones. En algunos contextos, como en programación en [[Lisp]], el término lista se puede referir específicamente a una lista En [[teoría de tipos]] y [[programación funcional]], las listas abstractas son normalmente definidas recursivamente …

…r construcción" en un [[lenguaje de programación|lenguaje]] [[programación imperativa|imperativo]]).<ref name="EWD472">{{cita web | apellido=Dijkstra | nombre=Ed …n. Esta notación (y su correspondiente traductor al lenguaje [[Lenguaje de programación Java|Java]]) está siendo desarrollada en la [[Universidad Simón Bolívar (Ve …

…[diseño estructurado]], basado en características de 'buenas' prácticas de programación que reducen los costos de mantenimiento y modificación. El diseño estructur …s el ''estado ideal'' que siempre se intenta obtener para lograr una buena programación o un buen diseño. Cuanto ''menos dependiente'' sean las partes que constitu …

…endo el operador usado para unir varias declaraciones en la [[programación imperativa]],<ref name="RealWorldHaskell"/> en consecuencia la expresión implica que… …n se las puede ver como un [[patrón de diseño]] funcional para construir [[Programación genérica|tipos genéricos]].<ref>{{cita web …

…ras de ejecución inmediata, se derivan del hecho de que son [[Programación imperativa|imprescindibles]]. Esto significa que está en manos del usuario entregar to …tomatización y facilidad, y afirma que dicha calculadora debería ser más [[Programación declarativa|declarativa]]. Esto significa que el usuario debe realizar la …

…3] Uno de los principales métodos para la alineación de secuencias es la [[programación dinámica]]. El método se utiliza para llenar la matriz de distancia y luego …de Needleman-Wunsch]] utilizado para calcular la alineación global utiliza programación dinámica para obtener la matriz de distancia. …