TY - JOUR
T1 - Towards a substrate framework of computation
AU - Ueda, Kazunori
N1 - Funding Information:
Acknowledgments. The author is indebted to the present and past members of the LMNtal group for fruitful discussions and building the (Hyper)LMNtal system on which the present work was successfully based. He would like to thank anonymous referees for their careful reviewing and useful comments. This work is partially supported by Grant-In-Aid for Scientific Research ((B) 23300011), JSPS, Japan.
Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2014.
PY - 2014
Y1 - 2014
N2 - A grand challenge in computing is to establish a substrate computational model that encompasses diverse forms of non-sequential computation. This paper demonstrates how a hypergraph rewriting framework nicely integrates various forms and ingredients of concurrent computation and how simple static analyses help the understanding and optimization of programs. Hypergraph rewriting treats processes and messages in a unified manner, and treats message sending and parameter passing as symmetric reaction between two entities. Specifically, we show how fine-grained strong reduction of the λ-calculus can be concisely encoded into hypergraph rewriting with a small set of primitive operations.
AB - A grand challenge in computing is to establish a substrate computational model that encompasses diverse forms of non-sequential computation. This paper demonstrates how a hypergraph rewriting framework nicely integrates various forms and ingredients of concurrent computation and how simple static analyses help the understanding and optimization of programs. Hypergraph rewriting treats processes and messages in a unified manner, and treats message sending and parameter passing as symmetric reaction between two entities. Specifically, we show how fine-grained strong reduction of the λ-calculus can be concisely encoded into hypergraph rewriting with a small set of primitive operations.
UR - http://www.scopus.com/inward/record.url?scp=84921655429&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84921655429&partnerID=8YFLogxK
U2 - 10.1007/978-3-662-44471-9_15
DO - 10.1007/978-3-662-44471-9_15
M3 - Article
AN - SCOPUS:84921655429
SN - 0302-9743
VL - 8665
SP - 341
EP - 366
JO - Lecture Notes in Computer Science
JF - Lecture Notes in Computer Science
ER -