This article introduces the basic notions behind the intensional programming paradigm. Intensional Logic- which is the underlying theoretical framework of intensional languages-is described and motivated by examples. One-dimensional and multi-dimensional intensional languages are discussed and existing intensional systems are surveyed. The article concludes with a presentation of the most successful application areas of intensional programming. Keywords: Intensional Logic, Intensional Languages, Dataflow, Functional Programming.
|
173
|
Introduction to Montague Semantics
– Dowty, Wall, et al.
- 1981
|
|
123
|
Executing a program on the MIT tagged-token dataflow architecture
– Arvind, Nikhil
- 1990
|
|
75
|
The Manchester prototype dataflow computer
– Gurd, Kirkham, et al.
- 1985
|
|
56
|
the dataflow programming language
– Lucid
- 1985
|
|
51
|
An overview of temporal and modal logic programming
– Orgun, Ma
- 1994
|
|
38
|
Lucid, a nonprocedural language with iteration
– Ashcroft, Wadge
- 1977
|
|
33
|
A New Approach to Version Control
– Plaice, Wadge
- 1993
|
|
23
|
Multidimensional Programming
– Faustini, Wadge
- 1995
|
|
23
|
Tense logic programming: A respectable alternative
– Wadge
- 1988
|
|
18
|
Towards a unified theory of intensional logic programming
– Orgun, Wadge
- 1992
|
|
16
|
A 3d spreadsheet based on intensional logic
– Du, Wadge
- 1990
|
|
14
|
Higher-Order Functional Languages and Intensional Logic
– Rondogiannis, Wadge
- 1999
|
|
13
|
Intensional Logic Programming
– Orgun
- 1991
|
|
10
|
Chronolog(Z): Linear-time logic programming
– Orgun, Wadge, et al.
- 1993
|
|
8
|
An intensional language for parallel applications programming
– Ashcroft, Faustini, et al.
- 1991
|
|
8
|
Disjunctive Chronolog
– Gergatsoulis, Rondogiannis, et al.
- 1996
|
|
8
|
The Intensional Implementation Technique for Functional Languages
– Yaghi
- 1984
|
|
7
|
Toward a real-time dataflow language
– Faustini, Lewis
- 1986
|
|
6
|
Extending temporal logic programming with choice predicates non-determinism
– Orgun, Wadge
- 1994
|
|
6
|
Intensional HTML
– Yildirim
- 1997
|
|
5
|
Multi-dimensional logic programming: Theoretical foundations
– Orgun, Du
- 1997
|
|
5
|
Cactus: A branching-time logic programming language
– Rondogiannis, Gergatsoulis, et al.
- 1997
|
|
5
|
Indexical Attribute Grammars
– Tao
- 1994
|
|
5
|
Higher-Order Lucid
– Wadge
- 1991
|
|
4
|
GLU for multidimensional signal processing
– Agi
- 1995
|
|
4
|
Higher-Order Dataflow and its Implementation on Stock Hardware
– Rondogiannis, Wadge
- 1994
|
|
3
|
Compilation of the Dataflow Language Lucid
– Bagai
- 1986
|
|
3
|
From abstract time to real time
– Plaice, Kh'edri, et al.
- 1993
|
|
2
|
Rank Analysis in the GLU Compiler
– Dodd
- 1996
|
|
2
|
Developing Scientific Applications in GLU
– Rao, Jagannathan
- 1994
|
|
2
|
A dataflow implementation technique for lazy typed functional languages
– Rondogiannis, Wadge
- 1993
|
|
2
|
Compiling Higher-Order Functions for Tagged-Dataflow. Pages 269--278 of
– Wadge
- 1994
|
|
1
|
On the Design of an Indexical Query Language
– Paquet, Plaice
- 1994
|
|
