article · 1989

Functional programming: executable specifications and program transformations

Cited by 9Open access

Abstract

In this paper we give an example of the use of functional programming language in the specification and development of a program to solve a non-trivial problem.In particular, we show how we can give a direct implementation of a constructive specification (an execuiable specification, in other words) and then show how program transformation can be used to turn this specification into an efficient version of the program, using techniques from a standard library of transformations.We introduce the paper with a short review of functional programming.

Cite this paper

APA 7

Thompson, S. (1989). Functional programming: executable specifications and program transformations. https://doi.org/10.1145/75199.75244

MLA 9

Thompson, Simon. “Functional programming: executable specifications and program transformations.” 1989, pp. 287–90, https://doi.org/10.1145/75199.75244.

Chicago

Thompson, Simon. 1989. “Functional programming: executable specifications and program transformations.” https://doi.org/10.1145/75199.75244.

Harvard

Thompson, S. (1989) ‘Functional programming: executable specifications and program transformations’. Available at: https://doi.org/10.1145/75199.75244.

BibTeX

@article{thompson1989functional,
  title = {{Functional programming: executable specifications and program transformations}},
  author = {Thompson, Simon},
  pages = {287--290},
  year = {1989},
  doi = {10.1145/75199.75244}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.