Functional programs as executable specifications
Published in Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences • Oct 1, 1984
Authors:
David A. Turner
Abstract
Abstract To write specifications we need to be able to define the data domains in which we are interested, such as numbers, lists, trees and graphs. We also need to be able to define functions over these domains. It is desirable that the notation should be higher order, so that function spaces can t...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!