Hume box calculus: robust system development through software transformation-Reference-Cited by-同舟云学术

Hume box calculus: robust system development through software transformation

Published:2010-06 Issue:2 Volume:23 Page:191-226
ISSN:1388-3690
Container-title:Higher-Order and Symbolic Computation
language:en
Short-container-title:Higher-Order Symb Comput

Author:

Grov Gudmund,Michaelson Greg

Publisher

Springer Science and Business Media LLC

Subject

Computer Science Applications,Software

Link

http://link.springer.com/content/pdf/10.1007/s10990-011-9067-y.pdf

Reference33 articles.

1. Abadi, M., Lamport, L.: The existence of refinement mappings. Theor. Comput. Sci. 82(2), 253–284 (1991)

2. Al Zain, A., Michaelson, G., Hammond, K.: Multi-core parallelisation for Hume. In: Horvath, Z., Zsok, V., Achten, P., Koopman, P. (eds.) Tenth Symposium on Trends in Functional Programming, Komarno, Slovakia, 2–4 June 2009, pp. 131–142 (2009)

3. Aldinucci, M., Gorlatch, S., Lengauer, C., Pelagatti, S.: Towards parallel programming by transformation: the FAN skeleton framework. Int. J. Parallel Emerg. Distrib. Syst. 16(2), 87–121 (2001)

4. Baeten, J.C.M.: A brief history of process algebra. Theor. Comput. Sci. 335(2–3), 131–146 (2005)

5. Bird, R., de Moor, O.: Algebra of Programming. Prentice-Hall, New York (1997)

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

1. Verifying parallel dataflow transformations with model checking and its application to FPGAs;Journal of Systems Architecture;2019-12

2. Profile Guided Dataflow Transformation for FPGAs and CPUs;Journal of Signal Processing Systems;2015-10-02

3. Synchronous digital circuits as functional programs;ACM Computing Surveys;2013-11

4. CAPH: A Language for Implementing Stream-Processing Applications on FPGAs;Embedded Systems Design with FPGAs;2012-11-01

5. Reasoning about Multi-process Systems with the Box Calculus;Central European Functional Programming School;2012