VAL- ORIENTED ALGORITHMIC LANGUAGE, PRELIMINARY REFERENCE MANUALJune 1979
Skip Abstract Section
Abstract
The programming language VAL (Value-Oriented Algorithmic Language) is designed for expressing algorithms for execution on computers capable of highly concurrent operation. More specifically, the application area to be supported is numerical computation which strains the limits of high performance machines, and the primary targets for translation of VAL programs are data driven machines of the form under development by the Computation Structures Group of the MIT Laboratory for Computer Science for high performance numerical computation.
Cited By
- Bond A and Gasser L (2014). Readings in Distributed Artificial Intelligence, 10.5555/2974996, Online publication date: 5-Jun-2014.
- Auerbach J, Bacon D, Cheng P and Rabbah R (2010). Lime, ACM SIGPLAN Notices, 45:10, (89-108), Online publication date: 17-Oct-2010.
- Auerbach J, Bacon D, Cheng P and Rabbah R Lime Proceedings of the ACM international conference on Object oriented programming systems languages and applications, (89-108)
- Postow B, Regan K and Smith C (2002). UPSILON: Universal Programming System with Incomplete Lazy Object Notation, Fundamenta Informaticae, 50:3-4, (325-359), Online publication date: 1-Aug-2002.
- Postow B, Regan K and Smith C (2002). UPSILON, Fundamenta Informaticae, 50:3, (325-359), Online publication date: 1-Mar-2002.
- Scholz S (1998). On defining application-specific high-level array operations by means of shape-invariant programming facilities, ACM SIGAPL APL Quote Quad, 29:3, (32-38), Online publication date: 1-Mar-1999.
- Scholz S On defining application-specific high-level array operations by means of shape-invariant programming facilities Proceedings of the APL98 conference on Array Processing Languages, (32-38)
- Thornley J Integrating parallel dataflow programming with the Ada tasking model Proceedings of the conference on TRI-Ada '94, (417-428)
- Langan D A multi-purpose dataflow simulator Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education, (87-90)
- Langan D (1993). A multi-purpose dataflow simulator, ACM SIGCSE Bulletin, 25:1, (87-90), Online publication date: 1-Mar-1993.
- Sérot J, Quénot G and Zavidovique B A Functional Data-flow Architecture Dedicated to Real-time Image Processing Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, (129-140)
- Langan D An object-oriented design for a dataflow simulator Proceedings of the 30th annual ACM Southeast Regional Conference, (417-420)
- Huang J, Muñoz J, Watt H and Zvara G ECOS graphs: a dataflow programming language Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's, (911-918)
- Sarkar V and Gao G Optimization of array accesses by collective loop transformations Proceedings of the 5th international conference on Supercomputing, (194-205)
- Cann D and Feo J SISAL versus FORTRAN Proceedings of the 1990 ACM/IEEE conference on Supercomputing, (626-636)
- Langan D A localized condition handling construct for a graphical dataflow language Proceedings of the 28th annual ACM Southeast Regional Conference, (118-124)
- Arvind K and Nikhil R (1990). Executing a Program on the MIT Tagged-Token Dataflow Architecture, IEEE Transactions on Computers, 39:3, (300-318), Online publication date: 1-Mar-1990.
- Cheng D HDB-a high level debugging Proceedings of the 1989 ACM/IEEE conference on Supercomputing, (568-573)
- Grafe V, Davidson G, Hoch J and Holmes V (1989). The Epsilon dataflow processor, ACM SIGARCH Computer Architecture News, 17:3, (36-45), Online publication date: 1-Jun-1989.
- Xu Z and Hwang K (1989). Molecule, IEEE Transactions on Software Engineering, 15:5, (587-599), Online publication date: 1-May-1989.
- Grafe V, Davidson G, Hoch J and Holmes V The Epsilon dataflow processor Proceedings of the 16th annual international symposium on Computer architecture, (36-45)
- Dennis J and Gao G An efficient pipelined dataflow processor architecture Proceedings of the 1988 ACM/IEEE conference on Supercomputing, (368-373)
- Skedzielewski S, Yates R and Oldehoeft R (1987). DI: an interactive debugging interpreter for applicative languages, ACM SIGPLAN Notices, 22:7, (102-112), Online publication date: 1-Jul-1987.
- Skedzielewski S, Yates R and Oldehoeft R DI: an interactive debugging interpreter for applicative languages Papers of the Symposium on Interpreters and interpretive techniques, (102-112)
- Kaplan I (1987). The LDF 100: a large grain dataflow parallel processor, ACM SIGARCH Computer Architecture News, 15:3, (5-12), Online publication date: 1-Jul-1987.
- Mendelson B and Silberman G Mapping data flow programs on a VLSI array of processors Proceedings of the 14th annual international symposium on Computer architecture, (72-80)
- Kaplan I (1987). Programming the Loral LDF 100 dataflow machine, ACM SIGPLAN Notices, 22:5, (47-57), Online publication date: 1-May-1987.
- Sarkar V and Hennessy J Partitioning parallel programs for macro-dataflow Proceedings of the 1986 ACM conference on LISP and functional programming, (202-211)
- Sarkar V and Hennessy J (1986). Compile-time partitioning and scheduling of parallel programs, ACM SIGPLAN Notices, 21:7, (17-26), Online publication date: 1-Jul-1986.
- Sarkar V and Hennessy J Compile-time partitioning and scheduling of parallel programs Proceedings of the 1986 SIGPLAN symposium on Compiler construction, (17-26)
- Barth P, Guthery S and Barstow D The stream machine Proceedings of the 8th international conference on Software engineering, (103-110)
- Bic L (1984). Execution of logic programs on a dataflow architecture, ACM SIGARCH Computer Architecture News, 12:3, (290-296), Online publication date: 1-Jun-1984.
- Leavens G (1984). Prettyprinting styles for various languages, ACM SIGPLAN Notices, 19:2, (75-79), Online publication date: 1-Feb-1984.
- Bic L Execution of logic programs on a dataflow architecture Proceedings of the 11th annual international symposium on Computer architecture, (290-296)
- Kishi M, Yasuhara H and Kawamura Y (1983). DDDP-a Distributed Data Driven Processor, ACM SIGARCH Computer Architecture News, 11:3, (236-242), Online publication date: 30-Jun-1983.
- Lima I, Hopkins R, Marshall L, Mundy D and Treleaven P Decentralised control flow - based on UNIX Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, (192-201)
- Farrow R Attribute grammars and data-flow languages Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, (28-40)
- Kishi M, Yasuhara H and Kawamura Y DDDP-a Distributed Data Driven Processor Proceedings of the 10th annual international symposium on Computer architecture, (236-242)
- Lima I, Hopkins R, Marshall L, Mundy D and Treleaven P (1983). Decentralised control flow - based on UNIX, ACM SIGPLAN Notices, 18:6, (192-201), Online publication date: 1-Jun-1983.
- Farrow R (1983). Attribute grammars and data-flow languages, ACM SIGPLAN Notices, 18:6, (28-40), Online publication date: 1-Jun-1983.
- Litvin Y (1982). Parallel evolution programming language for data flow machines, ACM SIGPLAN Notices, 17:11, (50-58), Online publication date: 1-Nov-1982.
- Sun-Yuan Kung , Arun K, Gal-Ezer R and Bhaskar Rao D (1982). Wavefront Array Processor, IEEE Transactions on Computers, 31:11, (1054-1066), Online publication date: 1-Nov-1982.
- Pratt V On the composition of processes Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (213-223)
- Hankin C and Glaser H (1981). The data flow programming language CAJOLE - an informal introduction, ACM SIGPLAN Notices, 16:7, (35-44), Online publication date: 1-Jul-1981.
- Srini V An architecture for extended abstract data flow Proceedings of the 8th annual symposium on Computer Architecture, (303-325)
- Arvind and Kathail V A multiple processor data flow machine that supports generalized procedures Proceedings of the 8th annual symposium on Computer Architecture, (291-302)
- Kuck D, Kuhn R, Padua D, Leasure B and Wolfe M Dependence graphs and compiler optimizations Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (207-218)
- McGraw J (1980). Data Flow Computing Software Development, IEEE Transactions on Computers, 29:12, (1095-1103), Online publication date: 1-Dec-1980.
- Flynn M and Hennessy J (1980). Parallelism and Representation Problems in Distributed Systems, IEEE Transactions on Computers, 29:12, (1080-1086), Online publication date: 1-Dec-1980.
- Dennis J, Boughton G and Leung C Building blocks for data flow prototypes Proceedings of the 7th annual symposium on Computer Architecture, (1-8)
- Hibbard P Multiprocessor software design Proceedings of the ACM 1980 annual conference, (527-536)
Please enable JavaScript to view thecomments powered by Disqus.
Recommendations
Revised Report on the Algorithmic Language Scheme
The report gives a defining description of the programming language Scheme. Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis Steele, Jr. and Gerald Jay Sussman. It was designed to have ...