Intensional Programming Languages

Research

The goal of our research is to investigate the theory and practice of Intensional Programming Languages. Specific topics:

• GLU#/C++: We have implemented a small but expressive intensional programming language, called GLU#, as an embedded language in C++.
• A semantics preserving transformation of unrestricted higher-order functional programs to zero-order intensional programs.
• The implementation of higher-order functional and intensional programming languages by means of the aforementioned transformation.

Project Information

The research that is described in this page is part of the joint research project with the title Executable Intensional Languages and Intelligent Implementations of Multimedia, Hypermedia and Virtual Reality. The project is funded in part by the Greek Secretariat for Research and Technology, under the programme PENED'99 (project code 99ED265). Other participants in this project are researchers from the following institutions:

• University of Piraeus,
• Demokritos National Center for Scientific Research,
• University of Ioannina.

People

• Nikolaos S. Papaspyrou
• Ioannis T. Kassios

Technical reports

N. S. Papaspyrou and I. T. Kassios, "GLU#/C++: Theory and Implementation", Technical Report CSD-SW-TR-1-00, National Technical University of Athens, Department of Electrical and Computer Engineering, Software Engineering Laboratory, 2000.    (In Greek.)

Software

You can download the package containing all the source files of the original version of GLU#/C++ (v0.1), plus the example programs described in Technical Report CSD-SW-TR-1-00:

• glunatcpp-0.1.tar.gz (GNU zipped tar file, 22K).

GLU#/C++ was developed using the GNU C++ compiler, v. 2.95.2.

As C++ has changed much since 2000, it is highly improbable that you will be able to compile version 0.1 today. Version 0.2 is a more recent, quickly hacked-up version of the same code that passes through the latest C++ compilers. It has been tested with GNU C++ v. 4.4.5.

• glunatcpp-0.2.tar.gz (GNU zipped tar file, 22K).

Please let us know if you fail to use it with other (or more recent) C++ compilers.

Links

• Intensional Programming, at the University of Victoria, Canada.
• Intensional Programming, at the Computer Science Laboratory of SRI International.
• The GIPSY Architecture at Concordia University and the Université de Montréal, Canada.

• Iskender Agi, currently at EXAR Corporation.
• Ed Ashcroft, at Arizona State University.
• Weichang Du, at the University of New Brunswick, Canada.
• Manolis Gergatsoulis, at the Demokritos National Center for Scientific Research, Greece.
• Jaggan Jagannathan, currently at Ahista.com.
• Mehmet Orgun at Macquarie University, Australia.
• Joey Paquet at Concordia University, Canada.
• John Plaice at the University of New South Wales, Australia.
• Panos Rondogiannis, at the University of Athens, Greece.
• Bill Wadge at the University of Victoria, Canada.