publication . Article . 1994

On the equivalence between CMC and TIM

Rafael D. Lins; Simon J. Thompson; Simon Peyton Jones;
Open Access English
  • Published: 01 Nov 1994
  • Country: United Kingdom
<jats:title>Abstract</jats:title><jats:p>In this paper we present an equivalence between TIM, a machine developed to implement non-strict functional programming languages, and the set of Categorical Multi-Combinators, a rewriting system developed with similar aims. These two models of computation at first appear to be quite different, but we show a direct equivalence between them, thereby adding some new structure to the ‘design-space’ of abstract machines for non-strict languages.</jats:p>
free text keywords: QA76, Software, Categorical variable, Programming language, computer.software_genre, computer, Rewriting system, Equivalence (measure theory), Theoretical computer science, Functional programming, Model of computation, Abstract machine, Computer programming, business.industry, business, Computer science
Related Organizations
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue