Вы здесь

Bueno F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ From Eventual to Atomic and Locally Atomic CC Programs: A Concurrent Semantics 1994 Bueno F., Hermenegildo M., Montanari U., Rossi F. Lecture Notes in Computer Science 01.11.1994
СТ Towards a Concurrent Semantics Based Analysis of CC and CLP 1994 Montanari U., Rossi F., Bueno F., De La Banda M. G., Hermenegildo M. Lecture Notes in Computer Science 22.12.1994
СТ Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization 1994 Bueno F., De La Banda M. G., Hermenegildo M. Logic Programming. Proc. of the 1994 Intern. Symp. 30.01.1996
СТ Global Analysis of Standard Prolog Programs 1996 Bueno F., Cabeza D., Hermenegildo M., Puebla G. Lecture Notes in Computer Science 18.05.1996
СТ Towards Independent And-Parallelism in CLP 1996 De La Banda M. G., Bueno F., Hermenegildo M. Lecture Notes in Computer Science 20.11.1996
СТ An Algebraic Approach to Sharing Analysis of Logic Programs 1997 Codish M., Lagoon V., Bueno F. Lecture Notes in Computer Science 20.09.1997
СТ Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming 1999 Bueno F., De La Banda M. G., Hermenegildo M. ACM Trans. on Programming Languages and Systems 23.12.1999
СТ Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs 2000 Puebla G., Bueno F., Hermenegildo M. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.08.2000
СТ A Generic Preprocessor for Program Validation and Debugging 2000 Puebla G., Bueno F., Hermenegildo M. Lecture Notes in Computer Science 16.11.2000
СТ An Assertion Language for Constraint Logic Programs 2000 Puebla G., Bueno F., Hermenegildo M. Lecture Notes in Computer Science 16.11.2000
СТ Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor 1999 Hermenegildo M. V., Bueno F., Puebla G., Lopez P. Logic Programming 07.03.2001
СТ A Model for Inter-module Analysis and Optimizing Compilation 2001 Bueno F., De La Banda M. G., Hermenegildo M., Marriott K., Puebla G., Stuckey P. J. Lecture Notes in Computer Science 23.06.2001
СТ Program Debugging and Validation Using Semantic Approximations and Partial Specifications 2002 Hermenegildo M., Puebla G., Bueno F., Lopez-Garcia P. Lecture Notes in Computer Science 03.08.2002
СТ More Precise Yet Efficient Type Inference for Logic Programs 2002 Vaucheret C., Bueno F. Lecture Notes in Computer Science 31.10.2002
СТ Abstract Verification and Debugging of Constraint Logic Programs 2003 Hermengildo M., Puebla G., Bueno F., Lopez-Gercia P. Lecture Notes in Computer Science 13.05.2003
СТ Program Development Using Abstract Interpretation (And the Ciao System Preprocessor) 2003 Hermenegildo M. V., Puebla G., Bueno F., Lopez-Garcia P. Lecture Notes in Computer Science 18.09.2003
СТ Multivariant Non-failure Analysis via Standard Abstract Interpretation 2004 Bueno F., Lopez-Garcia P., Hermenegildo M. Lecture Notes in Computer Science 07.05.2004
СТ A Generic Framework for Context-Sensitive Analysis of Modular Programs 2004 Puebla G., Correas J., Hermenegildo M. V., Bueno F., De La Banda M. G., Marriot K., Stuckey P. J. Lecture Notes in Computer Science Lecture Notes in Computer Science 31.07.2004