TY - GEN
T1 - Static analysis of interaction nets for distributed implementations
AU - Mackie, Ian
N1 - Publisher Copyright:
© 1997, Springer Verlag. All rights reserved.
PY - 1997/1/1
Y1 - 1997/1/1
N2 - Interaction nets can be seen as both a programming language and an intermediate language for the implementation of other paradigms of computation. One of their principal advantages is that the reduction process is both local and confluent, thus being ideally suited for the development of parallel implementations. For distributed memory architectures, however, there is a need to know how the net should be distributed amongst processors, i.e. how do we break up the net so that the communication is kept to a minimum. The purpose of this paper is to suggest an analysis to solve this problem, and hint at other possible analyses for different applications, for example dynamic load balancing.
AB - Interaction nets can be seen as both a programming language and an intermediate language for the implementation of other paradigms of computation. One of their principal advantages is that the reduction process is both local and confluent, thus being ideally suited for the development of parallel implementations. For distributed memory architectures, however, there is a need to know how the net should be distributed amongst processors, i.e. how do we break up the net so that the communication is kept to a minimum. The purpose of this paper is to suggest an analysis to solve this problem, and hint at other possible analyses for different applications, for example dynamic load balancing.
KW - Abstract interpretation
KW - Distributed implementations
KW - Interaction nets
UR - https://www.scopus.com/pages/publications/84979047743
U2 - 10.1007/bfb0032744
DO - 10.1007/bfb0032744
M3 - Conference contribution
AN - SCOPUS:84979047743
SN - 9783540634683
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 217
EP - 231
BT - Static Analysis - 4th International Symposium, SAS 1997
A2 - Van Hentenryck, Pascal
PB - Springer Verlag
T2 - 4th International Symposium on Static Analysis, SAS 1997
Y2 - 8 September 1997 through 10 September 1997
ER -