( en | de | ru )

 

Disambiguation of "Bueno, Francisco"

Author of the publication

copydeleteadd this publication to your clipboard
A Generic Processor for Program Validation and Debugging.

, , and . Analysis and Visualization Tools for Constraint Programming, volume 1870 of Lecture Notes in Computer Science, page 63-107. Springer, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Odavia Bueno Díaz

Juliana Bueno

Renato Bueno

Claudia Patricia Bueno Castellanos

Juan David Bueno Toro

 

Other publications of authors with the same name

Enrichment of text documents using information retrieval techniques in a distributed environment., , and . Expert Syst. Appl., 37 (12): 8348-8358 (2010)A study of set-sharing analysis via cliques., , and . CoRR, (2005)Global Analysis of Standard Prolog Programs., , , and . ESOP, volume 1058 of Lecture Notes in Computer Science, page 108-124. Springer, (1996)Efficient Top-Down Set-Sharing Analysis Using Cliques., , and . PADL, volume 3819 of Lecture Notes in Computer Science, page 183-198. Springer, (2006)On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs., , , , , , and . AADEBUG, volume 2 of Linköping Electronic Articles in Computer and Information Science, page 155-169. Linköping University Electronic Press, (1997)More Precise Yet Efficient Type Inference for Logic Programs., and . WLPE, page 63-76. (2002)Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses., , and . New Gener. Comput., 28 (2): 177-206 (2010)An overview of Ciao and its design philosophy, , , , , , and . CoRR, (2011)Contextual Nets and Constraint Logic Programming., , , , and . ICLP Workshop on Concurrent Constraint Programming, (1993)A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification., , and . ICLP (Technical Communications), volume 7 of LIPIcs, page 104-113. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)