ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Proc. of a conference on Functional programming languages and computer architecture
Serial combinators: “optimal” grains of parallelism
Proc. of a conference on Functional programming languages and computer architecture
Functional programming, formal specification, and rapid prototyping
IEEE Transactions on Software Engineering
ORBIT: an optimizing compiler for scheme
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Computer
Denotational semantics of a para-functional programming language
International Journal of Parallel Programming
Alfalfa: distributed graph reduction on a hypercube multiprocessor
Proc. of a workshop on Graph reduction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Para-functional programming: a paradigm for programming multiprocessor systems
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Pomset interpretations of parallel functional programs
Proceedings of the Functional Programming Languages and Computer Architecture
Topologies' - computational messaging for multicomputers
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
“Topologies”—distributed objects on multicomputers
ACM Transactions on Computer Systems (TOCS)
Parallel programming with control abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
A method for parallel program generation with an application to the Booster language
ICS '90 Proceedings of the 4th international conference on Supercomputing
IEEE Parallel & Distributed Technology: Systems & Technology
Program Structuring for Effective Parallel Portability
IEEE Transactions on Parallel and Distributed Systems
PACT '94 Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques
Algorithm + strategy = parallelism
Journal of Functional Programming
An hybrid model for very high level threads
Proceedings of the 2012 International Workshop on Programming Models and Applications for Multicores and Manycores
| Hi-index | 0.00 |
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.