Premium
Statistics on graph reduction of SASL programs
Author(s) -
Hartel Pieter H.,
Veen Arthur H.
Publication year - 1988
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380180305
Subject(s) - combinatory logic , graph reduction , graph , reducer , computer science , reduction (mathematics) , mathematics , theoretical computer science , programming language , physics , functional programming , geometry , thermodynamics
The execution has been studied of four small and four medium‐sized SASL programs, when interpreted by a variant of Turner's combinator reducer. Size, structure and composition of the combinator graph have been analysed at frequent intervals during the reduction process. The most interesting results are summarized and discussed. Nodes of the graph live rather short lives and are usually not shared. Cycles are rare, and linear lists are often short. In most aspects the behaviour of the graph is quite ordinary in the sense that a simple model is sufficient to obtain a good approximation.