Computer Science – Logic in Computer Science
Scientific paper
2009-06-22
Computer Science
Logic in Computer Science
12 pages, 1 table; 2 figures
Scientific paper
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 run-time 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 and the related type theory as well as particularities of the semantics, design and implementation of the GIPSY type system.
Mokhov Serguei A.
Paquet Joey
No associations
LandOfFree
A Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-494855