A type system for hybrid intensional-imperative programming support in GIPSY

ABSTRACT

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.

REFERENCES

• 1: E. Ashcroft, A. Faustini, R. Jagannathan, and W. Wadge. Multidimensional, Declarative Programming. Oxford University Press, London, 1995.
• 2: E. A. Ashcroft and W. W. Wadge. Lucid -- a formal system for writing and proving programs. SIAM J. Comput., 5(3), 1976.
• 3: E. A. Ashcroft and W. W. Wadge. Erratum: Lucid - a formal system for writing and proving programs. SIAM J. Comput., 6((1):200), 1977.
• 4: T. Berners-Lee , R. Fielding , L. Masinter, Uniform Resource Identifiers (URI): Generic Syntax, RFC Editor, 1998
• 5: Elisabeth Freeman , Eric Freeman , Bert Bates , Kathy Sierra, Head First Design Patterns, O' Reilly & Associates, Inc., 2004
• 6: Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 7: P. Grogono. GIPC Increments. Technical report, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, April 2002.
• 8: P. Grogono. Intensional programming in Onyx. Technical report, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, Apr. 2004.
• 9: P. Grogono, S. Mokhov, and J. Paquet. Towards JLucid, Lucid with embedded Java functions in the GIPSY. In Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005), Las Vegas, USA, pages 15--21. CSREA Press, June 2005.
• 10: R. Hinden , B. Carpenter , L. Masinter, Format for Literal IPv6 Addresses in URL's, RFC Editor, 1999
• 11: Craig Larman, Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development (3rd Edition), Prentice Hall PTR, Upper Saddle River, NJ, 2004
• 12: Bo Lu , Peter Grogono, Developing the distributed component of a framework for processing intensional programming languages, Concordia University, Montreal, P.Q., Canada, 2004
• 13: S. Mokhov and J. Paquet. General imperative compiler framework within the GIPSY. In Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005), Las Vegas, USA, pages 36--42. CSREA Press, June 2005.
• 14: S. Mokhov and J. Paquet. Objective Lucid - first step in object-oriented intensional programming in the GIPSY. In Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005), Las Vegas, USA, pages 22--28. CSREA Press, June 2005.
• 15: S. A. Mokhov. Towards hybrid intensional programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY. Master's thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, Oct. 2005. ISBN 0494102934.
• 16: S. A. Mokhov and J. Paquet. Formally specifying and proving operational aspects of Forensic Lucid in Isabelle. Technical Report 2008-1-Ait Mohamed, Department of Electrical and Computer Engineering, Concordia University, Aug. 2008. In Theorem Proving in Higher Order Logics (TPHOLs2008): Emerging Trends Proceedings.
• 17: C. Ostrum. The Luthid 1.0 Manual. Department of Computer Science, University of Waterloo, Ontario, Canada, 1981.
• 18: J. Paquet. Scientific Intensional Programming. PhD thesis, Department of Computer Science, Laval University, Sainte-Foy, Canada, 1999.
• 19: Joey Paquet , Aihua Wu , Peter Grogono, Towards a framework for the general intensional programming compiler in the GIPSY, Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 24-28, 2004, Vancouver, BC, CANADA [doi>10.1145/1028664.1028731]
• 20: Joey Paquet , Peter G. Kropf, The GIPSY Architecture, Proceedings of the Third International Workshop on Distributed Communities on the Web, p.144-153, June 19-21, 2000
• 21: Joey Paquet , Serguei A. Mokhov , Xin Tong, Design and Implementation of Context Calculus in the GIPSY Environment, Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference, p.1278-1283, July 28-August 01, 2008 [doi>10.1109/COMPSAC.2008.200]
• 22: J. Paquet and A. H. Wu. GIPSY -- a platform for the investigation on intensional programming languages. In Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005), pages 8--14, Las Vegas, USA, June 2005. CSREA Press.
• 23: John Plaice , Blanca Mancilla , Gabriel Ditu , William W. Wadge, Sequential Demand-Driven Evaluation of Eager TransLucid, Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference, p.1266-1271, July 28-August 01, 2008 [doi>10.1109/COMPSAC.2008.191]
• 24: Toby Rahilly , John Plaice, A Multithreaded Implementation for TransLucid, Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference, p.1272-1277, July 28-August 01, 2008 [doi>10.1109/COMPSAC.2008.192]
• 25: Sun Microsystems. Class URI. Sun Microsystems, Inc., 2007. http://java.sun.com/j2se/1.5.0/docs/api/java/net/URI.html, Viewed in November, 2007.
• 26: X. Tong. Design and implementation of context calculus in the GIPSY. Master's thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, Apr. 2008.
• 27: E. Vassev and J. Paquet. A generic framework for migrating demands in the GIPSY's demand-driven execution engine. In Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005), pages 29--35, Las Vegas, USA, June 2005. CSREA Press.
• 28: William W. Wadge , Edward A. Ashcroft, LUCID, the dataflow programming language, Academic Press Professional, Inc., San Diego, CA, 1985
• 29: Kaiyu Wan, Lucx: lucid enriched with context, Concordia University, Montreal, P.Q., Canada, 2006
• 30: A. Wu, J. Paquet, and S. A. Mokhov. Object-Oriented Intensional Programming: Intensional Classes Using Java and Lucid. Submitted for publication to PPPJ'09, 2009.
• 31: A. H. Wu. Semantic Checking and Translation in the GIPSY. Master's thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2002.
• 32: A. H. Wu and J. Paquet. Object-oriented intensional programming in the GIPSY: Preliminary investigations. In Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005), pages 43--47, Las Vegas, USA, June 2005. CSREA Press.

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Abstract data types

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications
          Subjects: Multiparadigm languages; Concurrent, distributed, and parallel languages
      D.3.3 Language Constructs and Features
          Subjects: Data types and structures; Frameworks; Patterns
      D.3.4 Processors
          Subjects: Compilers; Preprocessors; Run-time environments

General Terms:
Design, Documentation, Languages, Standardization

Keywords:
context, general intensional programming system (GIPSY), imperative programming, intensional programming, type system