Examinando por Materia "Bottom up"

Mostrando 1 - 2 de 2
  • No hay miniatura disponible
    Ítem
    Correction of functional logic programs
    (SPRINGER, 2003-01-01) Alpuente, M.; Ballis, D.; Correa, F.J.; Falaschi, M.; Alpuente, M.; Ballis, D.; Correa, F.J.; Falaschi, M.; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
    We propose a new methodology for synthesizing correct functional logic programs. We aim to create an integrated development environment in which it is possible to debug a program and correct it automatically. We start from a declarative diagnoser that we have developed previously which allows us to identify wrong program rules w.r.t. an intended specification. Then a bug-correction, program synthesis methodology tries to correct the erroneous components of the wrong code. We propose a hybrid, top-down (unfolding-based) as well as bottom-up (induction-based), approach for the automatic correction of functional logic programs which is driven by a set of evidence examples which are automatically produced as an outcome by the diagnoser. The resulting program is proven to be correct and complete w.r.t. the considered example sets. Finally, we also provide a prototypical implementation which we use for an experimental evaluation of our system. © Springer-Verlag Berlin Heidelberg 2003.
  • No hay miniatura disponible
    Ítem
    De la ambigüedad en el diseño de una política pública a la discrecionalidad en su proceso de implementación.
    (Universidad EAFIT, 2018) Cuadros Muñoz, Jorge Humberto; Olaya Mesa, Carlos Andrés
    The theoretical developments on formulation process of public politics have been appreciable, in relation to the process of taking into account of a public problem by governmental entities; nevertheless, they have not been sufficiently accompanied by parallel productions in the implementation field. The implementation process will be the main matter in this paper, emphasising on the public intervention instruments established by governmental entities during the plannig stage of a public politic. For this aim, the case taken into account was “Política Pública de Discapacidad e Inclusión Social (PPDIS)” from Envigado (Colombia) for the period 2015 – 2018. Hence, both top-down and bottom-up approaches have been analyzed, through which the implementation processes are described, as well as the transition between objectives and proposed programs has been intended. As a conclusion, a public politic characterized by the ambiguity in the definition of objectives and instruments, and planned under civic participation processes, should respond to implementation models as bottom-up, in which the influence of social actors or bureaucrats that took part in the formulation stage is better. On the contrary, a public politic characterized by having objectives and instruments clearly stablished, and by low leves of politic conflict or discretion, it is possible to be implemented under top-down environments where the actions are coherent with the purposes and initial indicators aimed by the politic.