Francisco Bueno Carrillo

Archive Network Publication Hotspot Collaboration

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where Francisco Bueno Carrillo is active.

Explore More

Publication

Featured researches published by Francisco Bueno Carrillo.

Archive | 2002

The ciao prolog system

Francisco Bueno Carrillo; Daniel Cabeza Gras; Manuel Carro Liñares; Manuel V. Hermenegildo; Pedro López García; Alvaro Germán Puebla Sánchez

international colloquium on automata languages and programming | 1997

On the role of semantic approximations in validation and diagnosis of constraint logic programs

Francisco Bueno Carrillo; Pierre Deransart; Wlodek Drabent; Gérard Ferrand; Manuel V. Hermenegildo; Jan Maluszynski; Alvaro Germán Puebla Sánchez

Proceedings of the ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming | ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming | October 1997 | Port Jefferson, NY, USA | 1997

An assertion language for debugging of constraint logic programs

Alvaro Germán Puebla Sánchez; Francisco Bueno Carrillo; Manuel V. Hermenegildo

parallel symbolic computation | 1994

A comparative study of methods for automatic compile-time parallelization of logic programs

Francisco Bueno Carrillo; M. García de la Banda; Manuel V. Hermenegildo

Archive | 2013

The ciao system

Francisco Bueno Carrillo; Manuel Carro Liñares; R. Haemmerlé; Manuel V. Hermenegildo; Pedro López García; E. Mera; José Francisco Morales Caballero; Alvaro Germán Puebla Sánchez

Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming | ILPS'95 Workshop on Visions for the Future of Logic Programming | December 1995 | Portland, Oregon | 1995

The CIAO multi-dialect compiler and system: An experimentation workbench for future (C)LP systems

Manuel V. Hermenegildo; Francisco Bueno Carrillo; M. García de la Banda; Alvaro Germán Puebla Sánchez

Theory and Practice of Logic Programming, ISSN 1471-0684, 2013-07, Vol. 13, No. 4-5 (S | 2013

Sized Type Analysis for Logic Programs (Technical Communication)

Alejandro Serrano Mena; Pedro López García; Francisco Bueno Carrillo; Manuel V. Hermenegildo

Archive | 2006

A tutorial on program development and optimization using the Ciao preprocessor

Francisco Bueno Carrillo; Pedro López García; Alvaro Germán Puebla Sánchez; Manuel V. Hermenegildo

Archive | 1998

An Introductory Course on Constraint Logic Programming

Manuel Carro Liñares; Manuel V. Hermenegildo; Francisco Bueno Carrillo; Daniel Cabeza Gras; M. García de la Banda; Pedro López García

Archive | 1997

CP debugging tools: Clarification of functionalities and selection of the tools

Abderrahmane Aggoun; Frédéric Benhamou; Francisco Bueno Carrillo; Manuel Carro Liñares; Pierre Deransart; Wlodek Drabent; Gérard Ferrand; Manuel V. Hermenegildo; Claude Lai; J. Lloyd; Jan Maluszynski; Alvaro Germán Puebla Sánchez; Alexandre Tessier

Explore More