Hostname: page-component-78c5997874-lj6df Total loading time: 0 Render date: 2024-11-14T22:13:42.845Z Has data issue: false hasContentIssue false
  • English
  • Français

First-order functional languages and intensional logic

Published online by Cambridge University Press:  01 January 1997

P. RONDOGIANNIS  and
W. W. WADGE
P. RONDOGIANNIS
Affiliation:
Department of Computer Science, University of Victoria, P.O. Box 3055, Victoria, BC, Canada V8W 3P6 (e-mail: prondo@lucy.uvic.ca, wwadge@lucy.uvic.ca)
W. W. WADGE
Affiliation:
Department of Computer Science, University of Victoria, P.O. Box 3055, Victoria, BC, Canada V8W 3P6 (e-mail: prondo@lucy.uvic.ca, wwadge@lucy.uvic.ca)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The purpose of this paper is to demonstrate that first-order functional programs can be transformed into intensional programs of nullary variables, in a semantics preserving way. On the foundational side, the goal of our study is to bring new insights and a better understanding of the nature of functional languages. From a practical point of view, our investigation provides a formal basis for the tagging mechanism that is used in the implementation of first-order functional languages on dataflow machines.

Type
Research Article
Information
Journal of Functional Programming , Volume 7 , Issue 1 , January 1997 , pp. 73 - 101
Copyright
© 1997 Cambridge University Press
Submit a response

Discussions

No Discussions have been published for this article.