M. Bertolino, S. Etalle, and C. Palamidessi, \The replacement operation for CCP programs, " in Proceedings of LoPSTr '99, Venice, Italy (A. Bossi, ed.), Lecture Notes in Computer Science 1817, pp. 217-234, Springer, 2000. @ NUS Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Transformation Rules For A Higher Order Logic Programming.. - Pettorossi, Proietti (2000) (Correct)
....reducing the time complexity of program execution. Finally, our idea of introducing replacement laws which are based on a notion of improvement has been already considered by various authors in various contexts such as higher order functional languages [15] concurrent constraint logic languages [2], and inductive de nitions [14] We leave for future work the development of suitable strategies for directing the use of the transformation rules we have proposed in this paper. Acknowledgements We would like to thank Michael Leuschel for pointing out an error in the preliminary version of ....
M. Bertolino, S. Etalle, and C. Palamidessi, \The replacement operation for CCP programs, " in Proceedings of LoPSTr '99, Venice, Italy (A. Bossi, ed.), Lecture Notes in Computer Science 1817, pp. 217-234, Springer, 2000.
Transformation Rules for Logic Programs with Goals as Arguments - Pettorossi, Proietti (Correct)
....time complexity of the execution of logic programs. Finally, our idea of introducing replacement laws which are based on a notion of improvement has been already considered by various authors in various contexts such as higher order functional languages [15] concurrent constraint logic languages [2], and inductive de nitions [14] We leave for future work the development of suitable strategies for directing the use of the transformation rules we have proposed in this paper. Acknowledgements We would like to thank Michael Leuschel for pointing out an error in the preliminary version of ....
M. Bertolino, S. Etalle, and C. Palamidessi. The replacement operation for CCP programs. In A. Bossi, editor, Proceedings of LoPSTr '99, Venice, Italy, Lecture Notes in Computer Science. Springer, 2000. (this volume).
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.