Inversion and metacomputation

ACM SIGPLAN Notices

Volumn 26, Issue 9, 1991, Pages 12-22

  Romanenko, Alexander ^a  

^a RUSSIAN ACADEMY OF SCIENCES   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976858728     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/115866.115868     Document Type: Article

References (30)

1. S.M. Abramov. Metacomputation and Logic Programming. In Semiotic aspects of formalization of the intellectual activity, All-union school-workshop “Borjomi-88”, Moscow, 1988.(In Russian).
2. S.M. Abramov. Metacalculations and Logical Programming, 1989, Unpublished.
3. N. Cutland. COMPUTABILITY, An Introduction to recursive function theory, Cambridge University Press, 1980.
4. S.K. Debray. Static Inference of Modes and Data Dependencies in Logic Programs. In ACM TOPLAS, Vol. 11, No.3, July 1989, 418-450.
5. S.K. Debray, D.S. Warren, Functional Computations in Logic Programs. In ACM TOPLAS, Vol. 11, No.3, July 1989, 451-481.
6. D.A. Fuller, S. Abramsky. Mixed Computation of Prolog Program. In New Generation Computing, 6(1988) 119-141.
7. Y. Futamura. Partial Evaluation of Computation Process an Approach to a Compiler-Compiler. In Systems, Computers, Control. Vol. 2, No. 5, 1971, pp.45-50.
8. R. Glueck, V. Turchin, Application of Metasystem Transition to Function Inversion and Transformation. In Proceedings of International Symposium on Symbolic and Algebraic Computation (ISSAC'90), 1990.
9. D. Gris. The Science of Programming. Springer-Verlag, 1981.
10. P.G. Harrison. Function Inversion. In [Jones, Bjorner, Ershov 88], pp.153-166.
11. J. Hughes, J. O'Donnell. Expression and Reasoning About Non-deterministic Functional Programs. In Functional Programming. K. Davis, J. Hughes - eds. Glasgo, 1989, pp. 308-328.
12. Proceedings of the Workshop on Partial Evaluation and Mixed Computation. N. Jones, D. Bjorner, A. Ershov - eds. Gammel Avernaes, Denmark, 18-24 October 1987, North-Holland, 1988.
13. Pure Partial Evaluation and Instantiation. In [Jones, Bjorner, Ershov 88], pp.283-298.
14. J. McCarthy. The Inversion of Functions defined by Turing Machines. In Automata Studies. C.E. Shannon, J. McCarthy - eds. Princeton, 1956. pp. 177-181.
15. U.S. Reddy. Transformation of Logic Programs into Functional Programs. In Intern. Symp. Logic Prog., IEEE, 1984, pp.187-197.
16. U.S. Reddy. Logic Languages based on Functions: Semantics and Implementation. Technical Report UIUC-DCS-R-86-1305, Illinois, 1986, Ph.D.thesis done at Univ.
17. U.S. Reddy, Functional logic languages, Part 1. - In Graph Reduction, Springer-Verlag, 1987, pp.401-425. (LNCS, Vol. 279)
18. A.Y. Romanenko. The Generation of Inverse Functions in Refal. In [Jones, Bjorner, Ershov 88], pp 427-444.
19. C. Runciman, N. Jagger. Relative Specification and Transformational Re-use of Functional Programs. In Lisp and Symbolic Computation: An international Journal, 3, 1990, pp.21-37.
20. Y. Shoman, D.V. McDermott. Directed Relations and Inversion of Prolog Programs. - in Proceedings of the International Conference of Fifth Generation Computer Systems. ICOT, 1984.
21. J. Slagle. Automated Theorem-Proving for theories with simplifiers, commutativity and assciativity. In JACM, Vol. 21, No. 4, Oct. 1974, pp.622-642.
22. V.F. Turchin. Equivalent Transformations of Recursive Functions defined in REFAL. - in Teoria yazykov i metody postroenia system programirowania. Trudy sympos. Kiev-Alushta, 1972, pp.31-42. (In Russian)
23. V.F. Turchin. Equivalent Transformations of Programs in REFAL. CNIPIASS, Gosstroy SSSR, Moscow, 1974 (in Russian)
24. Turchin, V.F., Supercompiler System Based on the Language REFAL. - SIGPLAN Notices, 14(2), 1979, pp.46-54.
25. V.F. Turchin. The Language Refal. The Theory of Compilation and Metasystem Analysis. Curant Institute of Mathematics. Technical report #018, NY, 1980.
26. V.F. Turchin. The Concept of a Supercompiler. In ACM TOPLAS, Vol.8, No. 3, 1986, pp 292-325.
27. V.F. Turchin. A Constructive Interpretation of the Full Set Theory. In The Journal of Symbolic Logic, Vol. 52, No 1, March 1987, pp.172-201.
28. V.F. Turchin. The Algorithm of Generalization in the Supercompiler. In [Jones, Bjorner, Ershov 88], pp 531-549.
29. V.F. Turchin. REFAL-5. Programming Guide and Reference Manual. Refal Systems Inc., 1989.
30. V.F. Turchin. The supercompiler system. 1990. Unpublished.