Вы здесь

De La Banda M. 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
СТ Optimizing Compilation of Constraint Handling Rules 2001 Holzbaur C., De La Banda M. G., Jeffery D., Stuckey P. J. Lecture Notes in Computer Science 08.11.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
СТ 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
СТ 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
СТ Towards Independent And-Parallelism in CLP 1996 De La Banda M. G., Bueno F., Hermenegildo M. Lecture Notes in Computer Science 20.11.1996
СТ Independence in Dynamically Scheduled Logic Languages 1996 De La Banda M. G., Hermenegildo M., Marriott K. Lecture Notes in Computer Science Algebraic and Logic Programming 05.11.1996
СТ Efficient Analysis of Logic Programs with Dynamic Scheduling 1995 De La Banda M. G., Marriott K. Logic Programming: Proc. of the 1995 Intern. Symp. 25.04.1996
СТ 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
СТ 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