Hostname: page-component-7c8c6479df-r7xzm Total loading time: 0 Render date: 2024-03-18T14:00:43.784Z Has data issue: false hasContentIssue false

First-order functional languages and intensional logic

Published online by Cambridge University Press:  01 January 1997

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
Copyright
© 1997 Cambridge University Press
Submit a response

Discussions

No Discussions have been published for this article.