The VAL Language: Description and Analysis

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The VAL Language: Description and Analysis

Full text

Pdf (2.63 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 4 , Issue 1 (January 1982) table of contents

Pages: 44 - 82

Year of Publication: 1982

ISSN:0164-0925

Author

James R. McGraw

Lawrence Livermore National Laboratory, P. O. Box 808, Livermore, CA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 7, Downloads (12 Months): 96, Citation Count: 26

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/357153.357157 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	ACKERMAN, W.B. Axiomatic verification in single assignment languages. Computation Structures Group Memo, Laboratory for Computer Science, M.I.T., Cambridge, Mass., Sept. 1980.
	2	ACKERMAN, W.B. Data flow languages. In Proc. 1979 Nat. Computer Conf., New York, N.Y., June 4-7, 1979. AFIPS Conf. Proc., vol. 48. AFIPS Press, Arlington, Va., 1979, pp. 1087-1095.
	3	W. B. Acherman , J. B. Dennis , William B Ackerman, VAL- ORIENTED ALGORITHMIC LANGUAGE, PRELIMINARY REFERENCE MANUAL, Massachusetts Institute of Technology, Cambridge, MA, 1979
	4	AOAMS, D.A. A computation model with data flow sequencing. Tech. Rep. CS 117, Computer Science Dep., Stanford Univ., Stanford, Calif., Dec. 1968.
	5	ALLAN, S.J., AND OLDEHOEFT, A.E. A flow analysis procedure for the translation of high level languages to a data flow language. In Proc. 1979 Int. Conf. Parallel Processing, O.N. Garcia (Ed.), Aug. 1979, pp. 26-34.
	6	ARVIND AND BRYANT, R.E. Parallel computers for partial differential equation simulation. Computation Structures Group Memo 178, Laboratory for Computer Science, M.I.T., Cambridge, Mass., June 1979.
	7	ARVIND, GOSTELOW, K.P., A~D PLOUFFE, W. The (preliminary) Id report. Tech. Rep. TR 114a, Dep. Information and Computer Science, Univ. Calif. Irvine, Irvine, Calif., May 1978.
	8	E. A. Ashcroft , W. W. Wadge, Lucid, a nonprocedural language with iteration, Communications of the ACM, v.20 n.7, p.519-526, July 1977 [doi>10.1145/359636.359715]
	9	John Backus, Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, Communications of the ACM, v.21 n.8, p.613-641, Aug. 1978 [doi>10.1145/359576.359579]
	10	BOEKELHEIDE, K. A high-level, graphical, data-driven language. In Proc. Workshop Data Driven Languages and Machines, J.C. Syre (Ed.), Toulouse, France, Feb. 12-13, 1979, sec. XV.
	11	BraNCH HANSEN, P. The programming language Concurrent Pascal. IEEE Trans. Softw. Eng. SE-1, 2 (June 1975), 199-207.
	12	BROCK, J.D. Operational semantics of a data flow language. Tech. Rep. TR-120, Laboratory for Computer Science, M.I.T., Cambridge, Mass., Dec. 1978.
	13	BROCK, J.D., AND MONTZ, L.B. Translation and optimization of data flow programs. In Proc. 1979 Int. Conf. Parallel Processing, O.N. Garcia (Ed.), Aug. 1979, pp. 46-54.
	14	D. Comte , G. Durrieu , O. Gelly , A. Plas , J. C. Syre, Parallelism, control and synchronization expression in a single assignment language, ACM SIGPLAN Notices, v.13 n.1, p.25-33, January 1978 [doi>10.1145/953428.953431]
	15	CORNmH, M., HOGAN, D.W., ANO J~.~SEN, J.C. The Texas Instruments Distributed Data Processor. In Proc. Louisiana Computer Exposition, Lafayette, La., March 1979, pp. 189-193.
	16	CROWLEY, W.P., HENDRiCKSON, C.P., AND RUDY, T.E. The Simple code. Rep. UCID-17715, Lawrence Livermore National Laboratory, Livermore, Calif., Feb. 1978.
	17	DAVIS, A. DDNs--A low level programming schema for fully distributed systems. In Proc. Workshop Data Driven Languages and Machines, J.C. Syre (Ed.), Toulouse, France, Feb. 12-13, 1979, sec. XVI.
	18	A. L. Davis, The architecture and system method of DDM1: A recursively structured Data Driven Machine, Proceedings of the 5th annual symposium on Computer architecture, p.210-215, April 03-05, 1978 [doi>10.1145/800094.803050]
	19	DE BOOR, C. On writing an automatic integration algorithm. In Mathematical Software, J.R. Rice (Ed.). Academic Press, New York, 1971, pp. 201-209.
	20	DEN~IS, J.B. Data flow supercomputers. Computer 13, 11 (Nov. 1980), 48-56.
	21	DENNIS, J.B., MISUNAS, D.P., AND L~.UNC, C.K.C. A highly parallel processor using a data flow machine language. Computation Structures Group Memo 134, Laboratory for Computer Science, M.I.T., Cambridge, Mass., Jan. 1977.
	22	GEHANI, N.H., AND WETHERELL, C.S. Denotational semantics for the data flow language VAL. Internal Memo., Bell Laboratories, Murray Hill, N.J., July 1980.
	23	GLAUERT, J. A Single Assignment Language for Data Flow Computing. M.Sc. thesis, Dep. Computer Science, Univ. Manchester, England, Jan. 1978.
	24	C. A. R. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, v.17 n.10, p.549-557, Oct. 1974 [doi>10.1145/355620.361161]
	25	Kenneth E. Iverson, A Programming Language., John Wiley & Sons, 1962
	26	KARP, R.M., AND MILLER, R.E. Properties of a model for parallel computations: Determinacy, termination, queueing. SIAM J. Appl. Math. 14, 6 (Nov. 1966), 1390-1411.
	27	KELLER, R.M., LINDSTROM, G., AND PATZL, S.S. Data flow concepts for hardware design. In Proc. COMPCON Spring 80, San Francisco, Calif., Feb. 1980. IEEE, Piscataway, N.J., 1980, pp. 105-111.
	28	KELLER, R.M., LINDSTROM, G., AND PATIL, S. A loosely-coupled applicative multi-processing system. In Proc. 1979 Nat. Computer Conf., New York, N.Y., June 4-7, 1979. AFIPS Conf. Proc., vol. 48. AFIPS Press, Arlington, Va., 1979, pp. 613-622.
	29	KUCK, D.J. Parallel processing of ordinary programs. In Advances in Computers, vol. 15. Academic Press, New York, 1976, pp. 119-179.
	30	LANDRL S., AND SHRIVER, B. A data flow simulation research environment. In Proc. Workshop Data Driven Languages and Machines, J.C. Syre (Ed.), Toulouse, France, Feb. 12-13, 1979, sec. X.
	31	D. H. Lawrie , T. Layman , D. Baer , J. M. Randal, Glypnir—a programming language for Illiac IV, Communications of the ACM, v.18 n.3, p.157-164, March 1975 [doi>10.1145/360680.360687]
	32	Barbara Liskov, CLU Reference Manual, Springer-Verlag New York, Inc., Secaucus, NJ, 1983
	33	John McCarthy, Recursive functions of symbolic expressions and their computation by machine, Part I, Communications of the ACM, v.3 n.4, p.184-195, April 1960 [doi>10.1145/367177.367199]
	34	MARTIN, J.T., ZWAKENBERC, R.G., AND SOLBECK, S.V. LRLTRAN language used with the CHAT and STAR compilers. Livermore Time-Sharing System, ed. 4, chap. 207, Lawrence Livermore National Laboratory, Livermore, Calif., Dec. 11, 1974.
	35	MILLER, R.E., AND COCKE, J. Configurable computers: A new class of general purpose machines. Rep. RC 3897, IBM T. J. Watson Research Center, Yorktown Hts., N.Y., June 1972.
	36	L. B. Montz, SAFETY AND OPTIMIZATION TRANSFORMATIONS FOR DATA FLOW PROGRAMS, Massachusetts Institute of Technology, Cambridge, MA, 1980
	37	OXLEY, D. Private communication on the Distributed Data Processor, March 30, 1979.
	38	James L. Peterson, Petri Nets, ACM Computing Surveys (CSUR), v.9 n.3, p.223-252, Sept. 1977 [doi>10.1145/356698.356702]
	39	PETRI, C.A. Concepts of net theory. In Proc. Symp. and Summer School on Mathematical Foundations of Computer Science, High Tatras, Czechoslovakia, Sept. 3-8, 1973. Math. Inst. Slovak Academy of Science, 1973, pp. 137-146.
	40	PLAS, A., COMTE, D., GELLY, O., AND SYRE, J.C. LAU system architecture: A parallel data driven processor based on single assignment. In Proc. 1976 Int. Conf. Parallel Processing, P.H. Enslow (Ed.), Aug. 1976, pp. 293-303.
	41	John R. Rice, Parallel Algorithms for Adaptive Quadrature. III. Program Correctness, ACM Transactions on Mathematical Software (TOMS), v.2 n.1, p.1-30, March 1976 [doi>10.1145/355666.355667]
	42	John R. Rice, A Metalgorithm for Adaptive Quadrature, Journal of the ACM (JACM), v.22 n.1, p.61-82, Jan. 1975 [doi>10.1145/321864.321870]
	43	RICE, J.R. Parallel algorithms for adaptive quadrature--Convergence. In Proc. IFIP Congress 74, Stockholm. Elsevier North-Holland, New York, 1974, pp. 600-604.
	44	J. E. Rodrigues , Jorge E Rodriguez Bezos, A GRAPH MODEL FOR PARALLEL COMPUTATIONS, Massachusetts Institute of Technology, Cambridge, MA, 1969
	45	SEEBER, R.R., AND LINDQUIST, A.B. Associative logic for highly parallel systems. In AFIPS Conf. Proc., vol. 24, 1963, pp. 489-493.
	46	SHAPIRO, R.M., SAINT, H., AND PRESBERG, D.L. Representation of algorithms as cyclic partial orderings. Rep. CA-7112-2711, Applied Data Research, Wakefield, Mass., 1971.
	47	TESLER, L.G., AND ENEA, H.J. A language design for concurrent processes. In Proc. 1968 Spring Joint Computer Conf., Atlantic City, N.J., April 30-May 2, 1968. AFIPS Conf. Proc., vol. 32. Thompson Book Co., Washington, D.C., 1968, pp. 403-408.
	48	TRELEAVEN, P.C., FARRELL, E.P., GHANI, N., JONES, S.B., RANDELL, B., AND SMITH, P.J. The design of highly concurrent computing systems. Tech. Rep. TR126, Computing Laboratory, Univ. Newcastle upon Tyne, England, July 1978.
	49	TURN~.R, D. SASL Language Manual. Tech. Rep., Univ. Kent, Canterbury, England, 1979.
	50	WATSON, I., AND GURD, J. A prototype data flow computer with token labelling. In Proc. 1979 Nat. Computer Conf., New York, N.Y., June 4-7, 1979. AFIPS Conf. Proc., vol. 48. AFIPS Press, Arlington, Va., 1979, pp. 623-628.
	51	C. S. Wetherell, Error Data Values in the Data-Flow Language VAL, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.2, p.226-238, April 1982 [doi>10.1145/357162.357167]
	52	WETHERELL, C.S. Array processing in Fortran. Rep. UCID-30175, Rev. 1, Lawrence Livermore National Laboratory, Livermore, Calif., Jan. 1980.
	53	WlaTH, N. Modula: A language for modular multi-programming. Softw. Pract. Exper. 7 (Jan. 1977), 3-35.
	54	WOODRUFF, J.P. Scientific application coding in the context of data flow. Rep. UCRL-81922, Lawrence Livermore National Laboratory, Livermore, Calif., Dec. 15, 1978.

CITED BY 26

	J. B. Dennis , G. R. Gao, An efficient pipelined dataflow processor architecture, Proceedings of the 1988 ACM/IEEE conference on Supercomputing, p.368-373, November 12-17, 1988, Orlando, Florida, United States
	Steven Anderson , Paul Hudak, Compilation of Haskell array comprehensions for scientific computing, ACM SIGPLAN Notices, v.25 n.6, p.137-149, Jun. 1990
	Rodney Farrow, Attribute grammars and data-flow languages, Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, p.28-40, June 27-29, 1983, San Francisco, California, United States
	David Cann , John Feo, SISAL versus FORTRAN: a comparison using the Livermore loops, Proceedings of the 1990 conference on Supercomputing, p.626-636, October 1990, New York, New York, United States
	Shlomit Weiss , Ilan Spillinger , Gabriel M. Siberman, Architectural improvements for data-driven VLSI processing arrays, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.243-259, September 11-13, 1989, Imperial College, London, United Kingdom
	Steven Lucco , Oliver Sharp, Parallel programming with coordination structures, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.197-208, January 21-23, 1991, Orlando, Florida, United States
	Bruce J. MacLennan, A simple software environment based on objects and relations, ACM SIGPLAN Notices, v.18 n.6, p.199-207, June 1983
	C. N. Fischer , Gregory F. Johnson , Jon Mauney , Anil Pal , Daniel L. Stock, The Poe language-based editor project, ACM SIGSOFT Software Engineering Notes, v.9 n.3, p.21-29, May 1984
	Steven Lucco , Oliver Sharp, Delirium: an embedding coordination language, Proceedings of the 1990 conference on Supercomputing, p.515-524, October 1990, New York, New York, United States
	P. Caspi , D. Pilaud , N. Halbwachs , J. A. Plaice, LUSTRE: a declarative language for real-time programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.178-188, January 21-23, 1987, Munich, West Germany
	F. Warren Burton, Annotations to Control Parallelism and Reduction Order in the Distributed Evaluation of Functional Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.2, p.159-174, April 1984
	H. Yamana , T. Hagiwara , J. Kohdate , Y. Muraoka, A preceding activation scheme with graph unfolding for the parallel processing system-array, Proceedings of the 1989 ACM/IEEE conference on Supercomputing, p.675-684, November 12-17, 1989, Reno, Nevada, United States
	Arthur H. Veen, Dataflow machine architecture, ACM Computing Surveys (CSUR), v.18 n.4, p.365-396, Dec. 1986
	C. S. Wetherell, Error Data Values in the Data-Flow Language VAL, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.2, p.226-238, April 1982
	Andrew L. Wendelborn , H. Garsden, Exploring the Stream Data Type in SISAL and Other Languages, Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, p.283-294, January 20-22, 1993
	Roger B. Dannenberg, Arctic: A functional language for real-time control, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.96-103, August 06-08, 1984, Austin, Texas, United States
	E. A. Lee, Consistency in Dataflow Graphs, IEEE Transactions on Parallel and Distributed Systems, v.2 n.2, p.223-235, April 1991
	Paul Hudak, Conception, evolution, and application of functional programming languages, ACM Computing Surveys (CSUR), v.21 n.3, p.359-411, Sep. 1989
	Paul Hudak , Lauren Smith, Para-functional programming: a paradigm for programming multiprocessor systems, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.243-254, January 01, 1986, St. Petersburg Beach, Florida
	Jaroslaw Milewski, Functional Data Structures as Updatable Objects, IEEE Transactions on Software Engineering, v.16 n.12, p.1427-1432, December 1990
	Paul G. Whiting , Robert S. V. Pascoe, A History of Data-Flow Languages, IEEE Annals of the History of Computing, v.16 n.4, p.38-59, December 1994
	David C. Cann , Paraskevas Evripidou, Advanced Array Optimizations for High Performance Functional Languages, IEEE Transactions on Parallel and Distributed Systems, v.6 n.3, p.229-239, March 1995
	Patricia Pineo , Mary Lou Soffa, Practical approach to single assignment code, Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques, p.149-158, June 27-29, 1995, Limassol, Cyprus
	Paul Hudak , Adrienne Bloss, The aggregate update problem in functional programming systems, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.300-314, January 14-16, 1985, New Orleans, Louisiana, United States
	Steven Swanson , Ken Michelson , Andrew Schwerin , Mark Oskin, WaveScalar, Proceedings of the 36th annual IEEE/ACM International Symposium on Microarchitecture, p.291, December 03-05, 2003
	Bruce D. Shriver , Steven P. Landry , Vason P. Srini , Vason P. Srini, Dataflow, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003