Functional programming, formal specification, and rapid prototyping

  title={Functional programming, formal specification, and rapid prototyping},
  author={Peter B. Henderson},
  journal={IEEE Transactions on Software Engineering},
Functional programming has enormous potential for reducing the high cost of software development. Because of the simple mathematical basis of functional programming, it is easier to design correct programs in a purely functional style than in a traditional imperative style. It is argued that functional programs combine the clarity required for the formal specification of software designs with the ability to validate the design by execution. As such they are ideal for rapidly prototyping a… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 12 references

Functional Programming and its Applications

  • J. Darlington, P. Henderson, D. Turner
  • 1982

On the development of the algebra of functional programs,

  • J. Williams
  • ACM Trans. Program. Lang. Syst.,
  • 1982

Real programming in functional languages," in Functional Programming and Its Applications

  • J. Morris
  • 1982

Minkowitz, "Specification to prototype-A comparison of two formal methods of software design,

  • C J.
  • Dep. Comput. Sci., Univ. Stirling,
  • 1981

Similar Papers

Loading similar papers…