LUCID, the dataflow programming language
LUCID, the dataflow programming language
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
DCW '00 Proceedings of the Third International Workshop on Distributed Communities on the Web
Developing the distributed component of a framework for processing intensional programming languages
Developing the distributed component of a framework for processing intensional programming languages
Towards a framework for the general intensional programming compiler in the GIPSY
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development (3rd Edition)
Head First Design Patterns
Lucx: lucid enriched with context
Lucx: lucid enriched with context
Sequential Demand-Driven Evaluation of Eager TransLucid
COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
A Multithreaded Implementation for TransLucid
COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
Design and Implementation of Context Calculus in the GIPSY Environment
COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
Object-Oriented Intensional Programming: Intensional Java/Lucid Classes
SERA '10 Proceedings of the 2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications
Towards a self-forensics property in the ASSL toolset
Proceedings of the Third C* Conference on Computer Science and Software Engineering
Unifying and refactoring DMF to support concurrent Jini and JMS DMS in GIPSY
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
Hi-index | 0.00 |
We describe a type system for a platform called the General Intensional Programming System (GIPSY), designed to support intensional programming languages built upon intensional logic and their imperative counter-parts for the intensional execution model. In GIPSY, the type system glues the static and dynamic typing between intensional and imperative languages in its compiler and runtime environments to support the intensional evaluation of expressions written in various dialects of the intensional programming language Lucid. The intensionality makes expressions to explicitly take into the account a multidimensional context of evaluation with the context being a first-class value that serves a number of applications that need the notion of context to proceed. We describe and discuss the properties of such a type system as well as particularities of the design and implementation of it.