Refal

Known as: Refal programming language 
Refal (Recursive functions algorithmic language) "is functional programming language oriented toward symbol manipulation", including "string… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1979-2015
012319792015

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
The Java Supercompiler (JScp) is a specializer of Java programs based on the Turchin’s supercompilation method and extended to… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2005
2005
Supercompilation, or Supervised Compilation is a technique for program specialization, optimization and, more generally, program… (More)
Is this relevant?
2002
2002
Driving was introduced as a program transformation technique by Valentin Turchin in some papers around 1980. It was intended for… (More)
Is this relevant?
Review
1996
Review
1996
We introduce a positive supercompiler, a version of Turchin's supercompiler maintaining only positive information during… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
1996
1996
A supercompiler is a program which can perform a deep transforma tion of programs using a principle which is similar to partial… (More)
Is this relevant?
1991
1991
The problems of constmcting an inverse function definition from definition of a direct one are considered. The suggested approach… (More)
Is this relevant?
1988
1988
Most implementations of the language Refal represent ground expressions by doubly-linked lists, which results in low-cost… (More)
  • figure 3
  • figure 5
  • figure 6
  • figure 8
  • figure 9
Is this relevant?
Highly Cited
1986
Highly Cited
1986
A supercompiler is a program transformer of a certain type. It traces the possible generalized histories of computation by the… (More)
  • figure 1
Is this relevant?
1980
1980
 
Is this relevant?
1979
1979
7he 5y5tem t06e de5cr16ed 1n th15 n0t1ce a1m5 t0 fac111tate the creat10n and 1mp1ementat10n 0f 5pec1a112ed a190r1thm1ca11an9ua9e5… (More)
Is this relevant?