DocumentCode
864213
Title
Exploring parafunctional programming: separating the what from the how
Author
Hudak, Paul
Author_Institution
Dept. of Comput. Sci., Yale Univ., New Haven, CT, USA
Volume
5
Issue
1
fYear
1988
Firstpage
54
Lastpage
61
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;
fLanguage
English
Journal_Title
Software, IEEE
Publisher
ieee
ISSN
0740-7459
Type
jour
DOI
10.1109/52.1994
Filename
1994
Link To Document