Search
Now showing items 1-10 of 2170
An integrated framework for the diagnosis and correction of rule-based programs
(ELSEVIER SCIENCE BV, 2010-10-29)
We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it ...
An integrated framework for the diagnosis and correction of rule-based programs
(ELSEVIER SCIENCE BV, 2010-10-29)
We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it ...
Correction of functional logic programs
(SPRINGER, 2003-01-01)
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 ...
Evaluation of the process of implementing a professional nurse education program
(Universidad del Zulia, 2020)
Economic impact of the implementation of the rural agribusiness development program (PUAP)
(Universidad del Zulia, 2020)
Forming Teams for Teaching Programming based on Static Code Analysis
(2012-07-04)
The use of team for teaching programming can be effective in the classroom because it helps students to generate and acquire new knowledge in less time, but these groups to be formed without taking into account some respects, ...
Evaluation of aftercare program in ALAmal complex by using CIPP model
(Universidad del Zulia, 2019)
Evaluating academic mentorship programs in low-and middle-income country institutions: Proposed framework and metrics
(American Society of Tropical Medicine and Hygiene, 2019-01)
A growing number of low- and middle-income country (LMIC) institutions have developed and implemented formal programs to support mentorship. Although the individual-level benefits of mentorship are well established, such ...
Evaluation of the impact of a food program on the micronutrient nutritional status of argentinean lactating mothers
(Humana Press, 2012-12)
This study was conducted to evaluate the impact of a food aid program (Plan Más Vida, PMV) on the micronutrient nutritional condition of lactating mothers 1 year after its implementation. The food program provided supplementary ...