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
Towards a self-forensics property in the ASSL toolset
Proceedings of the Third C* Conference on Computer Science and Software Engineering
Hi-index | 0.00 |
This article introduces Object-Oriented Intensional Programming (OO-IP), a new hybrid language between Object-Oriented and Intensional Programming Languages in the sense of the latest evolutions of Lucid. This new hybrid language - called JOOIP for Java Object Oriented Intensional Programming - combines the essential characteristics of Lucid and Java, and introduces the notion of object streams which makes it is possible that each element in a Lucid stream to be an object with embedded intensional properties. Interestingly, this hybrid language also brings to Java objects the power to explicitly express and manipulate the notion of context, creating the novel concept of intensional object, i.e. objects whose evaluation is context-dependent, which are demonstrated to be translatable into standard objects.