Next Article in Journal
Response of a Parametrically Excited System with Quadratic and Cubic Non-Linearities
Previous Article in Journal
Using the Growth Models for Optimization of Energy Distributions Systems
Article Menu

Article Versions

Export Article

Mathematical and Computational Applications is published by MDPI from Volume 21 Issue 1 (2016). Articles in this Issue were published by another publisher in Open Access under a CC-BY (or CC-BY-NC-ND) licence. Articles are hosted by MDPI on as a courtesy and upon agreement with the previous journal publisher.
Open AccessArticle
Math. Comput. Appl. 2002, 7(3), 253-262;

A Template Based Graph Reduction System Based on Combinators

Gazi University Ankara, Turkey
Baskent University Ankara, Turkey
Authors to whom correspondence should be addressed.
Published: 1 December 2002
PDF [790 KB, uploaded 1 April 2016]


Graph reduction is one of the important evaluation strategy for lazy functional Programming. A combinator is a function that contains no free variables. The idea is based on the fact that, all of the variables in a program can be removed by transforming it into a sequence of combinators which would be drawn from a small pre-defined (fixed) set of combinators (SKI), or which would be drawn from an unlimited number of non-pre- defined set of dynamic super-combinators (SC). We are suggesting a template based algorithm which reduces the stored graph structure of the super-combinators. We can define any produced super-combinators by using templates and use them to perform reduction on the graph. The template based algorithrn could be extended and any produced super-combinators can be defined with a predefined template list. The test results show that our approach increases the efficiency of super-combinators algorithms.
Keywords: Graph Reduction; Combinators; Abstract Programming Graph Reduction; Combinators; Abstract Programming
This is an open access article distributed under the Creative Commons Attribution License (CC BY 3.0).

Share & Cite This Article

MDPI and ACS Style

Çavuşoğlu, A.; Göktaş, H.H.; Vardal, N. A Template Based Graph Reduction System Based on Combinators. Math. Comput. Appl. 2002, 7, 253-262.

Show more citation formats Show less citations formats

Article Metrics

Article Access Statistics



[Return to top]
Math. Comput. Appl. EISSN 2297-8747 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top