Email this page to a friend

Recursive Functional Algorithmic Language

<language> (REFAL) A language developed by V.F. Turchin (later at CUNY?) in Moscow in about 1972.

See also supercompilation.

[V.F. Turchin, "An algorithm of generalisation in the supercompiler", Workshop on partial evaluation and mixed computations, Oct 1987, Denmark, Eds. D. Bjorner, A.P. Ershov, N.D. Jones].

[V. Turchin, "Supercompiler System Based on the Language Refal", V. Turchin, SIGPLAN Notices 14(2):46-54 (Feb 1979)].

< Previous Terms	Terms Containing Recursive Functional Algorithmic Language	Next Terms >
recursion theory recursive recursive acronym recursive definition recursive descent parser	REFAL	Recursive Macro Actuated Generator recursive type Red Red Book Red Brick Intelligent SQL