A grainless semantics for the HARPO/L language

This paper presents a dynamic semantics for the parallel language HARPO/L, based on Reynolds's grainless approach [1]. It shows that the approach scales to somewhat more sophisticated languages with few changes, while providing a solid semantics for the language, which will be used as a basis for compilation and optimization.