The Manchester prototype dataflow computer
Communications of the ACM - Special section on computer architecture
LUCID, the dataflow programming language
LUCID, the dataflow programming language
An eductive interpreter for the language Lucid
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Executing a Program on the MIT Tagged-Token Dataflow Architecture
IEEE Transactions on Computers
The eductive implementation of a three-dimensional spreadsheet
Software—Practice & Experience
An intensional language for parallel applications programming
Parallel functional languages and compilers
Semantics of programming languages: structures and techniques
Semantics of programming languages: structures and techniques
Firstification
Higher-order functional languages and intensional logic
Higher-order functional languages and intensional logic
Higher-order dataflow and its implementation on stock hardware
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Principles of Programming Languages
Principles of Programming Languages
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
A 3D Spreadsheet Based on Intensional Logic
IEEE Software
Compiling Higher-Order Functions for Tagged-Dataflow
PACT '94 Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques
Indexical attribute grammars
The Branching-Time Transformation Technique for Chain Datalog Programs
Journal of Intelligent Information Systems
A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Multidimensional Lucid: Design, Semantics and Implementation
DCW '00 Proceedings of the Third International Workshop on Distributed Communities on the Web
Higher-order functional languages and intensional logic
Journal of Functional Programming
GLU embedded in C++: a marriage between multidimensional and object-oriented programming
Software—Practice & Experience
Proceedings of the fifth international workshop on High-level parallel programming and applications
Branching-time logic programming: the language Cactus and its applications
Computer Languages
| Hi-index | 0.00 |
The purpose of this paper is to demonstrate that first-order functional programs can be transformed into intensional programs of nullary variables, in a semantics preserving way. On the foundational side, the goal of our study is to bring new insights and a better understanding of the nature of functional languages. From a practical point of view, our investigation provides a formal basis for the tagging mechanism that is used in the implementation of first-order functional languages on dataflow machines.