Safe Concurrency Introduction through Slicing-Reference-Cited by-同舟云学术

Safe Concurrency Introduction through Slicing

Published:2015-01-13 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation
language:
Short-container-title:

Author:

Li Huiqing¹,Thompson Simon¹

Affiliation:

1. University of Kent, Canterbury, United Kingdom

Funder

Seventh Framework Programme

Publisher

ACM

Link

Reference28 articles.

1. Erlang/OTP. http://www.erlang.org. Erlang/OTP. http://www.erlang.org.

2. ETop - The Erlang Top. http://www.erlang.org/doc/man/etop.html. ETop - The Erlang Top. http://www.erlang.org/doc/man/etop.html.

3. J. Armstrong. phProgramming Erlang. Pragmatic Bookshelf 2007. J. Armstrong. phProgramming Erlang. Pragmatic Bookshelf 2007.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

4. Scaling Reliably;ACM Transactions on Programming Languages and Systems;2017-12-31

5. In search of a map: using program slicing to discover potential parallelism in recursive functions;Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing;2017-09-07