Functional programming: executable specifications and program transformations

• Authors:

• S. Thompson

• Affiliations:

• Computing Laboratory, University of Kent, Canterbury, CT2 7NF, U.K.

• Venue:
• IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
• Year:
• 1989