Inversion and metacomputation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Inversion and metacomputation

Full text

Pdf (1.07 MB)

Source

ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation archive
Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation table of contents

New Haven, Connecticut, United States

Pages: 12 - 22

Year of Publication: 1991

ISBN:0-89791-433-3

Also published in ...

Author

Alexander Romanenko

Institute for the Physical Chemistry, Academy of Sciences of the USSR, Leninskyi prosp.31, SU-117915, Moscow, USSR

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 6, Citation Count: 5

Additional Information:

references cited by index terms peer to peer

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/115865.115868 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	Abramov 88	S.M.Abramov. Memcomputation m~d Logic Progrmnruing. In Semiotic aspects offormalization of the intellectual activity, All-union school-workshop "Borjomi-88", Moscow, 1988.(In Russi,oa0.
	Abramov 89	S.M.Abramov. Metacalculations and Logical Programming, 1989, Unpublished.
	Cutland 80	N.Cutland. COMPUTABILITY. An introduction to recursive function theory, Cambridge University Press, 1980.
	Debray 89	Saumya K. Debray, Static inference of modes and data dependencies in logic programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.3, p.418-450, July 1989 [doi>10.1145/65979.65983]
	Debray, Warren 89	Saumya K. Debray , David S. Warren, Functional computations in logic programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.3, p.451-481, July 1989 [doi>10.1145/65979.65984]
	Fuller, Abramsky 88	D. A. Fuller , S. Abramsky, Mixed computation of Prolog programs, New Generation Computing, v.6 n.2-3, p.119-141, March-April 1988 [doi>10.1007/BF03037134]
	Futamura 71	Y.Futamura. Partial Evaluation of Computation Processan Approach to a Compiler-Compiler. In Systerms, Computers, Control. Vol. 2, No. 5, 1971, pp.45-50.
	Glueck Turchin 90	R. Glueck , V. F. Turchin, Application of metasystem transition to function inversion and transformation, Proceedings of the international symposium on Symbolic and algebraic computation, p.286-287, August 20-24, 1990, Tokyo, Japan [doi>10.1145/96877.96953]
	Gris 81	David Gries, The Science of Programming, Springer-Verlag New York, Inc., Secaucus, NJ, 1987
	Harrison 88	P.G.Harrison. Function Inversion. In {Jones, Bjomer,Er-shov 88}, pp.153-166.
	Hughes,O’Donnell 89	John Hughes , John O'Donnell, Expressing and Reasoning About Non-Deterministic Functional Programs, Proceedings of the 1989 Glasgow Workshop on Functional Programming, p.308-328, August 21-23, 1989
	Jones,Bjorner,Ershov 88	Proceedings of the Workshop on Partial Erahtation and Mixed Computation. N.Jones, D.Bjorner, A.Ershov - eds. Gammel Avernaes, Denmark, 18-24 October 1987, Norris-Holland, 1988.
	Jones 88	Autc)matic Programml Specializatiow a Reexuunination from Basic Principles. In {Jones,Bjomer, Ershov 88}, pp.225-282.
	Kursawe 88	Pure Partial Evaluation and Instantiation. In {Jones, Bjorner,Ershov 88}, pp.283-298.
	McCarthy 56	J.McCarthy. The Inversion of Functions defined by Turing Machines. In Automata Studies. C.E.Shannon, J.Mc- Carthy - eds. Princeton, 1956. pp.177-181.
	Reddy 84	U.S.Reddy. Tnmsfonnation of Logic Programs into Functional Progrmns. In Intern. Syrup. Logic Prog., IEEE, 1984, pp.187-197.
	Reddy 86	U S Reddy, Logic languages based on functions: semantics and implementation, University of Utah, Salt Lake City, UT, 1986
	Reddy87	Uday S. Reddy, Functional logic languages, Part I, Proc. of a workshop on Graph reduction, p.401-425, September 1987, Santa Fe, New Mexico, United States
	Romanenko A. 88	A.Y.Romanenko. The Generation of Inverse Functions in Ref',d. in {Jones,Bjomer,Ershov 88}, pp 427-444.
	Runciman,Jagger 90	Colin Runciman , Nigel Jagger, Relative specification and transformational reuse of functional programs, Lisp and Symbolic Computation, v.3 n.1, p.21-37, Jan. 1990 [doi>10.1007/BF01806124]
	Shoman, McDermott 84	Y.Shomzm,D.V.McDem~ott. Directed Relations ,'rod Inversic)n ~f Prolog Progr,'uns.- in Proceedings o.l'the International Conference of F(fih Generation Computer Syst enls. IC()T, 1984.
	Slagle 74	James R. Slagle, Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity, Journal of the ACM (JACM), v.21 n.4, p.622-642, Oct. 1974 [doi>10.1145/321850.321859]
	Turchin 72	V.F.Turchin. Equiv~dent Transformations of Recursive Function,,, defined in REFAL. - in Teoria yaz.ykov i nletody l?OSt;'r)enia system programiro~4'ania. Trudy sympos. Kiev-Alushla, 1972,pp.31-42.(In Russiml)
	Turchin 74	V.F.Turchin. Equivalent Transformations of Programs in REFAL. CNIPIASS, Gosstroy SSSR, Moscow, 1974 (in Russian)
	Turchin 79	V. F. Turchin, A supercompiler system based on the language REFAL, ACM SIGPLAN Notices, v.14 n.2, p.46-54, February 1979 [doi>10.1145/954063.954069]
	Turchin 80	V.F.Turchin. The Language Refal. The Theory of Compilation and Metasystem Analysis. Curant Institute of Mathematics. Technical report #018, NY, 1980.
	Turchin 86	Valentin F. Turchin, The concept of a supercompiler, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.3, p.292-325, July 1986 [doi>10.1145/5956.5957]
	Turchin 87	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.
	Turchin 88	V.F.Turchin. The Algorithm of Generalization in the Supercompiler. In {Jones,Bjorner,Ershov 88}, pp 531-549.
	Turchin 89	V.F.Turchin. REFAL-5. Progrmmning Guide and Reference Manual. Refal Systems Inc., 1989.
	Turchin 90	V.F.Turchin. The supercompiler system. 1990. Unpublished.

CITED BY 5

	Jens Peter Secher , Morten Heine Sørensen, From checking to inference via driving and dag grammars, ACM SIGPLAN Notices, v.37 n.3, p.41-51, March 2002
	Torben Ægidius Mogensen, Semi-inversion of functional parameters, Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 07-08, 2008, San Francisco, California, USA
	Robert Glück , Masahiko Kawabe, A Method for Automatic Program Inversion Based on LR(0) Parsing, Fundamenta Informaticae, v.66 n.4, p.367-395, December 2005
	Naoki Nishida , Masahiko Sakai, Completion after Program Inversion of Injective Functions, Electronic Notes in Theoretical Computer Science (ENTCS), 237, p.39-56, April, 2009
	María Alpuente , Moreno Falaschi , Germán Vidal, Partial evaluation of functional logic programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.4, p.768-844, July 1998