Author:
Pettorossi Alberto,Proietti Maurizio
Publisher
Springer Berlin Heidelberg
Reference76 articles.
1. K. R. Apt and M. Bezem. Acyclic programs. In D.H.D. Warren and P. Szeredi, editors, Proceedings of the 7th International Conference on Logic Programming, Jerusalem, Israel, pages 617–633. MIT Press, 1990.
2. K. R. Apt and R. N. Bol. Logic programming and negation: A survey. Journal of Logic Programming, 19, 20:9–71, 1994.
3. PhD thesis;N. Azibi,1987
4. N. Bensaou and I. Guessarian. Transforming constraint logic programs. Theoretical Computer Science, 206:81–125, 1998.
5. P. Borovansky, C. Kirchner, H. Kirchner, and C. Ringeissen. Rewriting with strategies in elan: A functional semantics. International Journal of Foundations of Computer Science, 12(1):69–95, 2001.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution);Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11
2. A Method to Deduce and Synthesize the Dafny Programs;Wuhan University Journal of Natural Sciences;2021-12
3. A Historical Account of My Early Research Interests;Electronic Proceedings in Theoretical Computer Science;2020-08-07
4. Transformation Rules for Locally Stratified Constraint Logic Programs;Program Development in Computational Logic;2004
5. Combining Logic Programs and Monadic Second Order Logics by Program Transformation;Logic Based Program Synthesis and Transformation;2003