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
We investigate a family of algorithms for graph bisection that are based on a simple local connectiv...
We show that the expected number of decrease-key operations in Dijkstra's shortest path algorit...
The raw data of the reduction of the 238 bugs as extracted from the runs of the four algorithms ddmi...
The execution has been studied of four small and four medium-sized SASL programs, when interpreted b...
The performance of program-derived combinator graph reduction is known to be superior to that of gra...
To analyse the demands made on the garbage collector in a graph reduction system, the change in size...
The results of cache-simulation experiments with an abstract machine for reducing combinator graphs ...
There is a growing interest nowadays in functional programming languages and systems, and in special...
In this paper a model of a program, in which loops are graph cycles, is given. From that model, a pa...
An efficient family of methods to evaluate network reliability is the class of factoring algorithms....
We investigate the statistical properties of cut sizes generated by heuristic algorithms which solve...
To analyse the demands made on the garbage collector in a graph reduction system, the change in size...
2.95SIGLELD:8671.22(PRG--28) / BLDSC - British Library Document Supply CentreGBUnited Kingdo
In these notes we discuss the earlier sections of a paper of Suri and Vassilvitskii, with the great ...
The thesis deals with a newer method of network analysis which is based on small connected induced s...
We investigate a family of algorithms for graph bisection that are based on a simple local connectiv...
We show that the expected number of decrease-key operations in Dijkstra's shortest path algorit...
The raw data of the reduction of the 238 bugs as extracted from the runs of the four algorithms ddmi...
The execution has been studied of four small and four medium-sized SASL programs, when interpreted b...
The performance of program-derived combinator graph reduction is known to be superior to that of gra...
To analyse the demands made on the garbage collector in a graph reduction system, the change in size...
The results of cache-simulation experiments with an abstract machine for reducing combinator graphs ...
There is a growing interest nowadays in functional programming languages and systems, and in special...
In this paper a model of a program, in which loops are graph cycles, is given. From that model, a pa...
An efficient family of methods to evaluate network reliability is the class of factoring algorithms....
We investigate the statistical properties of cut sizes generated by heuristic algorithms which solve...
To analyse the demands made on the garbage collector in a graph reduction system, the change in size...
2.95SIGLELD:8671.22(PRG--28) / BLDSC - British Library Document Supply CentreGBUnited Kingdo
In these notes we discuss the earlier sections of a paper of Suri and Vassilvitskii, with the great ...
The thesis deals with a newer method of network analysis which is based on small connected induced s...
We investigate a family of algorithms for graph bisection that are based on a simple local connectiv...
We show that the expected number of decrease-key operations in Dijkstra's shortest path algorit...
The raw data of the reduction of the 238 bugs as extracted from the runs of the four algorithms ddmi...