Вы здесь

Puebla G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ A Generic Preprocessor for Program Validation and Debugging 2000 Puebla G., Bueno F., Hermenegildo M. Lecture Notes in Computer Science 16.11.2000
СТ 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
СТ Abstract Iterpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs 2002 Gallagher J. P., Puebla G. Lecture Notes in Computer Science 27.02.2002
СТ Abstract Specialization and Its Application to Program Parallelization 1997 Puebla G., Hermenegildo M. Lecture Notes in Computer Science 12.04.1997
СТ 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
СТ An Assertion Language for Constraint Logic Programs 2000 Puebla G., Bueno F., Hermenegildo M. Lecture Notes in Computer Science 16.11.2000
СТ 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
СТ Global Analysis of Standard Prolog Programs 1996 Bueno F., Cabeza D., Hermenegildo M., Puebla G. Lecture Notes in Computer Science 18.05.1996
СТ Implementation of Multiple Specialization in Logic Programs 1995 Puebla G., Hermenegildo M. Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation 13.08.1997
СТ Incremental Analysis of Logic Programs 1995 Hermenegildo M., Puebla G., Marriott K., Stuckey P. J. Logic Programming: Proc. of the Twelfth Intern. Conf. 13.05.1996
СТ Optimization of Logic Programs with Dynamic Scheduling 1997 Puebla G., De La Banda M. G., Marriott K., Stuckey P. J. Logic Programming 11.03.1998
СТ 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
СТ 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
СТ 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