Exploring parafunctional programming: separating the what from the how
- 1 January 1988
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 5 (1) , 54-61
- https://doi.org/10.1109/52.1994
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.Keywords
This publication has 12 references indexed in Scilit:
- Alfalfa: Distributed graph reduction on a hypercube multiprocessorPublished by Springer Nature ,1987
- Pomset interpretations of parallel functional programsPublished by Springer Nature ,1987
- Para-Functional ProgrammingComputer, 1986
- ORBIT: an optimizing compiler for schemeACM SIGPLAN Notices, 1986
- Denotational semantics of a para-functional programming languageInternational Journal of Parallel Programming, 1986
- Applicative cachingACM Transactions on Programming Languages and Systems, 1986
- Para-functional programmingPublished by Association for Computing Machinery (ACM) ,1986
- Serial combinators: "optimal" grains of parallelismPublished by Springer Nature ,1985
- Lazy memo-functionsLecture Notes in Computer Science, 1985
- Annotations to Control Parallelism and Reduction Order in the Distributed Evaluation of Functional ProgramsACM Transactions on Programming Languages and Systems, 1984