research-article

Exploring Parafunctional Programming: Separating the What from the How

Author:

Paul HudakAuthors Info & Claims

IEEE Software, Volume 5, Issue 1

Pages 54 - 61

https://doi.org/10.1109/52.1994

Published: 01 January 1988 Publication History

Publisher Site

Abstract

A method is presented that takes functional programming one step further by letting the programmer change operational (parafunctional) details without restructuring or rewriting the program. Parafunctional programming is based on the premise that the what (specification) and the how (implementation) are separately identifiable and maintainable system components. Unlike conventional programming methods, parafunctional programming maintains this separation by metalinguistic constructs in the source language and a programming environment that supports structured editing and high-level debugging.

References

[1]

1. P. Henderson, "Functional Programming, Formal Specification, and Rapid Prototyping," IEEE Trans. Software Eng., Feb. 1986, pp. 241-250.

Digital Library

Google Scholar

[2]

2. P. Hudak, "Parafunctional Programming," Computer, Aug. 1986, pp. 60-71.

Crossref

Google Scholar

[3]

3. P. Hudak and L. Smith, "Parafunctional Programming: A Paradigm for Programming Multiprocessor Systems," ACM Symp. Princ. Programming Languages, ACM, New York, Jan. 1986, pp. 243-254.

Crossref

Google Scholar

[4]

4. B. Goldberg and P. Hudak, "Alfalfa: Distributed Graph Reduction on a Hypercube Multiprocessor," Proc. Santa Fe Graph Reduction Workshop, Springer-Verlag, LNCS 279, New York, Oct. 1986, pp. 94-113.

Crossref

Google Scholar

[5]

5. P. Hudak and B. Goldberg, "Serial Combinators: 'Optimal' Grains of Parallelism," in Functional Programming Languages and Computer Architectures, Springer-Verlag, LCNS 201, New York, 1985, pp. 382-388.

Crossref

Google Scholar

[6]

6. P. Hudak, "Denotational Semantics of a Parafunctional Programming Language," Int'l J. Parallel Programming, April 1986, pp. 103-125.

Crossref

Google Scholar

[7]

7. P. Hudak and S. Anderson, "Pomset Interpretations of Parallel Functional Programs," Proc. Functional Programming Languages and Computer Architecture Conf., Springer-Verlag, LNCS 274, New York, Sept. 1987, pp. 234-256.

Crossref

Google Scholar

[8]

8. D. Kranz et al., "Orbit: An Optimizing Compiler for Scheme," SIGPlan Notices, July 1986, pp. 219-233.

Crossref

Google Scholar

[9]

9. D. Michie, "Memo Functions and Machine Learning," Nature, April 1968, pp. 19-22.

Google Scholar

[10]

10. R.M. Keller and R. Sleep, "Applicative Caching," ACM Trans. Programming Languages and Systems, Jan. 1986, pp. 88-108.

Digital Library

Google Scholar

[11]

11. J. Hughes, "Lazy Memo Functions," in Functional Programming Languages and Computer Architecture, Springer-Verlag, LNCS 201, New York, 1985, pp. 129-146.

Crossref

Google Scholar

[12]

12. F.W. Burton, "Annotations to Control Parallelism and Reduction Order in the Distributed Evaluation of Functional Programs," ACM Trans. Programming Languages and Systems, April 1984, pp. 159-174.

Digital Library

Google Scholar

Cited By

View all

Al-Gharaibeh JJeffery COikonomou KGuo MHuang Z(2012)An hybrid model for very high level threadsProceedings of the 2012 International Workshop on Programming Models and Applications for Multicores and Manycores10.1145/2141702.2141709(55-63)Online publication date: 26-Feb-2012
https://dl.acm.org/doi/10.1145/2141702.2141709
Trinder PHammond KLoidl HPeyton Jones S(1998)Algorithm + strategy = parallelismJournal of Functional Programming10.1017/S09567968970029678:1(23-60)Online publication date: 1-Jan-1998
https://dl.acm.org/doi/10.1017/S0956796897002967
Kusakabe STakahashi ETaniguchi RAmamiya M(1994)Dataflow-Based Lenient Implementation of a Functional Language, Valid, on Conventional Multi-processorsProceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques10.5555/647042.713837(279-288)Online publication date: 24-Aug-1994
https://dl.acm.org/doi/10.5555/647042.713837
Show More Cited By

Recommendations

What Is Object-Oriented Programming?

The meaning of the term 'object oriented' is examined in the context of the general-purpose programming language C++. This choice is made partly to introduce C++ and partly because C++ is one of the few languages that supports data abstraction, object-...
Introduction to programming Using Clean
ITiCSE 2023: Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2

In this poster, we report our on-going project that aims to design a good set of course materials for introduction to programming using a functional programming language, Clean[2]. While procedural languages such as C, Python, etc are used in most ...
General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems
ICECCS '95: Proceedings of the 1st International Conference on Engineering of Complex Computer Systems

Multiparadigm programming languages have been envisioned as a vehicle for constructing large and complex heterogeneous systems, such as a stock market exchange or a telecommunications network. General-purpose multiparadigm languages, as opposed to ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

IEEE Software Volume 5, Issue 1

January 1988

88 pages

ISSN:0740-7459

Issue’s Table of Contents

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 January 1988

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 28 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Al-Gharaibeh JJeffery COikonomou KGuo MHuang Z(2012)An hybrid model for very high level threadsProceedings of the 2012 International Workshop on Programming Models and Applications for Multicores and Manycores10.1145/2141702.2141709(55-63)Online publication date: 26-Feb-2012
https://dl.acm.org/doi/10.1145/2141702.2141709
Trinder PHammond KLoidl HPeyton Jones S(1998)Algorithm + strategy = parallelismJournal of Functional Programming10.1017/S09567968970029678:1(23-60)Online publication date: 1-Jan-1998
https://dl.acm.org/doi/10.1017/S0956796897002967
Kusakabe STakahashi ETaniguchi RAmamiya M(1994)Dataflow-Based Lenient Implementation of a Functional Language, Valid, on Conventional Multi-processorsProceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques10.5555/647042.713837(279-288)Online publication date: 24-Aug-1994
https://dl.acm.org/doi/10.5555/647042.713837
IEEE Parallel & Distributed Technology: Systems & Technology staff (1993)ConferencesIEEE Parallel & Distributed Technology: Systems & Technology10.5555/613767.6138001:1(68-72)Online publication date: 1-Feb-1993
https://dl.acm.org/doi/10.5555/613767.613800
Alverson GNotkin D(1993)Program Structuring for Effective Parallel PortabilityIEEE Transactions on Parallel and Distributed Systems10.1109/71.2435304:9(1041-1059)Online publication date: 1-Sep-1993
https://dl.acm.org/doi/10.1109/71.243530
Paalvast Evan Gemund ASips HSameh Avan der Vorst H(1990)A method for parallel program generation with an application to the Booster languageProceedings of the 4th international conference on Supercomputing10.1145/77726.255189(457-469)Online publication date: 1-Jun-1990
https://dl.acm.org/doi/10.1145/77726.255189
Paalvast Evan Gemund ASips H(1990)A method for parallel program generation with an application to the Booster languageACM SIGARCH Computer Architecture News10.1145/255129.25518918:3b(457-469)Online publication date: 1-Jun-1990
https://dl.acm.org/doi/10.1145/255129.255189
Bergmark DPancake C(1990)Do Parallel Languages Respond to the Needs of Scientific Programmers?Computer10.1109/2.6209023:12(13-23)Online publication date: 1-Dec-1990
https://dl.acm.org/doi/10.1109/2.62090
Schwan KBo W(1988)Topologies' - computational messaging for multicomputersProceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 110.1145/62297.62373(580-593)Online publication date: 1-Jan-1988
https://dl.acm.org/doi/10.1145/62297.62373

Abstract

References

Cited By

Recommendations

What Is Object-Oriented Programming?

Introduction to programming Using Clean

General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations