Polyprograms as a representation of sets of functional programs, and their transformations-Reference-Cited by-同舟云学术

Polyprograms as a representation of sets of functional programs, and their transformations

Published:2017 Issue:5 Volume: Page:1-31
ISSN:2071-2898
Container-title:Keldysh Institute Preprints
language:
Short-container-title:KIAM Prepr.

Author:

Grechanik Sergei Alexandrovich¹^ORCID

Affiliation:

1. Keldysh Institute of Applied Mathematics

Publisher

Keldysh Institute of Applied Mathematics

Subject

General Medicine

Reference14 articles.

1. Abel A. foetus - Termination Checker for Simple Functional Programs. — July 1998.

2. Abel A., Altenkrich T. A Predicative Analysis of Structural Recursion // Journal of Functional Programming. — 2002. — Vol. 12, no. 1. — Pp. 1–41. — URL: http://www.cs.cmu.edu/~abel/foetuswf.ps.gz.

3. Burstall R. M., Darlington J. A transformational system for developing recursive programs // Journal of the ACM. — 1977. — Jan. — Vol. 24, no. 1. — Pp. 44–67.

4. Equality saturation: a new approach to optimization / R. Tate, M. Stepp, Z. Tatlock, S. Lerner // SIGPLAN Not. — New York, NY, USA, 2009. — Jan. — Vol. 44, issue 1. — Pp. 264–276. — ISSN 0362-1340. — URL: http://doi.acm.org/10.1145/1594834.1480915.

5. Grechanik S. A. Overgraph Representation for Multi-Result Supercompilation // Proceedings of the Third International Valentin Turchin Workshop on Metacomputation / ed. by A. Klimov, S. Romanenko. — Pereslavl-Zalessky, Russia : Pereslavl-Zalessky: Ailamazyan University of Pereslavl, July 2012. — Pp. 48–65. — ISBN 978-5-901795-28-6. — URL: http://pat.keldysh.ru/~grechanik/doc/overgraph.pdf.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Supercompilation: main principles and basic concepts;Keldysh Institute Preprints;2018