Advances in dataflow programming languages

ACM Computing Surveys

Volumn 36, Issue 1, 2004, Pages 1-34

  Johnston, Wesley M ^a   Hanna, J R Paul ^a   Millar, Richard J ^a  

^a UNIVERSITY OF ULSTER   (United Kingdom)

Author keywords

Co ordination languages; Component software; Data flow visual programming; Dataflow; Graphical programming; Multithreading; Software engineering

Indexed keywords

COMPONENT SOFTWARE; COORDINATION LANGUAGES; DATA FLOW VISUAL PROGRAMMING; DATAFLOW PROGRAMMING LANGUAGES; MULTITHREADING;

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; DATA STRUCTURES; PARALLEL PROCESSING SYSTEMS; PROGRAM PROCESSORS;

DATA PROCESSING;

EID: 4344594905     PISSN: 03600300     EISSN: None     Source Type: Journal    
DOI: 10.1145/1013208.1013209     Document Type: Review

References (101)

1. ACKERMAN, W. 1982. Data flow languages. IEEE Comput. 15, 2, 15-25.
2. ACKERMAN, W. B. AND DENNIS, J. B. 1979. VAL A value-oriented algorithmic language: Preliminary reference manual. Tech Rep. 218. MIT, Cambridge, MA.
3. AMAMIYA, M., HASEGAWA, R., AND ONO, S. 1984. Valid, a high-level functional programming language for data flow machines. Rev. Electric. Comm. Lab. 32, 5, 793-802.
4. ARVIND AND CULLER, D. E. 1983. The tagged token dataflow architecture (preliminary version). Tech. Rep. Laboratory for Computer Science, MIT, Cambridge, MA.
5. ARVIND AND CULLER, D. E. 1986. Dataflow architectures. Ann. Rev. Comput. Sci. 1, 225-253.
6. ARVIND, CULLER, D. E., AND MAA, G. K. 1988. Assessing the benefits of fine-grain parallelism in dataflow programs. Int. J. Supercomput. Appl. 2, 3, 10-36.
7. ARVIND AND GOSTELOW, K. P. 1977. Some relationships between asynchronous interpreters of a dataflow language. In Proceedings of the IFIP WG2.2 Conference on the Formal Description of Programming Lanugages (St. Andrews, Canada).
8. ARVIND, GOSTELOW, K. P., AND PLOUFFE, W. 1977. Indeterminancy, monitors, and dataflow. In Proceedings of the Sixth Symposium on Operating System Principles, 159-169.
9. ARVIND, GOSTELOW, K. P., AND PLOUFPE, W. 1978. An asynchronous programming language and computing machine, Tech. Rep. TR 114a. University of California, Irvine, Irvine, CA.
10. ARVIND, NIKHIL, R. S., AND PINQALI, K. K. 1989. I-structures: Data structures for parallel computing. ACM Trans. Program. Lang. Syst. 11, 4, 598-632.
11. ARVIND AND NIKHIL, R. S. 1990. Executing a program on the MIT tagged-token dataflow architecture. IEEE Trans. Comput. 39, 3, 300-318.
12. ARVIND AND THOMAS, R. 1980. I-structures; An efficient data type for functional languages. Tech. Memo 178. Laboratory for Computer Science, MIT, Cambridge, MA.
13. ASHCROFT, E. A. AND WADGE, W. W. 1977. Lucid, a nonprocedural language with iteration. Comm. ACM 20, 7 (July), 519-526.
14. ASHCROFT, E. A. AND WADGE, W. W. 1980. Some common misconceptions about Lucid. ACM SIGPLAN Not. 15, 10, 15-26.
15. AUGUSTON, M. AND DBLGADO, A. 1997. Iterative constructs in the visual data flow language. Proceedings of the IEEE Conference on Visual Languages (VL'97, Capri, Italy). 152-159.
16. BACKUS, J. 1978. Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Comm. ACM 21, 8 (Aug.), 613-641.
17. BARAHONA, P. AND GURD, J. R. 1985, Simulated performance of the Manchester multi-ring dataflow machine. In Proceedings of the 2nd ICPC (Sept.). 419-424.
18. BAROTH, E. AND HARTSOUGH, C. 1995. Visual programming in the real world. In Visual Object-Oriented Programming: Concepts and Environments. Prentice-Hall, Upper Saddle River, NJ, 21-42.
19. BERNINI, M. AND MOSCONI, M. 1994. VIPERS: A data flow visual programming environment based on the Tel language. In Proceedings of the Workshop on Advanced Visual Interfaces. 243-245.
20. BHATTACHAHYYA, S. S. 1996, Software Synthesis from Dataflow Graphs. Kluwer Academic Publishers, Dordrecht, The Netherlands.
21. BIC, L. 1990. A process-oriented model for efficient execution of dataflow programs. J. Parallel Distrib. Comput. 8, 42-51.
22. BIC, L., ROY, J. M. A., AND NAGEL, M. 1995. Exploiting iteration-level parallelism in dataflow programs. In Advanced Topics in Dataflow Computing and Multithreading. IEEE Computer Society Press, Los Alamitos, CA, 167-186.
23. BOHM, W., NAJJAR, W. A., SHANKAR, B., AND ROH, L. 1993. An evaluation of coarse grain dataflow code generation stretegies. In Proceedings of the Working Conference on Massively Parallel Programming Models (Berlin, Germany).
24. BUCK, J. AND LEE, B. A. 1995. The token flow model. In Advanced Topics in Dataflow Computing and Multithreading. IEEE Computer Society Press, Los Alamitos, CA, 267-290.
25. BURNETT, M. M., BAKER, M. J. ET AL. 1995. Scaling up visual programming languages. IEEE Comput. 28, 3, 45-54.
26. COMTE, D., DURRIEU, G., GELLY, O., PLAS, A., AND SYBE, J. C. 1978. Parallelism, control and synchronisation expression in a single assignment language. ACM SIGPLAN Not. 13, 1, 25-33.
27. COX, P., GILES, P., AND PIETRZYKOWSKI, T. 1989. Prograph: A step towards liberating programming from textual conditioning. In Procedings of the IEEE Workshop on Visual Languages. 150-156.
28. COX, P. AND SMEDLEY, T. 1996, A visual language for the design of structured graphical objects. In Proceedings of the IEEE Symposium on Visual Languages. 296-303.
29. CULLER, D. E., GOLDSTEIN, S. C., SCHAUSER, K. E., AND VON EICKER, T. 1995. Empirical study of a dataflow language on the CM-5. In Advanced Topics in Dataflow Computing and Multithreading. IEEE Computer Society Press, Los Alamitos, CA, 187-210.
30. DAVIS, A. L. 1974. Data driven nets - A class of maximally parallel, output-functional program schemata. Tech. Rep. IRC Report. Burroughs, San Diego, CA.
31. DAVIS, A. L. 1978. The architecture and system method of DDM1: A recursively structured data driven machine. In Proceedings of the 5th Annual Symposion on Computer Architecture (New York). 210-215.
32. DAVIS, A. L. 1979. DDN's - a low level program schema for fully distributed systems, In Proceedings of the 1st European Conference on Parallel and Distributed Systems (Toulouse, France). 1-7.
33. DAVIS, A. L. AND KELLER, R. M. 1982. Data flow program graphs. IEEE Comput. 15, 2, 26-41.
34. DAVIS, A. L. AND LOWDER, S. A. 1981. A Sample management application program in a graphical data-driven programming language. In Digest of Papers Compcon Spring, February 1981. 162-165.
35. DE JONG, M. D., AND HANKIN, C. L. 1982. Structured data-flow programming. ACM SIGPLAN Not. 17, 8, 18-27.
36. DENNIS, J. 1977. A Language Design for Structured Concurrency. The Design and Implementation of Programming Languages. Lecture Notes in Computer Science, vol. 54. Springer-Verlag, Berlin, Germany, 23-42.
37. DENNIS, J. B. 1974. First version of a data flow procedure language. In Proceedings of the Symposium on Programming (Institut de Programmation, University of Paris, Paris, France), 241-271.
38. DENNIS, J. B. 1980. Data flow supercomputers. IEEE Comput. 13, 11 (Nov.), 48-56.
39. DENNIS, J. B. AND MISUNAS, D. P. 1975. A preliminary architecture for a basic data-flow processor. In Proceedings of the Second Annual Symposium on Computer Architecture. 126-132.
40. GAJSKI, D. D., PADUA, D. A., KUCLE, D. J., AND KUH, R. H. 1982. A second opinion on data-flow machines and languages. IEEE Comput. 15, 2, 58-69.
41. GAO, G. R. AND PARASKEVAS, Z. 1989. Compiling for dataflow software pipelining. In Proceedings of the Second Workshop on Languages and Compilers for Parallel Computing.
42. GELEHNTER, D. AND CARRIERO, N. 1992. Coordination languages and their significance. Comm. ACM 35, 2, 97-107.
43. GELLY, O. 1976. LAU software system: A high-level data-driven language for parallel processing. In Proceedings of the International Conference on Parallel Processing (New York, NY).
44. GHITTORI, E., MOSCONI, M., AND PORTA, M. 1998. Designing and testing new programming constructs in a data flow VL. Tech. Rep. Università di Pavia, Pavia, Italy.
45. GLAUERT, J. R. W. 1978. A single assignment language for data flow computing, Master's thesis. University of Manchester, Manchester, U.K.
46. GREEN, T. R. G. AND PETRE, M. 1996. Usability analysis of visual programming environments: A "Cognitive Dimensions" Framework. J. Vis. Lang. Comput. 7, 131-174.
47. GURD, J. R. AND BOHM, W. 1987. Implicit parallel processing: SISAL on the Manchester dataflow computer. In Proceedings of the IBM-Europe Institute on Parallel Processing (Aug., Oberlech, Austria).
48. HANKIN, C. L. AND GLASER, H. W. 1981. The dataflow programming language CAJOLE - an informal introduction. ACM SIGPLANNot. 16, 7, 35-44.
49. HARVEY, N. AND MORRIS, J. 1993. NL: A general purpose visual dataflow language, Tech. Rep. University of Tasmania, Tasmania, Australia.
50. HARVEY, N. AND MORRIS, J. 1996. NL: A parallel programming visual language. Australian Comput. J. 28, 1, 2-12.
51. HELSEL, R. 1994. Cutting Your Test Development Time with HP VEE. Prentice-Hall, HP Professional Books, Englewood Cliffs, NJ.
52. HILS, D. D. 1992. Visual languages and computing survey: Data flow visual programming languages. J. Vis. Long. Comput. 3, 1, 69-101.
53. HURSON, A. R., LEE, B., AND SHIRAZI, B. 1989. Hybrid structures: A scheme for handling data structures in a data flow environment. In Proceedings of the Conference on Parallel Architectures and Languages (PARLE), 323-340.
54. IANNUCCI, R. A. 1988. Towards a dataflow/von Neumann hybrid architecture. In Proceedings of the ICSA-15 (Honolulu, HI). 131-140.
55. IWATA, M. AND TERADA, H. 1995. Multilateral diagrammatical specification environment based on data-driven paradigm. In Advanced Topics in Dataflow Computing and Multithreading. IEEE Computer Society Press, Los Alamitos, CA, 108-112.
56. JAGANNATHAN, R. 1995. Coarse-Grain Dataflow Programming of Conventional Parallel Computers. In Advanced Topics in Dataflow Computing and Multithreading. IEEE Computer Society Press, Los Alamitos, CA, 113-129.
57. KAHN, G. 1974. The semantics of a simple language for parallel programming. In Proceedings of the IFIP Congress 74 (Amsterdam, The Netherlands). 471-475.
58. KARP, R. AND MILLER, R. 1966. Properties of a model for parallel computations: Determinacy, termination, queueing. SIAM J. 14, 1390-1411.
59. KELLER, R. M. 1985. Rediflow architecture prospectus, Tech. Rep. No. UUCS-85-105. Department of Computer Science, University of Utah, Salt Lake City, Utah.
60. KELLER, R. M. AND YEN, W. C. J. 1981. A graphical approach to software development using function graphs. In Digest of Papers Compcon Spring, February 1981. 156-161.
61. KIMURA, T. AND MCLAIN, P. 1986. Show and Tell user's manual. Tech. Rep. WUCS-86-4. Department of Computer Science, Washington University, St Louis, MO.
62. KIPER, J., HOWARD, E., AND AMES, C. 1997. Criteria for evaluation of visual programming languages, J. Vis. Lang. Comput. 8, 2, 175-192.
63. KOSINSKI, P. 1978. A straightforward denotational semantics for non-determinate data flow programs. In Proceedings of the 5th ACM Symposium on Principles on Programming Languages. ACM Press New York, NY.
64. KOSINSKI, P. R. 1973. A data flow language for operating systems programming. In 'Proceedings of ACM SIGPLAN-SIGOPS Interface Meeting.' SIGPLAN Not. 8, 9, 89-94.
65. LAB VIEW. 2000. Lab View User Manual. National Instruments, Austin, TX.
66. LEE, B. AND HURSON, A. R. 1993. Issues in dataflow computing. Ada in Comput. 37, 285-333.
67. LEE, B. AND HURSON, A. R. 1994. Dataflow architectures and multithreading. IEEE Comput. 27, 8 (Aug.), 27-39.
68. LEE, E. 1997. A denotational semantics for dataflow with firing. Memorandum UCB/ERL M97/3. Electronics Research Laboratory, University of California, Berkeley, Berkeley, CA.
69. LEE, E. AND MESSERSCHMITT, D. 1987. Static scheduling of synchronous dataflow programs for digital signal processing. IEEE Trans. Comput. C-36, 1, 24-35.
70. LEE, E. AND PARKS, T. 1995. Data-flow process networks. Proc. IEEE. 83, 5, 773-799.
71. MCGRAW, J., SKEDZIELEWSKI, S. ET AL. 1983. SISAL - Streams and Iteration in a Single Assignment Language Reference Manual (Version 1.0). Livermore National Laboratory, Livermore, CA.
72. MORRISON, J. P. 1994. Flow-Baaed Programming: A New Approach to Application Development. van Nostrand Reinhold, New York, NY.
73. MOSCONI, M. AND PORTA, M. 2000. Iteration constructs in data-flow visual programming languages. Comput. Lang. 26, 2-4, 67-104.
74. NAGGAR, W., LEE, E., AND GAO, G. R. 1999. Advances in the dataflow computational model. Parallel Comput. 25, 1907-1929.
75. NAJJAE, W. A., ROH, L., AND WIM, A. 1994. An evaluation of medium-grain dataflow code. Int. J. Parallel Program. 22, 3, 209-242.
76. NIKHIL, R. S. AND ARVIND 1989. Can dataflow subsume von Neumann computing? In Proceedings of the ICSA-16 (Jerusalem, Israel). 262-272.
77. NING, Q. AND GAO, G. R. 1991. Loop storage optimization for Dataflow machines. ACAPS Tech. Memo 23. School of Computer Science, McGill University, Montreal, P. Q., Canada.
78. PAPADOPOULOS, G. M. 1988. Implementation of a general purpose dataflow multiprocessor. Tech. Rep. TR432. Laboratory for Computer Science, MIT, Cambridge, MA.
79. PAPADOPOULOS, G. M. AND TRAUB, K. R. 1991. Multithreading: A revisionist view of dataflow architectures. MIT Memo CSG-330. MIT, Cambridge, MA.
80. PLAICE, J. 1991. RLUCID, A General Real-Time Data-Flow Language, Lecture Notes in Computer Science, vol. 571. Springer-Verlag, Berlin, Germany, 363-374.
81. RASURE, J. AND WILLIAMS, C. 1991. An integrated data flow visual language and software development environment. J. Vis. Lang. Comput. 2, 217-246.
82. RICHARDSON, C. 1981. Manipulator control using a data-flow machine. Doctoral dissertation. University of Manchester, Manchester, U.K.
83. SAKAI, S., YAMAGUCHI, Y., HIRAKI, K., KODAMA, Y., AND YUBA, T. 1989. An architecture of a dataflow single chip processor. In Proceedings of the 16th International Symposium on Computer Architecture. 46-53.
84. SEROT, J., QUENOT, G., AND ZAVIDOVIQUE, B. 1995. A visual dataflow programming environment for a real time parallel vision machine. J. Vis. Lang. Comput. 6, 4, 327-347.
85. SHIZUKI, B., TOYODA, M., SHIBAYAMA, E., AND TAKAHASHI, S. 2000. Smart browsing among multiple aspects of data-flow visual program execution, using visual patterns and multi-focus fisheye views. J. Vis. Lang. Comput. 11, 5, 529-548.
86. SHÜRR, A. 1997. BDL - a nondeterministic data flow programming language with backtracking. In Proceedings of the IEEE Conference on Visual Languages (VL'97, Capri, Italy).
87. SILC, J., ROBIC, B., AND UNGERER, T. 1998. Asynchrony in parallel computing: from dataflow to multithreading. Parallel Distrib. Comput. Pract. 1, 1, 3-30.
88. STERLING, T., KUEHN, J., THISTLE, M., AND ANASTASIS, T. 1995. Studies on Optimal Task Granularity and Random Mapping. In Advanced Topics in Dataflow Computing and Multithreading. IEEE Computer Society Press, Los Alamitos, CA, 349-365.
89. TANIMOTO, S. 1990. VIVA: A visual language for image processing. J. Vis. Lang, Comput. 1, 127-139.
90. TOYODA, M., SHIZUKI, B., TAKAHASHI, S., MATSUOKA, S., AND SHIBAYAMA, E. 1997. Supporting design patterns in a visual parallel data-flow programming environment. In Proceedings of the IEEE Symposion on Visual Languages (Capri, Italy). 76-83.
91. TRELEAVEN, P. C., BROWNBRIDGE, D. R., AND HOPKINS, R. P. 1982. Data-driven and demand-driven computer architecture. ACM Comput. Surv. 14, 1, 93-143.
92. TRELEAVEN, P. C. AND LIMA, I. G. 1984. Future computers: Logic, data flow,..., control flow? IEEE Comput. 17, 3 (Mar.), 47-58.
93. VEEN, A. H. 1986. Data flow machine architecture. ACM Comput. Surv. 18, 4, 365-396.
94. VERDOSCIA, L. AND VACCARO, R. 1998. A high-level dataflow system. Comput. J. 60, 4, 285-305.
95. WADGE, W. W. AND ASHCROFT, E. A. 1985. Lucid, the Dataflow Programming Language. APIC Studies in Data Processing, no. 22. Academic Press, New York, NY.
96. WAIL, S. P. AND ABHAMSON, D. 1995. Can Dataflow Machines be Programmed with an Imperative Language? In Advanced Topics in Dataflow Computing and Multithreading. IEEE Computer Society Press, Los Alamitos, CA, 229-265.
97. WATSON, I. AND GURD, J. R. 1979. A prototype data flow computer with token labelling. In Proceedings of the National Computer Conference. 628-628.
98. WENG, K. S. 1975. Stream oriented computation in recursive data-flow schemas. Tech. Rep, 68. Laboratory for Computer Science, MIT, Cambridge, MA.
99. WHITING, P. AND PASCOE, R. 1994. A history of data-flow languages. IEEE Ann. Hist. Comput. 16, 4, 38-59.
100. WHITLEY, K. 1997. Visual programming languages and the empirical evidence for and against. J. Vis. Lang. Comput. 8, 1, 109-142.
101. YU, Y. J. AND D'HOLLANDER, E. H. 2001. Loop parallelization using the 3D iteration space visualizer. J. Vis. Lang. Comput. 12, 2, 163-181.