On Using Mode Input-output for Transforming Logic Programs

This publication has 7 references indexed in Scilit:

• Automatic mode inference for logic programs
  The Journal of Logic Programming, 1988
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• Detection and optimization of functional computations in Prolog
  Published by Springer Nature ,1986
• Some global optimizations for a PROLOG compiler
  The Journal of Logic Programming, 1985
• The promotion and accumulation strategies in transformational programming
  ACM Transactions on Programming Languages and Systems, 1984
• Contributions to the Theory of Logic Programming
  Journal of the ACM, 1982
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977