Intensional Programming Languages ∗

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 multidimensional 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.

[1]  I. G. BONNER CLAPPISON.  Editor , 1960, The Electric Power Engineering Handbook - Five Volume Set.

[2]  William W. Wadge,et al.  Lucid, a nonprocedural language with iteration , 1977, CACM.

[3]  David R. Dowty,et al.  Introduction to Montague semantics , 1980 .

[4]  Ali A. G. Yaghi.  An intensional implementation technique for functional languages , 1984 .

[5]  William W. Wadge,et al.  Lucid, the dataflow programming language , 1985 .

[6]  Ian Watson,et al.  The Manchester prototype dataflow computer , 1985, CACM.

[7]  Antony A. Faustini,et al.  Toward a Real-Time Dataflow Language , 1986, IEEE Software.

[8]  William W. Wadge,et al.  A 3D spreadsheet based on intensional logic , 1990, IEEE Software.

[9]  Arvind,et al.  Executing a Program on the MIT Tagged-Token Dataflow Architecture , 1990, IEEE Trans. Computers.

[10]  R. Jagannathan,et al.  An intensional language for parallel applications programming , 1991 .

[11]  M. Orgun.  Intensional logic programming , 1991 .

[12]  A. A. Faustini,et al.  Intensional programming and dataflow , 1992 .

[13]  William W. Wadge,et al.  Towards a Unified Theory of Intensional Logic Programming , 1992, J. Log. Program..

[14]  John Plaice,et al.  A New Approach to Version Control , 1993, IEEE Trans. Software Eng..

[15]  William W. Wadge,et al.  Chronolog(Z): linear-time logic programming , 1993, Proceedings of ICCI'93: 5th International Conference on Computing and Information.

[16]  Mehmet A. Orgun,et al.  Temporal and modal logic programming: an annotated bibliography , 1994, SGAR.

[17]  William W. Wadge,et al.  Higher-order dataflow and its implementation on stock hardware , 1994, SAC '94.

[18]  William W. Wadge,et al.  Indexical attribute grammars , 1994 .

[19]  William W. Wadge,et al.  Extending Temporal Logic Programming with Choice Predicates Non-Determinism , 1994, J. Log. Comput..

[20]  John Plaice,et al.  On the Design of an Indexical Query Language , 1994 .

[21]  William W. Wadge,et al.  Compiling Higher-Order Functions for Tagged-Dataflow , 1994, IFIP PACT.

[22]  R. Jagannathan,et al.  Multidimensional programming , 1995 .

[23]  Manolis Gergatsoulis,et al.  Cactus: A Branching-Time Logic Programming Language , 1997, ECSQARU-FAPR.

[24]  Mehmet A. Orgun,et al.  Multi-Dimensional Logic Programming: Theoretical Foundations , 1997, Theor. Comput. Sci..

[25]  William W. Wadge,et al.  Intensional HTML , 1998, PODDP.

[26]  William W. Wadge,et al.  Higher-order functional languages and intensional logic , 1999, Journal of Functional Programming.