ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
MULTILISP: a language for concurrent symbolic computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compile-time partitioning and scheduling of parallel programs
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
The LDF 100: a large grain dataflow parallel processor
ACM SIGARCH Computer Architecture News
Programming the Loral LDF 100 dataflow machine
ACM SIGPLAN Notices
DI: an interactive debugging interpreter for applicative languages
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Mapping data flow programs on a VLSI array of processors
ISCA '87 Proceedings of the 14th annual international symposium on Computer architecture
A simple and efficient implmentation approach for single assignment languages
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
An efficient pipelined dataflow processor architecture
Proceedings of the 1988 ACM/IEEE conference on Supercomputing
Molecule: A Language Construct for Layered Development of Parallel Programs
IEEE Transactions on Software Engineering
Conception, evolution, and application of functional programming languages
ACM Computing Surveys (CSUR)
The Epsilon dataflow processor
ISCA '89 Proceedings of the 16th annual international symposium on Computer architecture
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
Executing a Program on the MIT Tagged-Token Dataflow Architecture
IEEE Transactions on Computers
Optimization of array accesses by collective loop transformations
ICS '91 Proceedings of the 5th international conference on Supercomputing
SISAL versus FORTRAN: a comparison using the Livermore loops
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
ECOS graphs: a dataflow programming language
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
A multi-purpose dataflow simulator
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
Integrating parallel dataflow programming with the Ada tasking model
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Advanced Array Optimizations for High Performance Functional Languages
IEEE Transactions on Parallel and Distributed Systems
The stream machine: a data flow architecture for real-time applications
ICSE '85 Proceedings of the 8th international conference on Software engineering
Partitioning parallel programs for macro-dataflow
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
APL '98 Proceedings of the APL98 conference on Array processing language
Data-Driven and Demand-Driven Computer Architecture
ACM Computing Surveys (CSUR)
The VAL Language: Description and Analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Error Data Values in the Data-Flow Language VAL
ACM Transactions on Programming Languages and Systems (TOPLAS)
An object-oriented design for a dataflow simulator
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Dependence graphs and compiler optimizations
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the composition of processes
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A History of Data-Flow Languages
IEEE Annals of the History of Computing
UPSILON: universal programming system with incomplete lazy object notation
Fundamenta Informaticae
A Functional Data-flow Architecture Dedicated to Real-time Image Processing
PACT '93 Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism
DDDP-a Distributed Data Driven Processor
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
A multiple processor data flow machine that supports generalized procedures
ISCA '81 Proceedings of the 8th annual symposium on Computer Architecture
An architecture for extended abstract data flow
ISCA '81 Proceedings of the 8th annual symposium on Computer Architecture
Building blocks for data flow prototypes
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
Attribute grammars and data-flow languages
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Decentralised control flow - based on UNIX
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Execution of logic programs on a dataflow architecture
ISCA '84 Proceedings of the 11th annual international symposium on Computer architecture
Multiprocessor software design
ACM '80 Proceedings of the ACM 1980 annual conference
The data flow programming language CAJOLE - an informal introduction
ACM SIGPLAN Notices
Prettyprinting styles for various languages
ACM SIGPLAN Notices
Parallel evolution programming language for data flow machines
ACM SIGPLAN Notices
Advances in dataflow programming languages
ACM Computing Surveys (CSUR)
Programming with exceptions in JCilk
Science of Computer Programming - Special issue: Synchronization and concurrency in object-oriented languages
Wavefront Array Processor: Language, Architecture, and Applications
IEEE Transactions on Computers
Parallelism and Representation Problems in Distributed Systems
IEEE Transactions on Computers
Data Flow Computing Software Development
IEEE Transactions on Computers
Dataflow Architectures for GALS
Electronic Notes in Theoretical Computer Science (ENTCS)
Lime: a Java-compatible and synthesizable language for heterogeneous architectures
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Modeling the Weather with a Data Flow Supercomputer
IEEE Transactions on Computers
UPSILON: Universal Programming System with Incomplete Lazy Object Notation
Fundamenta Informaticae
| Hi-index | 0.02 |
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.