LUCID, the dataflow programming language
LUCID, the dataflow programming language
Higher-order functional languages and intensional logic
Higher-order functional languages and intensional logic
A New Approach to Version Control
IEEE Transactions on Software Engineering
Two-Level Communication Protocol for a Web Operating System (WOS)
EUROMICRO '98 Proceedings of the 24th Conference on EUROMICRO - Volume 2
A type system for hybrid intensional-imperative programming support in GIPSY
C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
Real time reactive programming in lucid enriched with contexts
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Intensional programming for agent communication
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Hi-index | 0.00 |
Intensional Programming involves the programming of expressions placed in an inherent multidimensional context space. It is an emerging and highly dynamic domain of general application. The fast growing computer connectivity allows for more and more efficient implementation of distributed applications. The paradigm of intensionality inherently includes notions of parallelism at different levels. However, the currently available intensional programming software tools are becoming obsolete and do not enable us to further push forward practical investigations on the subject. Experience shows that the theoretical advancement of the field has come to acceptable maturity. Consequently, new powerful tools for intensional programming are required. In this paper, we present the design of a General Intensional Programming System (GIPSY). The design and implementation of the GIPSY reflect three main goals: generality, adaptability and efficiency.