Un depurador abstracto, inductivo y paramétrico para programas multiparadigma

Presentamos un marco general para el diagnóstico abstracto de programas lógico- funcionales, válido para diferentes estrategias de estrechamiento. Asociamos a cada programa una semántica por punto fijo que modela las respuestas computadas. Nuestra metodología está basada en la interpretación abstrac...

Full description

Autores:

Alpuente Frasnedo, María
Correa Zabala, Francisco José

Tipo de recurso:

Trabajo de grado de pregrado

Fecha de publicación:

2004

Institución:

Universidad Autónoma de Bucaramanga - UNAB

Repositorio:

Repositorio UNAB

Idioma:

spa

OAI Identifier:

oai:repository.unab.edu.co:20.500.12749/9033

Acceso en línea:

http://hdl.handle.net/20.500.12749/9033

Palabra clave:

Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Declarative debugging
Abstract diagnosis
Abstract interpretation
Functional logic language
Multi-paradigm programming
Operational semantics
Fixed point semantics
Innovaciones tecnológicas
Ciencias de la computación
Desarrollo tecnológico
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y la comunicación
Depuración declarativa
Diagnostico abstracto
Interpretación abstracta
Lenguaje lógico funcional
Programación multiparadigma
Semántica operacional
Semántica de punto fijo

Rights

License

Derechos de autor 2004 Revista Colombiana de Computación