Title :
Exploring parafunctional programming: separating the what from the how
Author_Institution :
Dept. of Comput. Sci., Yale Univ., New Haven, CT, USA
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 :
programming; programming environments; functional programming; high-level debugging; implementation; metalinguistic constructs; parafunctional programming; programming environment; source language; specification; structured editing; Concrete; Debugging; Functional programming; Parallel programming; Programming environments; Programming profession;
Journal_Title :
Software, IEEE
