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

Open AccessArticle
Math. Comput. Appl. 2002, 7(3), 253-262; doi:10.3390/mca7030253

A Template Based Graph Reduction System Based on Combinators

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

Abstract

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).

Scifeed alert for new publications

Never miss any articles matching your research from any publisher
  • Get alerts for new papers matching your research
  • Find out the new papers from selected authors
  • Updated daily for 49'000+ journals and 6000+ publishers
  • Define your Scifeed now

SciFeed 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

1

Comments

[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