G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Constraint Logic Programs. In P. Deransart, M. Hermenegildo, and J. Maluszynski, editors, Analysis and Visualization Tools for Constraint Programming, number 1870 in LNCS, pages 23--61. Springer-Verlag, September 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Generic Model for Persistence in (C)LP Systems.. - Correas, Gomez.. (2003) Self-citation (Hermenegildo) (Correct)
No context found.
G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Constraint Logic Programs. In P. Deransart, M. Hermenegildo, and J. Maluszynski, editors, Analysis and Visualization Tools for Constraint Programming, number 1870 in LNCS, pages 23--61. Springer-Verlag, September 2000.
A Generic Model for Persistence in (C)LP Systems.. - Correas, Gomez.. (2003) Self-citation (Hermenegildo) (Correct)
No context found.
G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Constraint Logic Programs. In P. Deransart, M. Hermenegildo, and J. Maluszynski, editors, Analysis and Visualization Tools for Constraint Programming, number 1870 in LNCS, pages 23--61. Springer-Verlag, September 2000.
A Generic Persistence Model for (C)LP Systems (and .. - Correas, Gomez.. (2003) Self-citation (Hermenegildo) (Correct)
No context found.
Puebla, G., Bueno, F., Hermenegildo, M.: An Assertion Language for Constraint Logic Programs. In Deransart, P., Hermenegildo, M., Maluszynski, J., eds.: Analysis and Visualization Tools for Constraint Programming. Number 1870 in LNCS. Springer-Verlag (2000) 23--61
Improved Compilation of Prolog to C Using Moded Types.. - Morales, Carro.. Self-citation (Hermenegildo) (Correct)
No context found.
Puebla, G., Bueno, F., Hermenegildo, M.: An Assertion Language for Constraint Logic Programs. In Deransart, P., Hermenegildo, M., Maluszynski, J., eds.: Analysis and Visualization Tools for Constraint Programming. Number 1870 in LNCS. Springer-Verlag (2000) 23--61
A Generic Framework for Context-Sensitive Analysis .. - Puebla, Correas.. Self-citation (Puebla Bueno Hermenegildo) (Correct)
No context found.
G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Constraint Logic Programs. In P. Deransart, M. Hermenegildo, and J. Maluszynski, editors, Analysis and Visualization Tools for Constraint Programming, number 1870 in LNCS, pages 23--61. Springer-Verlag, September 2000.
Some Techniques for Automated, Resource-Aware.. - Hermenegildo.. Self-citation (Puebla Hermenegildo) (Correct)
No context found.
G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Constraint Logic Programs. In Analysis and Visualization Tools for Constraint Programming, pages 23--61. Springer LNCS 1870, 2000.
Some Issues in Analysis and Specialization of Modular.. - Puebla, Hermenegildo (2000) (5 citations) Self-citation (Puebla Hermenegildo) (Correct)
No context found.
G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Constraint Logic Programs. In P. Deransart, M. Hermenegildo, and 24 J. Maluszynski, editors, Analysis and Visualization Tools for Constraint Programming. Springer-Verlag, 2000. To Appear.
A Generic Model for Persistence in (C)LP Systems.. - Correas, Gomez.. Self-citation (Hermenegildo) (Correct)
No context found.
G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Constraint Logic Programs. In P. Deransart, M. Hermenegildo, and J. Maluszynski, editors, Analysis and Visualization Tools for Constraint Programming, number 1870 in LNCS, pages 23--61. Springer-Verlag, September 2000.
Improved Compilation of Prolog to C Using Moded Types and.. - Morales, Carro, al. (2004) (Correct)
No context found.
G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Constraint Logic Programs. In P. Deransart, M. Hermenegildo, and J. Maluszynski, editors, Analysis and Visualization Tools for Constraint Programming, number 1870 in LNCS, pages 23--61. Springer-Verlag, September 2000.
Improving the Compilation of Prolog to C Using Type.. - Morales, Carro (Correct)
No context found.
G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Constraint Logic Programs. In P. Deransart, M. Hermenegildo, and J. Maluszynski, editors, Analysis and Visualization Tools for Constraint Programming, number 1870 in LNCS, pages 23--61. Springer-Verlag, September 2000.
Improving the Compilation of Prolog to C Using Type.. - Morales, Carro (Correct)
No context found.
G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Constraint Logic Programs. In P. Deransart, M. Hermenegildo, and J. Maluszynski, editors, Analysis and Visualization Tools for Constraint Programming, number 1870 in LNCS, pages 23--61. Springer-Verlag, September 2000.
Improving the Compilation of Prolog to C Using Type.. - Morales, Carro (Correct)
No context found.
G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Constraint Logic Programs. In P. Deransart, M. Hermenegildo, and J. Maluszynski, editors, Analysis and Visualization Tools for Constraint Programming, number 1870 in LNCS, pages 23--61. Springer-Verlag, September 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC