Article

Towards a framework for the general intensional programming compiler in the GIPSY

Authors:

OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications

Pages 164 - 165

https://doi.org/10.1145/1028664.1028731

Published: 23 October 2004 Publication History

Get Access

Abstract

In this paper, we describe a compiler framework to enable the automated generation of compiler components for the Lucid family of intensional programming languages.

References

[1]

Wadge, W.W. and Ashcroft, E.A. Lucid, the Dataflow Programming Language. Academic Press, London, 1985]]

Digital Library

Google Scholar

[2]

Ashcroft, E.A. and Faustini, A.A. and Jagannathan, R. and Wadge, W.W. Multidimensional, Declarative Programming. Oxford University Press, London, 1995.]]

Google Scholar

[3]

Paquet, J. and Kropf, P.G. The GIPSY Architecture. In Proceedings of the Distributed Communities on the Web Conference (DCW 2000) (Quebec City, Canada, Jun 19-21, 2000). Springer Lectures Notes in Computer Science #1830.]]

Digital Library

Google Scholar

Cited By

View all

Mokhov SPaquet J(2010)Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) ExpressionsProceedings of the 2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications10.1109/SERA.2010.23(101-109)Online publication date: 24-May-2010
https://dl.acm.org/doi/10.1109/SERA.2010.23
Mokhov SPaquet J(2010)A Type System for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSYProceedings of the 2010 IEEE/ACIS 9th International Conference on Computer and Information Science10.1109/ICIS.2010.156(921-928)Online publication date: 18-Aug-2010
https://dl.acm.org/doi/10.1109/ICIS.2010.156
Mokhov SPaquet JTong X(2009)A type system for hybrid intensional-imperative programming support in GIPSYProceedings of the 2nd Canadian Conference on Computer Science and Software Engineering10.1145/1557626.1557642(101-107)Online publication date: 19-May-2009
https://dl.acm.org/doi/10.1145/1557626.1557642
Show More Cited By

Index Terms

Towards a framework for the general intensional programming compiler in the GIPSY
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
      1. Incremental compilers
      2. Retargetable compilers

Recommendations

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

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 ...
Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions
SERA '10: Proceedings of the 2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications

The General Intensional Programming System (GIPSY) has been built around the Lucid family of intensional programming languages that rely on the higher-order intensional logic (HOIL) to provide context-oriented multidimensional reasoning of intensional ...
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

GIPSY is a platform providing a framework for the compilation and execution of programs written in intensional programming languages of the Lucid family. While maintaining its use of intensionality, over the years, Lucid constantly underwent changes in ...

Comments

Information & Contributors

Information

Published In

OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications

October 2004

348 pages

ISBN:1581138334

DOI:10.1145/1028664

Conference Chair:
John Vlissides
IBM Research
,
Program Chairs:
Doug Schmidt
Vanderbilt University
,
Geoff Cohen
Coherence Engine

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 October 2004

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

OOPSLA04

Sponsor:

OOPSLA04: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference

October 24 - 28, 2004

BC, Vancouver, CANADA

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
264
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 08 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Mokhov SPaquet J(2010)Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) ExpressionsProceedings of the 2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications10.1109/SERA.2010.23(101-109)Online publication date: 24-May-2010
https://dl.acm.org/doi/10.1109/SERA.2010.23
Mokhov SPaquet J(2010)A Type System for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSYProceedings of the 2010 IEEE/ACIS 9th International Conference on Computer and Information Science10.1109/ICIS.2010.156(921-928)Online publication date: 18-Aug-2010
https://dl.acm.org/doi/10.1109/ICIS.2010.156
Mokhov SPaquet JTong X(2009)A type system for hybrid intensional-imperative programming support in GIPSYProceedings of the 2nd Canadian Conference on Computer Science and Software Engineering10.1145/1557626.1557642(101-107)Online publication date: 19-May-2009
https://dl.acm.org/doi/10.1145/1557626.1557642
Paquet J(2009)Distributed Eductive Execution of Hybrid Intensional ProgramsProceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 0210.1109/COMPSAC.2009.137(218-224)Online publication date: 20-Jul-2009
https://dl.acm.org/doi/10.1109/COMPSAC.2009.137
Peralta MMukhopadhyay SBharadwaj R(2009)Automatic Synthesis and Deployment of Intensional Kahn Process NetworksGrid and Distributed Computing10.1007/978-3-642-10549-4_10(73-87)Online publication date: 2009
https://doi.org/10.1007/978-3-642-10549-4_10

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

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

Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions

Design and Implementation of Context Calculus in the GIPSY Environment

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations