Skip to main content
SpringerLink
Log in

Supercompiler Scp4: Use of quasi-distributive laws in program transformation

  • Program Analysis and Transformation
  • Published:
Wuhan University Journal of Natural Sciences

Abstract

The author constructed a transformer Scp4 of functional programs. The transformer uses the technology known as Turchin’s supercompilation. Scp4 was implemented in a functional language Refal-5. The input language for Scp4 is also Refal-5. In the present paper we give an outline of the supercompilar and consider a number of tools of the transformer in details. The tools can be formally thought of as quasi-distributive laws.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Turchin V F. The Language Refal, the Theory of Compilation and Metasystem Analysis. Courant Computer Science Report #20, New York University, 1980.

  2. Turchin V F. The concept of a supercompiler, ACM Transactions on Programming Languages and Systems, 1986,8: 292–325.

    Article  MATH  Google Scholar 

  3. Turchin V F.The Algorithm of Generalization in the Supercompiler. Proceedings of the IFIP TC2 Workshop, Partial Evaluation and Mixed Computation. Amsterdam: North-Holland Publishing Co., 1988, 531.

    Google Scholar 

  4. Turchin V F. Program Transformation with Metasystem Transitions.J of Functional Programming, 1993,3(3): 283–313.

    Article  Google Scholar 

  5. Korlyukov A V. User Manual on the Supercompiler Scp4. (in Russian) http://www.refal. net/supercom.htm, 1999.

  6. Nemytykh A P, Turchin V F. The Supercompiler Scp4: Sources, on-line Demonstration. http:// www.botik.ru/pub/local/scp/refal5/., 2000.

  7. Turchin V F, Turchin D V, Konyshev A P,et al. Refal-5: sources, executable modules. http://www. botik. ru/pub/local/scp/refal5/2000.

  8. Romaneko S A. Arity Raiser and Its Use in Program Specialization.Proceeding of the ESOP’90, LNCS, Vol 432. Springer-Verlag, 1990. 341–360.

  9. Turchin V F, Refal-5, Programming Guide & Reference Manual. New England Publishing Co., 1989 (electronic version: http://www.botik.ru/pub/local/scp/refal5/,2000.)

Download references

Author information

Authors and Affiliations

  1. Program Systems Institute RAS Pereslavl-Zalessky, 152140, Yaroslavl Region, Russia

    Andrei P. Nemytykh

Authors
  1. Andrei P. Nemytykh
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Biography: Andrei P. Nemytykh (1960-), male, Senior researcher, research direction: logic and functional programming languages, automatic program transformation, computer algebra.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Nemytykh, A.P. Supercompiler Scp4: Use of quasi-distributive laws in program transformation. Wuhan Univ. J. of Nat. Sci. 6, 375–382 (2001). https://doi.org/10.1007/BF03160272

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03160272

Key words

CLC number

Search

Navigation