This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Taking Parnas's Principles to the Next Level: Declarative Language Design
September 2009 (vol. 42 no. 9)
pp. 56-63
Daniel E. Cooke, Texas Tech University
J. Nelson Rushton, Texas Tech University
SequenceL is a general-purpose functional programming language that exploits information hiding in language design, shielding the programmer from the need to know how the language is implemented.

1. D.E. Cooke et al., "Normalize, Transpose, and Distribute: An Automatic Approach for Handling Nonscalars," ACM Trans. Programming Language Systems, Mar. 2008; http://doi.acm.org/10.11451330017.1330020 .
2. D. Parnas, "On Criteria to Be Used in Decomposing Systems into Modules," Comm. ACM, vol. 14, no. 1, 1972, pp. 221-227.
3. G. Hutton, "Frequently Asked Questions for comp.lang.functional: Functional Languages"; www.cs.nott.ac.uk/~gmhfaq.html#functional-languages .
4. O.J. Dahl, E.W. Dijkstra, and C.A.R. Hoare, Structured Programming, Academic Press, 1972.
5. S.P. Jones, "Wearing the Hair Shirt: A Retrospective on Haskell," 2002; http://research.microsoft.com/~simonpj/papers/haskell-retrospective/HaskellRetrospective.pdf.
6. C.A.R. Hoare, "The Emperor's Old Clothes," Comm. ACM, vol. 24, no. 2, 1981, pp. 75-83.
7. P. Hudak et al., "Report on the Programming Language Haskell: A Non-Strict, Purely Functional Language," SIGPLAN Notices, vol. 27, no. 5, 1992, pp. 1-164.
8. J.W. Backus, "Can Programming Be Liberated from the Von Neumann Style? A Functional Style and Its Algebra of Programs," Comm. ACM, vol. 21, no. 8, 1978, pp. 613-641.
9. K. Iverson, A Programming Language, Wiley, 1962.
10. G. Blelloch, "Programming Parallel Algorithms," Comm. ACM, vol. 39, no. 3, 1996, pp. 98-111.
11. J.-P. Banatre and D. Le Metayer, "Programming by Multiset Transformation, Comm. ACM, vol. 36, no. 1, 1993, pp. 98-111.
12. D.E. Cooke, "An Introduction to SequenceL: A Language to Experiment with Nonscalar Constructs," Software—Practice and Experience, vol. 26, no. 11, 1996, pp. 1205-1246.
13. D.E. Cooke and P. Andersen, "Automatic Parallel Control Structures in SequenceL," Software—Practice and Experience, vol. 30, no. 14, 2000, pp. 1541-1570.

Index Terms:
Software, Automatic programming, Programming languages
Citation:
Daniel E. Cooke, J. Nelson Rushton, "Taking Parnas's Principles to the Next Level: Declarative Language Design," Computer, vol. 42, no. 9, pp. 56-63, Sept. 2009, doi:10.1109/MC.2009.301
Usage of this product signifies your acceptance of the Terms of Use.