Buscar
Mostrando ítems 1-10 de 20245
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 ...
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, ...
Modeling issues and implementation of language for disjunctive programming
(Pergamon-Elsevier Science Ltd, 2000-10)
This paper describes a number of key modeling issues for the development of tools for solving nonlinear discrete/continuous problems where logic/disjunctive constraints are included in the formulation. A generalized hybrid ...
MULTI-LEVEL INTEGER PROGRAMMING PROBLEM WITH MULTIPLE OBJECTIVES AT EACH LEVELPROGRAMACIÓN ENTERA MULTINIVEL PROBLEMA CON MÚLTIPLES OBJETIVOS EN CADA NIVEL
(Departamento de Matemática Aplicada. Facultad de Matemática y Computación. Universidad de La Habana, 2023)
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 ...
Scientific Program
(Universidad Nacional de Córdoba, 2017)
APPLICATION OF GOAL PROGRAMMING IN A FOREST PROBLEMAplicação de goal programming em um problema florestal.
(Universidade Federal de Santa Maria, 2005)
Understanding Notional Machines through Traditional Teaching with Conceptual Contraposition and Program Memory Tracing
(Centro Latinoamericano de Estudios en Informática, 2016)